A Relative Timed Semantics for BPMN

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-determini...

Deskribapen osoa

Xehetasun bibliografikoak
Egile Nagusiak: Wong, P, Gibbons, J
Formatua: Conference item
Argitaratua: 2008