Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

31

COORDINATION
2008
Springer

favoriteEmaildiscussreport

111views Distributed And Parallel Com...» more COORDINATION 2008»

Formal Analysis of BPMN Via a Translation into COWS

14 years 1 months ago

Formal Analysis of BPMN Via a Translation into COWS

Download security1.win.tue.nl

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.

Davide Prandi, Paola Quaglia, Nicola Zannone

Real-time Traffic

Business Process Modeling Notation | COORDINATION 2008 | Distributed And Parallel Computing | PRISM Probabilistic Model | Quantitative Reasoning |

claim paper

Related Content

» Analysis of KeyExchange Protocols and Their Use for Building Secure Channels

» Towards Reconciling Use Cases via Controlled Language and Graphical Models

» Schedulability Analysis of MSCbased System Models

» PolyAML a polymorphic aspectoriented functional programming language

Post Info
More Details (n/a)

Added	18 Oct 2010
Updated	18 Oct 2010
Type	Conference
Year	2008
Where	COORDINATION
Authors	Davide Prandi, Paola Quaglia, Nicola Zannone

Comments (0)