Verifying Business Process Compatibility
- 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.
- Host title:
- Proceedings of 8th International Conference on Quality Software.
- Publication date:
- Local pid:
- Deposit date:
- Copyright date: