Formal Analysis of BPMN Models Using Event-B

  title={Formal Analysis of BPMN Models Using Event-B},
  author={Jeremy Bryans and Wei Wei},
The use of business process models has gone far beyond documentation purposes. In the development of business applications, they can play the role of an artifact on which high level properties can be verified and design errors can be revealed in an effort to reduce overhead at later software development and diagnosis stages. This paper demonstrates how formal verification may add value to the specification, design and development of business process models in an industrial setting. The analysis… CONTINUE READING
Highly Cited
This paper has 17 citations. REVIEW CITATIONS
12 Citations
20 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 12 extracted citations


Publications referenced by this paper.
Showing 1-10 of 20 references

Handbook of database technology, chapter BPMN Core Modeling Concepts

  • E. Börger, O. Sörensen
  • Inheritance-Based Execution Semantics. Springer,
  • 2010
1 Excerpt

A process semantics for BPMN A relative timed semantics for BPMN

  • L. Wen, W. Song
  • Electronic Notes in Theoretical Computer Science
  • 2009

Design patterns in Event-B and their tool support

  • A. Fürst
  • Master’s thesis, ETH Zürich,
  • 2009
1 Excerpt

Similar Papers

Loading similar papers…