Journal article icon

Journal article

Property Specifications for Workflow Modelling

Abstract:

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

Actions


Access Document


Publisher copy:
10.1016/j.scico.2010.09.007

Authors


Peter Y.H. Wong More by this author
More by this author
Institution:
University of Oxford
Department:
Mathematical, Physical and Life Sciences Division - Department of Computer Science
Journal:
Science of Computer Programming
Publication date:
2010
DOI:
URN:
uuid:de60200f-2216-45b0-9fe3-a7ce2b434b75
Local pid:
cs:3104

Terms of use


Metrics



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

TO TOP