Graph Representation of System of Analysis in Determining Well-Formed Construction

This chapter presents a method for analyzing a multi-model system of analysis in a graph representation to verify well-formed construction. It utilizes the Digital Engineering Framework for Integration and Interoperability to establish a system of analysis and presents methods for defining well-formed construction of those systems and verifying the well-formedness of the systems based on the definitions. The chapter explores both consistency checks and closed-world reasoning-based rules to build a robust foundation for a context-dependent definition of well-formed construction and uses the SPARQL query language for traversing the graph representation of the system to determine the system’s adherence to the proposed definition. It utilizes a domain neutral case study to construct a manually verified well-formed system of analysis plus variations of the model with seeded faults to validate the verification process.