A CoreASM based reference implementation for subject-oriented business process management execution semantics

The Subject-oriented Business Process Management (S-BPM) paradigm provides concepts and methods to support the development of in- and inter-organizational parallel and distributed processes. S-BPM Process Models are directly executable and formal execution semantics enable different software development teams to develop S-BPM engines with equivalent execution behavior. We did a state of the art analysis of existing formal S-BPM execution semantics and analyzed the required language elements of an advanced smart energy grid Process Model. We extended an existing Abstract State Machines (ASM) specification to close the identified specification gaps. To foster the understanding of the specification details, we developed a specification conform reference implementation by using the executable CoreASM language and execution tool, developed a console application as CoreASM user interface, designed test models and used them to evaluate the contribution.