Abouzaid, F.

Bhattacharyya, A.

Dragoni, Nicola

Mazzara, M.

This paper describes a case study involving the dynamic re- conguration of an oce work ow. We state the requirements on a sys- tem implementing the work ow and its reconguration, and describe the system's design in BPMN. We then use an asynchronous -calculus and Web1 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 recongu- ration of dependable systems. The ultimate aim of this research is to identify strengths and weaknesses of formalisms for modelling dynamic reconguration and verifying requirements

Online Research Database In Technology

Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations - A Process Algebra Perspective

Mazzara, Manuel

Abouzaid, Faisal

Bhattacharyya, Anirban

PolyPublie

Toward design, modelling and analysis of dynamic workflow reconfigurations: A process algebra perspective

http://orbit.dtu.dk/ws/files/6251396/Workflow.pdf

Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations - A Process Algebra Perspective

Abstract

Similar works

Full text

Available Versions

Online Research Database In Technology

PolyPublie