Summary
This project intends to develop an ontological representation of SysML v2 in OML. First, an OML vocabulary equivalent to the MOF-based metamodel of SysML v2 will be generated using a MOF2OML adapter. Second, another OML vocabulary that extends the first will be be (manually) developed to add the missing DL semantics (by setting flags and specifying rules) that are expressed in the specification but not encoded in the metamodel. Third, an OML vocabulary bundle will be developed to add disjointness axioms to the SysML v2 vocabulary. Fourth, some example SysML v2 models (from the SysML v2 working group) will be converted to OML descriptions conforming to the SysML v2 vocabulary. Fifth, some tools from openCAESAR will be used to analyze and report on those models.
Blogs
Insights gained by this project:
Issues
Specification issues reported by this project:
Results
We are working as part of the Flexo-SysMLv2 team proposing an OWL representation for the abstract syntax of SysML v2 as normative. The following repo is used as a sandbox for publishing drafts of this representation (in OWL and OML) as it evolves based on the team’s recommendations.
This presentation was given at the OpenMBEE Workshop along side INCOSE IW 2025:
Team
- Maged Elaasar, Ph.D., Modelware
Sponsors
