Asset Administration Shell-Based OCL Validation Framework for Model-Based System Engineering
A new framework unifies OCL constraints and validation results in Asset Administration Shells...
A team from Germany (Om Parkash, Jannik Bauer, Vincent Schmitt, Thomas Greiner, and Rainer Drath) has proposed a novel framework that leverages Asset Administration Shells (AAS) to manage Object Constraint Language (OCL) validations in Model-Based Systems Engineering (MBSE). Their paper, accepted to IFAC 2026, tackles the growing complexity of modern enterprise systems by enabling consistent, semantically validated models without manual tool switching.
The framework uses AAS—a key technology for interoperability—to store OCL constraints and their validation results directly alongside MBSE models. This eliminates the need for separate constraint management tools, reducing manual effort and interpretation errors. The team demonstrated the approach through a fictional industrial scenario and made all artifacts publicly available on GitHub to support reproducibility. This integration could streamline automation and validation in complex engineering workflows.
- Framework uses Asset Administration Shells (AAS) to manage OCL constraints and validation results
- Eliminates manual effort from separate MBSE and OCL tools
- All code and artifacts are open-source on GitHub; accepted to IFAC 2026
Why It Matters
Streamlines MBSE validation, reducing errors and manual work in complex industrial systems engineering.