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 col...
| Príomhchruthaitheoirí: | , |
|---|---|
| Formáid: | Conference item |
| Foilsithe / Cruthaithe: |
2008
|