Formal Analysis of BPMN Via a Translation Into COWS

Download Now
Provided by: University of Toledo
Topic: Big Data
Format: PDF
A challenging question for organizations is how to create strong, yet flexible, business processes. Business Process Management is emerging as a means for understanding the activities that organizations can perform to optimize their business processes or to adapt them to new organizational needs .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 behavior of business processes. An example of such reasoning is shown by running the PRISM probabilistic model checker on a case study.
Download Now

Find By Topic