Abstract:Abstract A critical enabler for Model‐Based Systems Engineering (MBSE) and Digital Engineering (DE) is the generation of coherent and consistent views of a system‐of‐interest based on information within a system model. In practice, system model development is facilitated through domain‐specific profiles, style guides, reference models, and low‐fidelity meta‐models to create coherent and consistent system information. Each of these approaches are useful but are insufficient for robust and automated verification of system models to an ideal. Furthermore, the expression of domain‐specific concepts and semantics relies on the proliferation of non‐standard, domain‐specific profiles as standard system modeling languages like the Systems Modeling Language (SysML) are general purpose. This paper proposes a novel approach to creating precise, machine‐interpretable metamodels implemented as a lightweight Unified Modeling Language (UML) profile. The profile includes numerous features that allow model architects to quickly specify context and domain‐specific modeling constructs without creating non‐standard stereotypes to apply domain‐specific meaning and usage rules. Three kinds of constraints can be inferred based on the relationships between meta‐model elements: type, multiplicity, and default value. Applications of well‐formed metamodels include a shared understanding of the intended model format and structure, as well as the one‐time programmatic generation of an encompassing suite of validation rules to evaluate a system model against the inferred constraints, thus ensuring consistency. Additional applications include programmatic generation of model analysis metrics, system models from metamodels, metamodels from reference models and element finding queries, and the ability to update a system model based upon the updated metamodel automatically. Use of the approach results in reduced time in system model development and analysis and ensures coherency and consistency of information thus increasing stakeholder use and confidence in the system model.

Modular Description of a Comprehensive Semantics Model for the UML (Version 2.0)

Meta-Modeling Semantics of UML

A Coalgebraic Semantic Framework for Component-based Development in UML

On the Formalized Semantics of Static Modeling Elements in UML

A Unified Semantics Space Model

UML Modeling to TM Modeling and Back

In Pursuit of Unification of Conceptual Models: Sets as Machines

A systematic review of UML model consistency management

A Model-Theoretic Approach to Modular Implementation, with Application to Biological Systems

Empowering Model‐Based Systems Engineering Through Metamodeling

MOF compliant fundamentals for multi-domain system modeling and simulation

Verification Framework for UML-Based Design of Embedded Systems.

A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams.

A Knowledge Engineering Approach to UML Modeling (S).

Event-Based Semantics of UML 2.X Concurrent Sequence Diagrams for Formal Verification

Semantic integration of UML class diagram with semantic validation on segments of mappings

The Control System Modeling Language

Well-formedness and typing rules for UML Composite Structures

A Relational Model for Formal Object-Oriented Requirement Analysis in UML

A Module-System Discipline for Model-Driven Software Development

Organization of UML System Model