ePrints

Design, Modelling and Analysis of a Workflow Reconfiguration

Lookup NU author(s): Dr Manuel Mazzara, Dr Anirban Bhattacharyya

Downloads

• Published version [.pdf]

Abstract

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.

Publication metadata

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

Share