Process time patterns: A formal foundation

作者：

Highlights：

• A formal semantics for process time patterns based on execution traces is presented.

• The defined semantics is independent of any process modeling language or paradigm.

• Implementation of the time patterns based on the formal semantics.

摘要

Highlights•A formal semantics for process time patterns based on execution traces is presented.•The defined semantics is independent of any process modeling language or paradigm.•Implementation of the time patterns based on the formal semantics.

论文关键词：Process-aware Information System,Workflow Patterns,Process Time Patterns,Temporal Perspective,Temporal Constraints,Formal Semantics

论文评审过程：Received 24 July 2015, Revised 24 August 2015, Accepted 6 October 2015, Available online 13 November 2015, Version of Record 18 December 2015.

论文官网地址：https://doi.org/10.1016/j.is.2015.10.002