Details

Autor(en) / Beteiligte

• Elstermann, Matthes
• Seese, Detlef
• Fleischmann, Albert
• Derrick, John
• Khurshid, Sarfraz
• Reeves, Steve
• Gnesi, Stefania
• Fitzgerald, John
• Leuschel, Michael
• Riccobene, Elvinia

Titel

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

Ist Teil von

• Abstract State Machines, Alloy, B, VDM, and Z, p.323-326

Ort / Verlag

Berlin, Heidelberg: Springer Berlin Heidelberg

Quelle

Alma/SFX Local Collection

Beschreibungen/Notizen

• 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.