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

M. Mazzara; F. Abouzaid; Nicola Dragoni; A. Bhattacharyya

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

M. Mazzara, F. Abouzaid, Nicola Dragoni, A. Bhattacharyya

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

347 Downloads (Pure)

Abstract

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.

Original language	English
Title of host publication	Proceedings of the 8th International Workshop on Web Services and Formal Methods (WS-FM’11)
Publication date	2011
Publication status	Published - 2011
Event	8^th International Workshop on Web Services and Formal Methods - Clermont-Ferrand, France Duration: 1 Sept 2011 → 2 Sept 2011 Conference number: 8

Workshop

Workshop	8^th International Workshop on Web Services and Formal Methods
Number	8
Country/Territory	France
City	Clermont-Ferrand
Period	01/09/2011 → 02/09/2011

Access to Document

Workflow

http://www.itu.dk/wsfm2011/

OpenUrl availability

Full text

Cite this

@inproceedings{5103cf82ab50480cabc4d145b8b9315d,

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

abstract = "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.",

author = "M. Mazzara and F. Abouzaid and Nicola Dragoni and A. Bhattacharyya",

year = "2011",

language = "English",

booktitle = "Proceedings of the 8th International Workshop on Web Services and Formal Methods (WS-FM{\textquoteright}11)",

note = "8<sup>th</sup> International Workshop on Web Services and Formal Methods, WS-FM 2011 ; Conference date: 01-09-2011 Through 02-09-2011",

}

Mazzara, M, Abouzaid, F, Dragoni, N & Bhattacharyya, A 2011, Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations - A Process Algebra Perspective. in Proceedings of the 8th International Workshop on Web Services and Formal Methods (WS-FM’11). 8^th International Workshop on Web Services and Formal Methods, Clermont-Ferrand, France, 01/09/2011. <http://www.itu.dk/wsfm2011/>

Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations - A Process Algebra Perspective. / Mazzara, M.; Abouzaid, F.; Dragoni, Nicola et al.
Proceedings of the 8th International Workshop on Web Services and Formal Methods (WS-FM’11). 2011.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

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

AU - Mazzara, M.

AU - Abouzaid, F.

AU - Dragoni, Nicola

AU - Bhattacharyya, A.

N1 - Conference code: 8

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

M3 - Article in proceedings

BT - Proceedings of the 8th International Workshop on Web Services and Formal Methods (WS-FM’11)

T2 - 8<sup>th</sup> International Workshop on Web Services and Formal Methods

Y2 - 1 September 2011 through 2 September 2011

ER -

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

Abstract

Workshop

Access to Document

OpenUrl availability

Fingerprint

Cite this