Ontological Metamodeling and Analysis Using openCAESAR

Wagner, Dave; Chodas, M.; Elaasar, M.; Jenkins, J. S.; Rouquette, N.

doi:10.1007/978-3-030-27486-3_78-1

Cited by 1 publication

(5 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…SWTs are a suite of technologies and a field of research centered around graph data structures and ontology. While many definitions of ontology have been developed, for purposes related to computational use in a systems engineering context, the definition from Wagner et al is appropriate: "An ontology is a directed labeled graph that is identified by a unique IRI (Internationalized Resource Identifier) and that describes a set of things by a set of propositional statements that are regarded to be true in some context" [6].…”

Section: Semantic Web Technologiesmentioning

confidence: 99%

“…Eddy et al use semantic rules in reasoning to generate potential designs from a data source for consideration by an engineering team [8]. The Ontology Modeling Language (OML) uses an ontology-backed modeling language to facilitate automated checks for satisfiability and consistency [6]. Yang et al provide a rich review of ontologies in SE [9].…”

Section: Semantic Web Technologiesmentioning

confidence: 99%

“…This interoperability pursuit has been discussed in engineering research. NASA's Jet Propulsion Lab (JPL) has developed the openCAESAR platform and OML to support interoperability between elements of a design process [5,6,10]. Moser's Engineering Knowledge Base (EKB) also aims to use ontologies to provide interoperability in intelligent engineering applications (IEAs) [11].…”

Section: Semantic Web Technologiesmentioning

confidence: 99%

“…Further, edges can be labeled to specify things like the relationship the edge represents. Thus, an ontology is a "directed, labeled graph" [6].…”

Section: Graph Theorymentioning

confidence: 99%

“…Chapurlat et al [24] propose the executable, verifiable, and interoperable Domain-Specific Modeling Language (xviDSML) and formal approaches to enable model verification. This approach of using a modeling language that addresses verification within its syntax as a primary modeling language in design can be compared to research at NASA's Jet Propulsion Lab (JPL) using the Ontological Modeling Language (OML) as a primary modeling language to describe systems in a verifiable way [5,6,10].…”

Section: Verification Tasksmentioning

confidence: 99%

See 4 more Smart Citations

A Three-Pronged Verification Approach to Higher-Level Verification Using Graph Data Structures

Dunbar,

Hagedorn,

Blackburn

et al. 2024

Systems

View full text Add to dashboard Cite

Individual model verification is a common practice that increases the quality of design on the left side of the Vee model, often before costly builds and prototypes are implemented. However, verification that spans multiple models at higher levels of abstraction (e.g., subsystem, system, mission) is a complicated endeavor due to the federated nature of the data. This paper presents a tool-agnostic approach to higher-level verification tasks that incorporates tools from Semantic Web Technologies (SWTs) and graph theory more generally to enable a three-pronged verification approach to connected data. The methods presented herein use existing SWTs to characterize a verification approach using ontology-aligned data from both an open-world and closed-world perspective. General graph-based algorithms are then introduced to further explore structural aspects of portions of the graph. This verification approach enables a robust model-based verification on the left side of the Vee model to reduce risk and increase the visibility of the design and analysis work being performed by multidisciplinary teams.

show abstract

Section: Semantic Web Technologiesmentioning

confidence: 99%