🤖 AI Summary
This study addresses the limitations in automation and interoperability arising from tool heterogeneity in Model-Based Systems Engineering (MBSE) and Object Constraint Language (OCL) constraint validation, which often necessitate manual intervention. To overcome this challenge, the work proposes a unified verification framework that, for the first time, integrates the Asset Administration Shell (AAS) into the MBSE domain, combining AAS, OCL, and Model-Driven Architecture principles. This framework enables centralized management of constraints and their verification results while ensuring semantic consistency across tools. The approach significantly enhances the automation of model validation and improves interoperability among heterogeneous engineering tools. Its effectiveness is demonstrated through application in representative industrial scenarios. All artifacts have been open-sourced on GitHub to facilitate reproducibility and broader adoption.
📝 Abstract
Increasing complexity of modern enterprise systems and the demand for automation and interoperability require consistent and semantically validated models in Model-Based Systems Engineering (MBSE). The Object Constraint Language (OCL) supports formal definition of such constraint validations. However, MBSE models and OCL constraints are typically managed in separate tools, causing manual effort during model constraint application and result interpretation. To address this gap, this paper proposes an approach to managing OCL constraints and their validation results through Asset Administration Shells (a well-established technology for interoperability in enterprise systems). The methodology is demonstrated through a fictional industrial scenario, and to support reproducibility, all artifacts are publicly available in a GitHub repository.