Design, Modelling and Analysis of a Workflow Reconfiguration

Manuel Mazzara (Invited author), Faisal Abouzaid (Invited author), Nicola Dragoni (Invited author), Anirban Bhattacharyya (Invited author)

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Abstract

    This paper describes a case study involving the reconfiguration of 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.1 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.
    Original languageEnglish
    Title of host publicationProceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’11)
    Publication date2011
    Pages10-24
    Publication statusPublished - 2011
    EventInternational Workshop on Petri Nets and Software Engineering 2011 - Newcastle upon Tyne, United Kingdom
    Duration: 20 Jun 201121 Jun 2011
    Conference number: 32/11
    http://www.informatik.uni-hamburg.de/TGI/events/pnse11/

    Workshop

    WorkshopInternational Workshop on Petri Nets and Software Engineering 2011
    Number32/11
    Country/TerritoryUnited Kingdom
    CityNewcastle upon Tyne
    Period20/06/201121/06/2011
    OtherA satellite event of Petri Nets 2011 and ACSD 2011
    Internet address

    Fingerprint

    Dive into the research topics of 'Design, Modelling and Analysis of a Workflow Reconfiguration'. Together they form a unique fingerprint.

    Cite this