Toward Design, Modelling and Analysis of Dynamic Workflow Reconfiguration: A process Algebra Perspective

  1. Lookup NU author(s)
  2. Dr Manuel Mazzara
  3. Dr Anirban Bhattacharyya
Author(s)Mazzara M, Abouzaid F, Dragoni N, Bhattacharyya A
Publication type Book Chapter
Book TitleWeb Services and Formal Methods
Series TitleLecture Notes in Computer Science
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
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 pi -calculus and web-pi to modelthe 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.
Place PublishedBerlin; New York
ActionsLink to this publication