Skip to main content

Verifying Business Process Compatibility

Peter Y.H. Wong and Jeremy Gibbons

Abstract

We describe a process-algebraic approach to verifying process interactions for business collaboration described in Business Process Modelling Notation. We first overview our process semantics for BPMN in the language of Communicating Sequential Processes; we then use a simple example of business collaboration to demonstrate how our semantic model may be used to verify compatibility between business participants in a collaboration, and we also discuss some theoretical results.

Book Title
Proceedings of 8th International Conference on Quality Software.
Month
August
Note
Preliminary versions were presented at 3rd International Workshop on Methods and Tools for Coordinating Concurrent‚ Distributed and Mobile Systems and 2nd European Young Researchers Workshop on Service Oriented Computing‚ June 2007
Pages
126−131
Publisher
IEEE Computer Society
Year
2008