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 use it to construct behavioural properties against which BPMN models may be verified. This paper considers a pattern-based approach to expressing behavioural properties. We descr...

Expand abstract
Publication status:
Published

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
Volume:
5423
Pages:
56-71
Host title:
INTEGRATED FORMAL METHODS, PROCEEDINGS
Publication date:
2009-01-01
DOI:
EISSN:
1611-3349
ISSN:
0302-9743
Source identifiers:
163469
ISBN:
9783642002540
Pubs id:
pubs:163469
UUID:
uuid:ab47875a-e2a8-4081-861d-501d837f556c
Local pid:
pubs:163469
Deposit date:
2012-12-19

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