An Abstract State Machine Interpreter for S- BPM

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 similar 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 semantically 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.