Defining Viewpoints for Ontology-Based DSLs
0 likes184 views
The document discusses the Ontological Modeling Language (OML) developed to enhance systems engineering through flexible modeling frameworks and integration of datasets. It highlights features like expressiveness, reasoning, and extensibility while providing examples of vocabulary and description structures. Ultimately, it aims to improve system analysis and engineering practices by employing semantic web technologies.
![OML-Based Architectural Framework
7
7
Core Vocabularies
Framework Vocabularies
Application Vocabularies
Discipline Vocabularies
Architecture
Description
Framework
Project(s)
standard libraries [xsd, rdf, rdfs, owl, dc, metrology, iso]
foundational patterns [imce, uml, sysml, capella]
Independent [mechanical, electrical, operations, v&v]
Integrated [organization, program, project, team]
System Descriptions Organized into multiple federated datasets
Allows systems description using a stack of OML vocabularies](https://image.slidesharecdn.com/opencaesarsiriuscon2022-220622080052-83906bce/85/Defining-Viewpoints-for-Ontology-Based-DSLs-7-320.jpg)
![OML Vocabularies
▸ classes: Aspect, Concept, Relation Entity
▸ data types: Scalar, Structure
▸ properties: Annotation, Scalar, Structured
▸ relations: Forward, Reverse
8
vocabulary namespace as prefix {
extends vocabulary-namespace (as prefix)?
uses description-namespace (as prefix)?
<term> name (:> super-term*)? [ axiom* ]
ref <term> iri (:> super-term*)? [ axiom* ]
rule name [ predicate* → predicate* ]
}
Vocabulary bundle namespace as prefix {
extends vocabulary-bundle-namespace
includes vocabulary-namespace
}
Closed world assumptions Open world assumptions
import
extension to imported term
Inference rule
Describe terms and rules of a business domain](https://image.slidesharecdn.com/opencaesarsiriuscon2022-220622080052-83906bce/85/Defining-Viewpoints-for-Ontology-Based-DSLs-8-320.jpg)
![OML Vocabulary Example
9
vocabulary <http://mds.jpl.nasa.gov/sa/state-analysis#> as sa {
extends <http://mds.jpl.nasa.gov/sa/base#> as base
extends <http://www.w3.org/2000/01/rdf-schema#> as rdfs
concept SystemUnderControl :> base:Container [
restricts all relation base:contains to PhysicalObject
]
concept PhysicalObject :> base:Container, base:ContainedElement [
restricts all relation base:contains to PhysicalObject
]
concept PhysicalState
relation entity Characterizes [
from PhysicalState to PhysicalObject
forward characterizes reverse isCharacterizedBy
functional
]
relation entity Affects [
from PhysicalState to PhysicalState
forward affects reverse isAffectedBy
]
…}
vocabulary bundle <http://mds.jpl.nasa.gov/sa/bundle#> as bundle {
includes <http://mds.jpl.nasa.gov/sa/base#>
includes <http://mds.jpl.nasa.gov/sa/state-analysis#>
}
“State-Analysis” Vocabularies
vocabulary <http://mds.jpl.nasa.gov/sa/base#> as base {
aspect Container
aspect ContainedElement
relation entity Contains [
from Container to ContainedElement
forward contains reverse isContainedBy
inverse functional
asymmetric
irreflexive
]
}
1 2
3](https://image.slidesharecdn.com/opencaesarsiriuscon2022-220622080052-83906bce/85/Defining-Viewpoints-for-Ontology-Based-DSLs-9-320.jpg)
![OML Descriptions
▸ Concept Instance
▸ Relation Instance
11
Closed world assumptions Open world assumptions
import
extension to imported instance
description namespace as prefix {
uses vocabulary-namespace (as prefix)?
extends description-namespace (as prefix)?
<instance> name (: type*)? [ assertion* ]
ref <instance> iri (: type*)? [ assertion* ]
}
description bundle namespace as prefix {
uses vocabulary-bundle-namespace
extends description-bundle-namespace
includes description-namespace
}
Describe information about a system using vocabularies](https://image.slidesharecdn.com/opencaesarsiriuscon2022-220622080052-83906bce/85/Defining-Viewpoints-for-Ontology-Based-DSLs-11-320.jpg)
![OML Description Example
12
description <http://autonomica.jpl.nasa.gov/small-body/gnc-states#> as gnc-states {
uses <http://mds.jpl.nasa.gov/sa/state-analysis#> as sa
extends <http://autonomica.jpl.nasa.gov/small-body/objects#> as objects
ci SC_Size : sa:PhysicalState [ sa:characterizes objects:SC ]
ci SC_Shape : sa:PhysicalState [ sa:characterizes objects:SC ]
ci SC_Attitude : sa:PhysicalState [ sa:characterizes objects:SC ]
…}
vocabulary bundle <http://mds.jpl.nasa.gov/sa/bundle#> as bundle {
includes <http://mds.jpl.nasa.gov/small-body/objects#>
includes <hhttp://autonomica.jpl.nasa.gov/small-body/gnc-states#>
includes <hhttp://autonomica.jpl.nasa.gov/small-body/gnc-effects#>
}
“Small-Body” Descriptions
description <http://mds.jpl.nasa.gov/small-body/objects#> as objects {
uses <http://mds.jpl.nasa.gov/sa/state-analysis#> as sa
uses <http://mds.jpl.nasa.gov/sa/base#> as base
ci SB_SUC : sa:SystemUnderControl
ci SC : sa:PhysicalObject [
base:isContainedBy SB_SUC
]
ci SC_Onboard_Computer : sa:PhysicalObject [
base:isContainedBy SC
]
ci SC_Solar_Panel : sa:PhysicalObject [
base:isContainedBy SC
]
}
1 2
4
description <http://autonomica.jpl.nasa.gov/small-body/gnc-effects#> as gnc-effects {
uses <http://mds.jpl.nasa.gov/sa/state-analysis#> as sa
extends <http://autonomica.jpl.nasa.gov/small-body/gnc-states#> as gnc-states
ref ci gnc-states:SC_Shape [ sa:affects gnc-states:SC_Attitude ]
ref ci gnc-states:SC_Attitude [
sa:affects gnc-states:SC_Star_Tracker_Sensor_Measurement
sa:affects gnc-states:SC_IMU_Sensor_Measurement
sa:affects gnc-states:WAC_Camera_Sensor_Picture
]
…}
3](https://image.slidesharecdn.com/opencaesarsiriuscon2022-220622080052-83906bce/85/Defining-Viewpoints-for-Ontology-Based-DSLs-12-320.jpg)
Defining Viewpoints for Ontology-Based DSLs
- 1. Defining Viewpoints for Ontology Based DSLs Copyright 2022 California Institute of Technology. Government sponsorship acknowledged Maged Elaasar, Ph.D. Senior Computer Scientist NASA Jet Propulsion Laboratory elaasar@jpl.nasa.gov
- 2. Roadmap for Systems Engineering 2 Integrated Model Centric Engineering Model Based Systems Engineering Document Based Systems Engineering
- 3. ▸ Implements the Ontological Modeling Language (OML) ▸ Enables defining a custom architectural framework for systems engineering ▸ Allows authoring, federation, and integration of systems engineering datasets ▸ Supports an agile DevOps approach to system modeling and analysis 3 openCAESAR Ontological Modeling and Analysis Platform opencaesar.github.io
- 4. 4 Ontological Modeling Language www.opencaesar.io/oml 2 DL Translates into Empowers systems engineering with semantic web technologies ▸ Expressiveness ▹ Defines vocabularies with description logic (DL) semantics ▹ Allows adding custom inference rules in vocabularies ▸ Reasoning ▹ Allows checking logical consistency with DL reasoners ▹ Allows simplifying queries based on entailments ▸ Componentization ▹ Allows organization of information based on methodology ▸ Extensibility ▹ Allows extension of information defined by other authorities
- 5. OML Implementation 5 Abstract Syntax Textual Syntax Eclipse p2 site Java API Language Server Eclipse IDE (Rosetta) VS Code IDE (Luxor) UI Viewpoints Diagram Server OML Analysis Tools https://github.com/opencaesar/oml-rosetta https://github.com/opencaesar/oml-luxor
- 6. OML Projects in Rosetta Workbench 6 Gradle and Modeling project OML build dependencies OML Sources Gradle build script OML Xtext editor Sirius representation Sirius property sheet
- 7. OML-Based Architectural Framework 7 7 Core Vocabularies Framework Vocabularies Application Vocabularies Discipline Vocabularies Architecture Description Framework Project(s) standard libraries [xsd, rdf, rdfs, owl, dc, metrology, iso] foundational patterns [imce, uml, sysml, capella] Independent [mechanical, electrical, operations, v&v] Integrated [organization, program, project, team] System Descriptions Organized into multiple federated datasets Allows systems description using a stack of OML vocabularies
- 8. OML Vocabularies ▸ classes: Aspect, Concept, Relation Entity ▸ data types: Scalar, Structure ▸ properties: Annotation, Scalar, Structured ▸ relations: Forward, Reverse 8 vocabulary namespace as prefix { extends vocabulary-namespace (as prefix)? uses description-namespace (as prefix)? <term> name (:> super-term*)? [ axiom* ] ref <term> iri (:> super-term*)? [ axiom* ] rule name [ predicate* → predicate* ] } Vocabulary bundle namespace as prefix { extends vocabulary-bundle-namespace includes vocabulary-namespace } Closed world assumptions Open world assumptions import extension to imported term Inference rule Describe terms and rules of a business domain
- 9. OML Vocabulary Example 9 vocabulary <http://mds.jpl.nasa.gov/sa/state-analysis#> as sa { extends <http://mds.jpl.nasa.gov/sa/base#> as base extends <http://www.w3.org/2000/01/rdf-schema#> as rdfs concept SystemUnderControl :> base:Container [ restricts all relation base:contains to PhysicalObject ] concept PhysicalObject :> base:Container, base:ContainedElement [ restricts all relation base:contains to PhysicalObject ] concept PhysicalState relation entity Characterizes [ from PhysicalState to PhysicalObject forward characterizes reverse isCharacterizedBy functional ] relation entity Affects [ from PhysicalState to PhysicalState forward affects reverse isAffectedBy ] …} vocabulary bundle <http://mds.jpl.nasa.gov/sa/bundle#> as bundle { includes <http://mds.jpl.nasa.gov/sa/base#> includes <http://mds.jpl.nasa.gov/sa/state-analysis#> } “State-Analysis” Vocabularies vocabulary <http://mds.jpl.nasa.gov/sa/base#> as base { aspect Container aspect ContainedElement relation entity Contains [ from Container to ContainedElement forward contains reverse isContainedBy inverse functional asymmetric irreflexive ] } 1 2 3
- 10. OML Vocabulary Viewpoint 10 Governs Visualizes Vocabulary Viewpoint State Analysis Vocabulary View State Analysis Vocabulary OML Metamodel References
- 11. OML Descriptions ▸ Concept Instance ▸ Relation Instance 11 Closed world assumptions Open world assumptions import extension to imported instance description namespace as prefix { uses vocabulary-namespace (as prefix)? extends description-namespace (as prefix)? <instance> name (: type*)? [ assertion* ] ref <instance> iri (: type*)? [ assertion* ] } description bundle namespace as prefix { uses vocabulary-bundle-namespace extends description-bundle-namespace includes description-namespace } Describe information about a system using vocabularies
- 12. OML Description Example 12 description <http://autonomica.jpl.nasa.gov/small-body/gnc-states#> as gnc-states { uses <http://mds.jpl.nasa.gov/sa/state-analysis#> as sa extends <http://autonomica.jpl.nasa.gov/small-body/objects#> as objects ci SC_Size : sa:PhysicalState [ sa:characterizes objects:SC ] ci SC_Shape : sa:PhysicalState [ sa:characterizes objects:SC ] ci SC_Attitude : sa:PhysicalState [ sa:characterizes objects:SC ] …} vocabulary bundle <http://mds.jpl.nasa.gov/sa/bundle#> as bundle { includes <http://mds.jpl.nasa.gov/small-body/objects#> includes <hhttp://autonomica.jpl.nasa.gov/small-body/gnc-states#> includes <hhttp://autonomica.jpl.nasa.gov/small-body/gnc-effects#> } “Small-Body” Descriptions description <http://mds.jpl.nasa.gov/small-body/objects#> as objects { uses <http://mds.jpl.nasa.gov/sa/state-analysis#> as sa uses <http://mds.jpl.nasa.gov/sa/base#> as base ci SB_SUC : sa:SystemUnderControl ci SC : sa:PhysicalObject [ base:isContainedBy SB_SUC ] ci SC_Onboard_Computer : sa:PhysicalObject [ base:isContainedBy SC ] ci SC_Solar_Panel : sa:PhysicalObject [ base:isContainedBy SC ] } 1 2 4 description <http://autonomica.jpl.nasa.gov/small-body/gnc-effects#> as gnc-effects { uses <http://mds.jpl.nasa.gov/sa/state-analysis#> as sa extends <http://autonomica.jpl.nasa.gov/small-body/gnc-states#> as gnc-states ref ci gnc-states:SC_Shape [ sa:affects gnc-states:SC_Attitude ] ref ci gnc-states:SC_Attitude [ sa:affects gnc-states:SC_Star_Tracker_Sensor_Measurement sa:affects gnc-states:SC_IMU_Sensor_Measurement sa:affects gnc-states:WAC_Camera_Sensor_Picture ] …} 3
- 13. OML Description Viewpoint 13 Visualizes State Analysis Viewpoint Small Body Views Small Body Descriptions OML Metamodel Governs References
- 14. Description Viewpoint Development 14 OML Viewpoint Services API (wrapper on the OML API) OML Description Viewpoint
- 15. 15 Demo! State Analysis Method Realized in the Rosetta Workbench
- 16. openCAESAR at JPL 16 Authoring Viewpoints Correct by Construction Reusable Libraries Automated Verification Automated Refactoring Configuration Management Report Viewpoints Report Provenance Dynamic Reports Authoring Analysis Reporting Consistency Completeness Correctness Continuous Integration Continuous Delivery Change Management JPL Systems Engineering Vocabulary CAESAR Cloud CAESAR Workbench
- 17. 17 Demo! CAESAR Workbench Powered by openCAESAR Rosetta IDE Europa Clipper Psyche Sample Return Lander use Space Projects
- 18. Future Work Web-based OML Workbench ▸ Use of Rosetta Web to generate web-based OML workbench ▸ Integration of web-based OML workbench in VS Code (gitpod) ▸ Integration of web-based OML workbench in Jupyter Lab IDE Easier OML Description Viewpoints Dev ▸ Development of Ontology Query Language as adaptation of AQL ▸ Development of odesign generator from vocabulary bundle ▸ Development of generic but customizable description viewpoint 18 OML Sirius Web DB OML
- 19. 19 THANKS! Any questions? Maged Elaasar, Ph.D. ▸ elaasar@jpl.nasa.gov ▸ https://www.linkedin.com/in/magedelaasar/