Journal article icon

Journal article

Formalisations and Applications of BPMN

Abstract:

We present two formalisations of the Business Process Modelling Notation (BPMN). In particular, we introduce a semantic model for BPMN in the process algebra CSP; we then study an augmentation of this model in which we introduce relative timing information, allowing one to specify timing constraints on concurrent activities. By exploiting CSP refinement, we are able to show some relationships between the timed and the untimed models. We then describe a novel empirical studies model, and the t...

Expand abstract

Actions


Access Document


Files:
Publisher copy:
10.1016/j.scico.2009.09.010

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
Volume:
76
Pages:
633-650
Publication date:
2011
DOI:
URN:
uuid:c3786ec9-549b-4f2b-a087-4e061f1d1311
Local pid:
cs:2861

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