Property specifications for workflow modelling

Journal article

Previously we provided two formal behavioural semantics for the 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 sometimes impossible to use it to construct behavioural properties against which other BPMN models may be verified. This paper considers a pattern-based approach to expressing behavioural properties...

Expand abstract

Authors: Wong, P; Gibbons, J

• Publication status: Published
• Journal: SCIENCE OF COMPUTER PROGRAMMING
• Volume: 76
• Issue: 10
• Pages: 942-967
• Publication date: 2011-10-01
• DOI: 10.1016/j.scico.2010.09.007
• ISSN: 0167-6423
• Language: English
• Keywords: CSP; Workflow specification; Property specification patterns; Workflow verification; Compatibility; Linear temporal logic