%A Jeremy Bryans
%A Wei Wei 
%T Formal Analysis of BPMN Models using Event-B
%X   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 of these models is achieved via
  an algorithmic translation from the de-facto standard business
  process modeling language BPMN to Event-B, a widely used formal
  language supported by the Rodin platform which offers a range of
  simulation and verification technologies.
%D 2010
%L deploy237

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>