Browse by author
Lookup NU author(s): Dr Manuel Mazzara, Dr Anirban Bhattacharyya
This is the final published version of a report that has been published in its final definitive form by School of Computing Science, University of Newcastle upon Tyne, 2011.
For re-use rights please refer to the publisher's terms and conditions.
This paper describes a case study involving interference between 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 Web-pi 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.
Author(s): Mazzara M, Abouzaid F, Dragoni N, Bhattacharyya A
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Year: 2011
Pages: 18
Print publication date: 01/02/2011
Source Publication Date: February 2011
Report Number: 1236
Institution: School of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
