Thesis icon

Thesis

Formalisations and applications of business process modelling notation

Abstract:

Business Process Modelling Notation (BPMN) is a standardised diagram notation for modelling interactive workflow processes graphically at the design stage. The primary objective of this thesis is to provide a framework for precise specifications and formal verifications of workflow processes modelled as BPMN diagrams. We provide two behavioural semantics for BPMN in the process algebra Communicating Sequential Processes (CSP). We apply existing CSP refinement orderings to both the refineme...

Expand abstract

Actions


Access Document


Files:

Authors


More by this author
Institution:
University of Oxford
Research group:
Software Engineering
Oxford college:
Wolfson College
Department:
Mathematical,Physical & Life Sciences Division - Computer Science,Department of
Role:
Author

Contributors

Role:
Supervisor
More from this funder
Funding agency for:
Peter Yung Ho Wong
Publication date:
2011
Type of award:
DPhil
Level of award:
Doctoral
Awarding institution:
Oxford University, UK
URN:
uuid:51f0aabc-d27a-4b56-b653-b0b23d75959c
Local pid:
ora:5956

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