Verifying Business Process Compatibility
Peter Y.H. Wong and Jeremy Gibbons
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.
Proceedings of 8th International Conference on Quality Software.
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
IEEE Computer Society