Formal Analysis of BPMN Models Using Event-B

Provided by: Newcastle University
Topic: Big Data
Format: PDF
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.

Find By Topic