NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Semantically-Rigorous Systems Engineering Modeling Using Sysml and OWLThe Systems Modeling Language (SysML) has found wide acceptance as a standard graphical notation for the domain of systems engineering. SysML subsets and extends the Unified Modeling Language (UML) to define conventions for expressing structural, behavioral, and analytical elements, and relationships among them. SysML-enabled modeling tools are available from multiple providers, and have been used for diverse projects in military aerospace, scientific exploration, and civil engineering. The Web Ontology Language (OWL) has found wide acceptance as a standard notation for knowledge representation. OWL-enabled modeling tools are available from multiple providers, as well as auxiliary assets such as reasoners and application programming interface libraries, etc. OWL has been applied to diverse projects in a wide array of fields. While the emphasis in SysML is on notation, SysML inherits (from UML) a semantic foundation that provides for limited reasoning and analysis. UML's partial formalization (FUML), however, does not cover the full semantics of SysML, which is a substantial impediment to developing high confidence in the soundness of any conclusions drawn therefrom. OWL, by contrast, was developed from the beginning on formal logical principles, and consequently provides strong support for verification of consistency and satisfiability, extraction of entailments, conjunctive query answering, etc. This emphasis on formal logic is counterbalanced by the absence of any graphical notation conventions in the OWL standards. Consequently, OWL has had only limited adoption in systems engineering. The complementary strengths and weaknesses of SysML and OWL motivate an interest in combining them in such a way that we can benefit from the attractive graphical notation of SysML and the formal reasoning of OWL. This paper describes an approach to achieving that combination.

Document ID
20150005663
Document Type
Conference Paper
External Source(s)
Authors
Jenkins, J. Steven (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Rouquette, Nicolas F. (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Date Acquired
April 15, 2015
Publication Date
October 17, 2012
Subject Category
Documentation and Information Science
Meeting Information
International Workshop on Systems & Concurrent Engineering for Space Applications (SECESA 2012)(Lisbon)
Distribution Limits
Public
Copyright
Other
Keywords
Web Ontology Language (OWL)
Systems Modeling Language (SysML)