Towards the Formalization of a Factory Demonstrator in BeSpaceD
This work provides domain-specific constructs for industrial automation formalization, but it is incremental as it applies an existing framework to a new demonstrator without major innovations.
The authors tackled the problem of formally modeling a food processing plant using the BeSpaceD framework, focusing on spatio-temporal and physical characteristics by representing components as nodes and relationships as annotated graphs.
This report gives an overview of our efforts towards a formalization for a food processing demonstrator plant. Our BeSpaceD framework is used for the formalization. The formalization comprises properties of components and relations between components. We present domain-specific constructs for the formalization of industrial automation facilities and provide some insights into the concrete food processing formalization. We are particularly interested in spatio-temporal and other physical characteristics. Relation- ships are formalized as graphs with annotated edges and components are represented as nodes.