Sep 2026· IEEE International Conference on Emerging Technologies and Factory Automation· pp. 1-8· 0 citations· 36 references
Abstract
Model-Based Systems Engineering (MBSE) increasingly depends on the ability to integrate heterogeneous domain knowledge into unified modeling environments. The Systems Modeling Language version 2 (SysML v2) has been introduced as a formally defined, extensible language intended to serve as such an integration platform. At the same time, a large body of established domain-specific modeling languages is defined through MOF-conformant metamodels that remain disconnected from the SysML v2 ecosystem. Bridging this gap currently requires case-specific transformations with significant manual effort, limiting the systematic reuse of existing domain knowledge. This paper presents a design-oriented approach for transforming MOF-conformant metamodels into SysML v2-compliant domainspecific libraries. The approach is operationalized through the MOF-based SysML v2 Generator, a prototype that interprets metamodel structures and generates corresponding SysML v2 textual libraries. The evaluation, based on a safety analysis use case derived from an industrial ontology, shows that structural transformation can be largely automated, while semantic equivalence requires an explicit mapping layer between domain elements and SysML v2 base types. The generated libraries demonstrated reuse within a JupyterLab-based SysML v2 pilot environment, while broader interoperability remains dependent on tooling maturity.
An analysis of how SysML v2 can systematically support multi-view modeling and Authoritative Source of Truth (ASoT)-based engineering practices and a first assessment of SysML v2’s potential and boundaries as a foundation for a more integrated and consistent digital engineering ecosystem.
Léo Le Van Canh Canh Dit Ban, Luc Fabresse, Xavier Le Pallec et al.· Proceedings of the ACM/IEEE...· 0 citations
Json-SysML is introduced, a compact, AI-optimized representation that encodes SysML v1 models into a standardized and semantically accessible JSON format, supported by an automated, bidirectional conversion pipeline that bridges Json-SysML and XMI-encoded SysML models, facilitating integration within existing MBSE envi...
Yousef Khoubrane, Nassara Elhadji Ille Gado, Rui Li et al.· Proceedings of the ACM/IEEE...· 0 citations
The increasing complexity of systems within Model-Based Systems Engineering (MBSE) environments has made structured and reliable use case modeling critically important. Existing approaches to SysML Use Case Diagram modeling and verification remain fragmented, addressing generation, validation, or reuse in isolation. Th...
Magesh Nachiappan Nachiappan, Shathyanaraynan Balashanmugam, P. de Saqui-Sannes et al.· Systems· 0 citations
This paper proposes a methodology for the rapid development of Process-Aware Information Systems (PAIS) based on ontological modeling and category theory, which distinguishes the categorical specification, in which functoriality follows by construction, from its operational implementation, whose conformance is establis...
Borivoj Bogdanović, Vidan Markovic, M. Segedinac et al.· Computer Science and Informa...· 0 citations
This case study assesses the feasibility of combining LLM-based extraction, metamodel-guided refinement, automated validation, and human correction for requirements formalization and evaluates the approach on the ten published ACAS Xu safety properties.
Sally Ismail, Patrick Tessier· Proceedings of the ACM/IEEE...· 0 citations
The UML 1.4.2 standard makes two claims about its lightweight extension mechanism that are rarely tested end-to-end: that profiles can extend UML to model domains far outside object-oriented software, and that this can be done at low cost using the metamodel’s own constraint language, OCL. This paper treats those claim...
Jörn Guy Süß· Proceedings of the ACM/IEEE...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.