Conference item icon

Conference item

Property Specifications for Workflow Modelling

Abstract:

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 sometimes impossible to construct behavioural properties against which BPMN models may be verified. This paper considers a pattern-based approach for capturing these behavioural properties. We describe ...

Expand abstract

Actions


Access Document


Publisher copy:
10.1007/978-3-642-00255-7_5

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
Host title:
Proceedings of 7th International Conference on Integrated Formal Methods
Volume:
5423
Publication date:
2009-02-01
DOI:
UUID:
uuid:f5c0d0ff-4031-47b2-be9d-bd65848efb6c
Local pid:
cs:70
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