Rainer Drath

Hamied Nabizada, Rainer Drath, Felix Gehlhoff et al.

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. The library is proposed as a candidate for Part 3 of VDI/VDE 3682. It is available together with an example and a feedback function for community input ahead of standardization at https://aml.fpbjs.net.

Om Parkash, Jannik Bauer, Vincent Schmitt et al.

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.