Search papers, labs, and topics across Lattice.
This paper introduces a framework for managing and validating Object Constraint Language (OCL) constraints within Model-Based Systems Engineering (MBSE) by leveraging Asset Administration Shells (AAS). It addresses the challenge of disparate tool management for MBSE models and OCL constraints by integrating them within the AAS framework, enabling automated constraint application and result interpretation. The approach is validated through an industrial scenario, demonstrating the feasibility of using AAS for OCL constraint management in complex systems.
Stop manually juggling MBSE models and OCL constraints: this framework uses Asset Administration Shells to automate validation and interpretation.
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.
