Journal article icon

Journal article

A Relative Timed Semantics for BPMN

Abstract:

We describe a relative-timed semantic model for Business Process Modelling Notation (BPMN). We define the semantics in the language of Communicating Sequential Processes (CSP). This model augments our untimed model by introducing the notion of relative time in the form of delays chosen non-deterministically from a range. We illustrate the application by an example. We also show some properties relating the timed semantics and BPMN's untimed process semantics by exploiting CSP refinement. Our ...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Publisher's version

Actions


Access Document


Files:
Publisher copy:
10.1016/j.entcs.2009.06.029

Authors


Gibbons, J More by this author
More by this author
Institution:
University of Oxford
Department:
Mathematical,Physical and Life Sciences Division - Computer Science,Department of
More by this author
Institution:
University of Oxford
Department:
Mathematical,Physical and Life Sciences Division - Computer Science,Department of
Publisher:
Elsevier B.V. Publisher's website
Journal:
Electronic Notes in Theoretical Computer Science Journal website
Volume:
229
Issue:
2
Pages:
59-75
Publication date:
2009-07-21
DOI:
ISSN:
1571-0661
URN:
uuid:956fbdef-87f7-4806-b900-70fb8ca37536
Source identifiers:
163504
Local pid:
pubs:163504

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