Analyzing Properties of Stochastic Business Processes By Model Checking

Luke Thomas Herbert, Robin Sharp

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review


This chapter presents an approach to precise formal analysis of business processes with stochastic properties. The method presented here allows for both qualitative and quantitative properties to be individually analyzed at design time without requiring a full specification. This provides an effective means to explore possible designs for a business process and to debug any flaws.
Original languageEnglish
Title of host publicationModel Checking Business Processes
PublisherAmerican Society of Mechanical Engineers
Publication date2013
Publication statusPublished - 2013
SeriesAdvances in Computational Sciences and Information in Engineering (ACIER)


Dive into the research topics of 'Analyzing Properties of Stochastic Business Processes By Model Checking'. Together they form a unique fingerprint.

Cite this