Rainer Drath | Searcharxiv

arXiv2026

An AutomationML Domain Library for the Formalized Process Description

The Formalized Process Description (FPD) according to VDI/VDE 3682 provides a standardized graphical notation for describing processes across engineering domains but lacks a standardized, tool-independent data format for machine-readable model exchange. This paper presents an AutomationML (AML) domain library that formalizes the complete set of FPD language elements, their attributes, connection semantics, and graphical representation information as class libraries based on the Computer Aided Engineering Exchange (CAEX) 3.0 metamodel. The library comprises five interrelated parts: a RoleClassLib defining the semantic roles, an InterfaceClassLib for connection types, two AttributeTypeLibs for the information model and diagram interchange, and a SystemUnitClassLib providing instantiation templates. Key design decisions regarding inheritance, diagram structure, hierarchical decomposition, and the representation of graphical information are discussed along with the alternatives that were considered. A bidirectional mapping tool demonstrates the library's applicability by converting between a web-based FPD modeler and AML.

cs.SE↗

arXiv2026

Asset Administration Shell-Based OCL Validation Framework for Model-Based System Engineering

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.

cs.SE↗