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.

Mashup of Meta-Languages and its Implementation in the Kermeta Language Workbench

Metamorphic Domain-Specific Languages: A Journey Into the Shapes of a Language

Multilevel coupled model transformations for precise and reusable definition of model behaviour

A MDE Based Approach for Bridging Formal Models

Evaluation of Kermeta for solving graph-based problems

MOF compliant fundamentals for multi-domain system modeling and simulation

An MDE-based Method for Bridging Different Design Notations

MUIT: A Domain-Specific Language and Its Middleware for Adaptive Mobile Web-Based User Interfaces in WS-BPEL

Meta-Packages: Painless Domain Specific Languages

Meta-Modeling Semantics of UML

Towards Multi-editor Support for Domain-Specific Languages Utilizing the Language Server Protocol

MontiCore: a Framework for Compositional Development of Domain Specific Languages

Supporting Meta-model-based Language Evolution and Rapid Prototyping with Automated Grammar Optimization

FabULous Interoperability for ML and a Linear Language

A Rapid Prototyping Language Workbench for Textual DSLs based on Xtext: Vision and Progress

Supporting meta-model-based language evolution and rapid prototyping with automated grammar transformation

Ontology-Based Development of Domain-Specific Languages via Customizing Base Language

An elucidation of blended modeling from an industrial perspective

Empowering Model‐Based Systems Engineering Through Metamodeling

Language-Driven Engineering An Interdisciplinary Software Development Paradigm

Tool-Augmented LLMs as a Universal Interface for IDEs