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 proceedingArticle in proceedingsResearchpeer-review

    217 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 languageEnglish
    Title of host publicationProceedings of the 8th International Workshop on Web Services and Formal Methods (WS-FM’11)
    Publication date2011
    Publication statusPublished - 2011
    EventInternational Workshop on Web Services and Formal Methods - Clermont-Ferrand, France
    Duration: 1 Jan 2011 → …
    Conference number: 8

    Conference

    ConferenceInternational Workshop on Web Services and Formal Methods
    Number8
    CityClermont-Ferrand, France
    Period01/01/2011 → …

    Cite this

    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) http://www.itu.dk/wsfm2011/