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.
|Title of host publication||Proceedings of the 8th International Workshop on Web Services and Formal Methods (WS-FM’11)|
|Publication status||Published - 2011|
|Event||International Workshop on Web Services and Formal Methods - Clermont-Ferrand, France|
Duration: 1 Jan 2011 → …
Conference number: 8
|Conference||International Workshop on Web Services and Formal Methods|
|Period||01/01/2011 → …|