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

    40 Citations (Scopus)


    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
    Number of pages15
    ISBN (Electronic)978-3-540-68265-3
    ISBN (Print)978-3-540-68264-6
    Publication statusPublished - 2008

    Publication series

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


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

    Cite this