Industrial deployment of system engineering methods providing high dependability and productivity


Design, Modelling and Analysis of a Workflow Reconfiguration

Mazzara, Manuel and Abouzaid, Faisal and Dragoni, Nicola and Bhattacharyya, Anirban Design, Modelling and Analysis of a Workflow Reconfiguration. Technical Report. Newcastle University.



This paper describes a case study involving interference be- tween application activities and reconfiguration activities in 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 Webpi 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.

Item Type:Monograph (Technical Report)
Subjects:Industrial Deployment > Business
Methodology > Requirements and evolution
Methodology > Resilience
ID Code:297
Deposited By:Dr. Manuel Mazzara
Deposited On:10 Mar 2011 21:29
Last Modified:05 Apr 2011 16:08

Repository Staff Only: item control page

Deploy-Project - All right reserved