A Unified Specification Process for Graphical Domain-Specific Languages in Model-Based Systems Engineering

Rising complexity in cyber-physical systems development exposes challenges in the consistent and reusable specification of graphical domain-specific languages (DSLs). Despite the benefits of model-based systems engineering (MBSE), the absence of a standardized, life-cycle-wide specification process results in semantic inconsistencies, tool dependence, and limited interoperability. While our previous work has addressed individual stages of DSL definition, a comprehensive, standards-based process integrating these stages remains missing. Building on these foundations, this paper introduces a unified language specification process for graphical DSLs grounded in established standards—the Meta-Object Facility (MOF), Unified Modeling Language (UML), Web Ontology Language (OWL), and Resource Description Framework (RDF). The process integrates three core artifacts: a tool-independent ontology capturing domain semantics, a MOF-conforming metamodel unifying abstract syntax, semantics, and concrete syntax, and a UML-profile-based implementation. To support and exemplify this process, a prototypical toolchain is introduced that enables automated transformations between these artifacts, thereby facilitating the consistent propagation of semantics from ontology to implementation. The applicability of the proposed process is demonstrated through both a top-down automotive case and a bottom-up cybersecurity DSL, illustrating its cross-domain generalizability. By explicitly structuring and connecting ontology, metamodel, and implementation, this work contributes a semantically consistent, machine-interpretable, and tool-independent specification process for graphical DSLs in MBSE.