2012 | OriginalPaper | Chapter
Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations
A Process Algebra Perspective
Authors : Manuel Mazzara, Faisal Abouzaid, Nicola Dragoni, Anirban Bhattacharyya
Published in: Web Services and Formal Methods
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
This paper describes a case study involving the dynamic reconfiguration of an office workflow. We state the requirements on a system implementing the workflow and its reconfiguration, and describe the system’s design in BPMN. We then use an asynchronous
π
-calculus and
Webπ
∞
to model the design and to verify whether or not it will meet the requirements. In the process, we evaluate the formalisms for their suitability for the modelling and analysis of dynamic reconfiguration of dependable systems. The ultimate aim of this research is to identify strengths and weaknesses of formalisms for modelling dynamic reconfiguration and verifying requirements.