Process Verification and Synthesis - The Use Case of Commissioning Processes in the Automobile Industry

Richard Mrasek
2015 International Conference on Advanced Information Systems Engineering  
In the automobile industry, commissioning process models describe the end-of-line manufacturing and testing of vehicles. Due to the increase of electronic components in modern vehicles, the process models tend to become more complex. At the same the number of different model series is constantly increasing leading to a larger amount of process models. The increase in process models and complexity lead to higher cost for the process design and decrease the quality of the individual process
more » ... In this Ph.D. project we want to support process modeling. First, by developing a framework to test if a given process model fulfills all properties required (process verification). Second, we want to support the process design by approaches for a semiautomatic generation of process models (process synthesis). Third, for process verification and process synthesis one needs a specification of the allowed behavior of the process models.
dblp:conf/caise/Mrasek13 fatcat:ibynqzwydfcuncaudhwuiqg3ry