Formal analysis of BPMN via a translation into COWS

D. Prandi; P. Quaglia; N. Zannone

doi:10.1007/978-3-540-68265-3_16

Formal analysis of BPMN via a translation into COWS

D. Prandi, P. Quaglia, N. Zannone

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

44 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 language	English
Title of host publication	Coordination Models and Languages
Subtitle of host publication	10th International Conference, Coordination'08, Oslo, Norway, June 4-6, 2008, Proceedings
Editors	D. Lea, G. Zavattaro
Place of Publication	Berlin
Publisher	Springer
Chapter	16
Pages	249-263
Number of pages	15
ISBN (Electronic)	978-3-540-68265-3
ISBN (Print)	978-3-540-68264-6
DOIs	https://doi.org/10.1007/978-3-540-68265-3_16
Publication status	Published - 2008

Publication series

Name	Lecture Notes in Computer Science (LNCS)
Volume	5052
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/978-3-540-68265-3_16

Cite this

Prandi, D., Quaglia, P., & Zannone, N. (2008). Formal analysis of BPMN via a translation into COWS. In D. Lea, & G. Zavattaro (Eds.), Coordination Models and Languages: 10th International Conference, Coordination'08, Oslo, Norway, June 4-6, 2008, Proceedings (pp. 249-263). (Lecture Notes in Computer Science (LNCS); Vol. 5052). Springer. https://doi.org/10.1007/978-3-540-68265-3_16

@inproceedings{68b847230596493693fad8675afefe3d,

title = "Formal analysis of BPMN via a translation into COWS",

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.",

author = "D. Prandi and P. Quaglia and N. Zannone",

year = "2008",

doi = "10.1007/978-3-540-68265-3_16",

language = "English",

isbn = "978-3-540-68264-6",

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "Springer",

pages = "249--263",

editor = "D. Lea and G. Zavattaro",

booktitle = "Coordination Models and Languages",

address = "Germany",

}

Prandi, D, Quaglia, P & Zannone, N 2008, Formal analysis of BPMN via a translation into COWS. in D Lea & G Zavattaro (eds), Coordination Models and Languages: 10th International Conference, Coordination'08, Oslo, Norway, June 4-6, 2008, Proceedings. Lecture Notes in Computer Science (LNCS), vol. 5052, Springer, Berlin, pp. 249-263. https://doi.org/10.1007/978-3-540-68265-3_16

Formal analysis of BPMN via a translation into COWS. / Prandi, D.; Quaglia, P.; Zannone, N.
Coordination Models and Languages: 10th International Conference, Coordination'08, Oslo, Norway, June 4-6, 2008, Proceedings. ed. / D. Lea; G. Zavattaro. Berlin: Springer, 2008. p. 249-263 (Lecture Notes in Computer Science (LNCS); Vol. 5052).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Formal analysis of BPMN via a translation into COWS

AU - Prandi, D.

AU - Quaglia, P.

AU - Zannone, N.

PY - 2008

Y1 - 2008

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-540-68265-3_16

DO - 10.1007/978-3-540-68265-3_16

M3 - Conference contribution

SN - 978-3-540-68264-6

T3 - Lecture Notes in Computer Science (LNCS)

SP - 249

EP - 263

BT - Coordination Models and Languages

A2 - Lea, D.

A2 - Zavattaro, G.

PB - Springer

CY - Berlin

ER -

Formal analysis of BPMN via a translation into COWS

Abstract

Publication series

Access to Document

Fingerprint

Cite this