Using the arbitrator pattern for dynamic process-instance extension in a work-flow management system

Authors:
Matthes Elstermann;Detlef Seese;Albert Fleischmann
Affiliations:
Institute AIFB, Karlsruhe Institute of Technology (KIT), Karlsruhe, Germany;Institute AIFB, Karlsruhe Institute of Technology (KIT), Karlsruhe, Germany;Metasonic AG, Hettenshausen, Germany
Venue:
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Year:
2012

Citing 3
Cited 0

Adept_flex—Supporting Dynamic Changes of Workflows Without Losing Control

Journal of Intelligent Information Systems - Special issue on workflow management systems
Distributed Systems: Software Design and Implementation

Distributed Systems: Software Design and Implementation
Ambient Abstract State Machines with applications

Journal of Computer and System Sciences

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents the idea of using the Arbitrator Pattern, a concept from the field of robotics, and applying it to the domain of business process model interpretation, using it as a mechanism to allow dynamic adaption and extension of process instances at runtime. The idea is discussed and a formal specification is given using ASMs to detail the concept that was derived in the process of exploring the problem so far. Furthermore the non-trivial questions and issues are raised that will need to be addressed for this just started work-inprogress to advance.