Property Specifications for Workflow Modelling
Previously we provided two formal behavioural semantics for Business Process Modelling Notation (BPMN) in the process algebra CSP. By exploiting CSP's refinement orderings, developers may formally compare their BPMN models. However, BPMN is not a specification language, and it is difficult and...
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
2009
|