Conference item icon

Conference item

Verifying Business Process Compatibility

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.

Actions


Access Document


Files:
Publisher copy:
10.1109/QSIC.2008.6

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
Publisher:
IEEE
Host title:
Proceedings of 8th International Conference on Quality Software.
Publication date:
2008-08-01
DOI:
UUID:
uuid:a53f1238-9a55-442b-9f25-9ec5846d9df0
Local pid:
cs:454
Deposit date:
2015-03-12

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP