Asset Administration Shell-Based OCL Validation Framework for Model-Based System Engineering
Fuente:
arXiv
Guardado en:
| Autores principales: | , , , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866918473931685888 |
|---|---|
| author | Parkash, Om Bauer, Jannik Schmitt, Vincent Greiner, Thomas Drath, Rainer |
| author_facet | Parkash, Om Bauer, Jannik Schmitt, Vincent Greiner, Thomas Drath, Rainer |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_26384 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Asset Administration Shell-Based OCL Validation Framework for Model-Based System Engineering Parkash, Om Bauer, Jannik Schmitt, Vincent Greiner, Thomas Drath, Rainer Software Engineering Systems and Control 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. |
| title | Asset Administration Shell-Based OCL Validation Framework for Model-Based System Engineering |
| topic | Software Engineering Systems and Control |
| url | https://arxiv.org/abs/2604.26384 |