Emerging technologies such as self-adaptive software, Internet of Things (IoT) and Distributed Systems (DS) as well as an increasing scalability of software systems complicate predicting whether a software system will behave as expected based on verification of its static properties or not.
It has been recognized that during the construction of industrial pants, which involves various engineering disciplines, the used software tools are often heterogeneous without the possibility to transfer data to the next project phase.
Graphical modeling languages are one of the most common approaches for model driven software engineering. Traditional graphic modeling tools like Eclipse Sirius are usually powerful monolithic desktop applications, yet built on top of rather outdated technologies, such as GEF3, GMF and SWT.
Piping & Instrumentation Diagrams (P&ID) are derivations of process flow diagrams and are used to provide a schematic representation of plants with respect to the system description, system flow and control logic.