A Relative Timed Semantics for BPMN

Provided by: researchgate.net
Topic: Big Data
Format: PDF
The authors describe a relative-timed semantic model for Business Process Modeling Notation (BPMN). They define the semantics in the language of Communicating Sequential Processes (CSP). This model augments their earlier untimed process semantics by introducing the notion of relative-time in the form of delays and durations over non-deterministic ranges. By using CSP as the semantic domain, they show some properties relating the timed semantics and BPMN's untimed process semantics based on existing refinement orderings defined upon CSP.

Find By Topic