Using the Arbitrator Pattern for Dynamic Process-Instance Extension in a Work-Flow Management System

Publication
3rd International Conference on ASM, Alloy, B, VDM, and Z (ABZ'12)

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.

Document

If you cannot see the document below, the PDF document is most likely not freely accessible. In this case, please try to access the document via this link.

Reference

% BibTex
@inproceedings{ElstermannSF12,
  author       = {Matthes Elstermann and
                  Detlef Seese and
                  Albert Fleischmann},
  editor       = {John Derrick and
                  John S. Fitzgerald and
                  Stefania Gnesi and
                  Sarfraz Khurshid and
                  Michael Leuschel and
                  Steve Reeves and
                  Elvinia Riccobene},
  title        = {Using the Arbitrator Pattern for Dynamic Process-Instance Extension
                  in a Work-Flow Management System},
  booktitle    = {Abstract State Machines, Alloy, B, VDM, and {Z} - Third International
                  Conference, {ABZ} 2012, Pisa, Italy, June 18-21, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7316},
  pages        = {323--326},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30885-7\_23},
  doi          = {10.1007/978-3-642-30885-7\_23},
  timestamp    = {Mon, 03 Mar 2025 20:58:01 +0100},
  biburl       = {https://dblp.org/rec/conf/asm/ElstermannSF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}


Related