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.
Titolo: | Formal Analysis of BPMN Via a Translation into COWS | |
Autori: | Prandi, Davide; Quaglia, Paola; N., Zannone | |
Autori Unitn: | ||
Titolo del volume contenente il saggio: | Proc. 10th International Conference on Coordination Models and Languages, COORDINATION 2008, Oslo, Norway, June 4-6, 2008 | |
Luogo di edizione: | Berlin | |
Casa editrice: | Springer | |
Anno di pubblicazione: | 2008 | |
Handle: | http://hdl.handle.net/11572/94768 | |
Appare nelle tipologie: | 04.1 Saggio in atti di convegno (Paper in proceedings) |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione