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. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1007/978-3-540-68265-3_16 | COORDINATION |
Keywords | Field | DocType |
business process,business process modeling notation,prism probabilistic model checker,formal analysis,case study,quantitative reasoning,stochastic extension,probabilistic model,process calculus | Software engineering,Business process,Computer science,Knowledge management,Theoretical computer science,Statistical model,Business process modeling,Process calculus,Business Process Model and Notation,Business rule,Qualitative reasoning | Conference |
Volume | ISSN | ISBN |
5052 | 0302-9743 | 3-540-68264-3 |
Citations | PageRank | References |
20 | 1.00 | 16 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Davide Prandi | 1 | 136 | 9.00 |
Paola Quaglia | 2 | 356 | 27.06 |
Nicola Zannone | 3 | 1078 | 80.64 |