Formal analysis of BPMN via a translation into COWS

D. Prandi, P. Quaglia, N. Zannone

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    39 Citations (Scopus)

    Abstract

    A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reasoning about the behaviour of business processes. An example of such reasoning is shown by running the PRISM probabilistic model checker on a case study.
    Original languageEnglish
    Title of host publicationCoordination Models and Languages
    Subtitle of host publication10th International Conference, Coordination'08, Oslo, Norway, June 4-6, 2008, Proceedings
    EditorsD. Lea, G. Zavattaro
    Place of PublicationBerlin
    PublisherSpringer
    Chapter16
    Pages249-263
    Number of pages15
    ISBN (Electronic)978-3-540-68265-3
    ISBN (Print)978-3-540-68264-6
    DOIs
    Publication statusPublished - 2008

    Publication series

    NameLecture Notes in Computer Science (LNCS)
    Volume5052
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Fingerprint Dive into the research topics of 'Formal analysis of BPMN via a translation into COWS'. Together they form a unique fingerprint.

    Cite this