Conference item icon

Conference item

A Process Semantics for BPMN

Abstract:
Business Process Modelling Notation (BPMN), developed by the Business Process Management Initiative (BPMI), intends to bridge the gap between business process design and implementation. However, the specification of the notation does not include a formal semantics. This paper shows how a subset of the BPMN can be given a process semantics in Communicating Sequential Processes. Such a semantics allows developers to formally analyse and compare BPMN diagrams. A realistic example of a complex business process is included.

Actions


Access Document


Files:

Authors


Peter Wong More by this author
More by this author
Institution:
University of Oxford
Department:
Mathematical, Physical and Life Sciences Division - Department of Computer Science
Publisher:
Kitakyushu‚ Japan
Publication date:
2008-09-01
URN:
uuid:29fd8042-19a8-4177-b648-fef9874d1da3
Local pid:
cs:75

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