Each business process management (BPM) approach requires a precise semantic specification scheme. Semantically, ambiguities can cause a lot of problems during the lifespan of a business process. As Abstract State Machines (ASMs) are grounded to subject orientation, we have explored their capabilities with respect to representing and executing Subject-oriented BPM (S-BPM) models. Based on the ASM method we implemented an interpreter which allows not only the proof of the S-BPM concept in terms of semantical preciseness, but also the automated execution of S-BPM models in terms of a workflow engine. This workflow engine serves as a baseline and reference implementation for further language and processing developments, such as simulation tools, as it has been developed within the Open-S-BPM initiative. This contribution focuses more on the use of the technique than on formal definitions.
Setting the StageIndustry 4.0 is currently one of the most widely used keywords in industry. There are many events and conferences regarding this topic. Alessandro frequently attends such conferences. He is responsible as head of production in a typical SME company in the automotive industry. Concerning new ideas he is open-minded and always searching for new technologies and approaches to improve processes in the company. At one particular conference, Alessandro attended a presentation about