Browse by author
Lookup NU author(s): Dr Anirban Bhattacharyya, Professor John Fitzgerald, Dr Manuel Mazzara
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 a number of computational formalisms of different kinds, including VDM and an asynchronous pi-calculus, to model the design and 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. We include in the evaluation, two process algebras we have been developing, namely, Webpi and CCSdp. Finally, we give an implementation of the system in BPEL.
Author(s): Abouzaid F, Bhattacharyya A, Dragoni N, Fitzgerald JS, Mazzara M, Zhou M
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Year: 2011
Pages: 58
Print publication date: 01/07/2011
Source Publication Date: July 2011
Report Number: 1265
Institution: School of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1265.pdf
