A Relative Timed Semantics for BPMN

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.

Provided by: researchgate.net Topic: Big Data Date Added: Jan 2013 Format: PDF

Find By Topic