1 / 10

SOIS Dictionary of Terms

SOIS Dictionary of Terms. Model-Based Dictionary. Is a variation on model-based engineering. Allows expression of relations between terms. Can be checked algorithmically for consistency, using existing reasoners . Can be source for algorithmic generation of artifacts for use in a tool chain.

daphne-riley
Download Presentation

SOIS Dictionary of Terms

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. SOIS Dictionary of Terms

  2. Model-Based Dictionary • Is a variation on model-based engineering. • Allows expression of relations between terms. • Can be checked algorithmically for consistency, using existing reasoners. • Can be source for algorithmic generation of artifacts for use in a tool chain. • Human-readable glossary in html. • Xml schema of terms for inclusion in EDS schema. • Check designed interfaces. • Supports inclusion of other ontologies, such as QUDV.

  3. Summary of DoT in SOIS Tool Chain Mission Control Team DoT Ontology Team Manufacturer Mission Design Team

  4. Syntactic Attributes SyntacticAttribute These attributes were handled by the Scisys Schema, and so weren’t generated in schema for that project. These attributes are present in DoT to support generation of other artifacts, such as html glossary. encoding sizeInBits lowerBound = 1 IEEE754_1985 upperBound twosComplement

  5. Combinatorial Constraints on Syntactic Attributes ExcludedSyntax Individuals represent excluded combinations. These attributes are present in DoT to support generation of other artifacts, such as html glossary. lowerBound_sizeInBits upperBound_sizeInBits

  6. Standard Types of Numbers SyntacticType These attributes were handled by the Scisys Schema, and so weren’t generated in schema. These attributes are present in DoT to support generation of other artifacts, such as html glossary. float32 value_encoding value_sizeInBits IEEE754_1985 32

  7. Semantic Attributes SemanticProperty These attributes come from the following sources. QUDV xTEDS Imported type system may include some semantic properties. … referenceFrame unit device meter ECI second

  8. Referential Semantics SemanticProperty PartOfModel ModelOfOperation This part of the model allows description of subject of a measurement. The xml example is notional. refersTo subject imager focalPlane hasPart processor <Imager name=“I2”/> <Thermistor name=“T1” subject=“I2.focalPlane”/> <Thermistor name=“T2” subject=“I2.processor”/>

  9. Combinatorial Constraints on Semantic Attributes ExcludedSemantics Individuals represent excluded combinations. These attributes are present in DoT to support generation of other artifacts, such as html glossary. value_unit value_quantityKind

  10. Standard Engineering Profiles EngineeringProfile value_quantityKind value_unit length meter angle

More Related