Controlled violation of temporal process constraints – Models, algorithms and results
作者：
Highlights：
• First, we develop and illustrate a new approach to temporal workflow consistency.
• Second, we introduce the notion of controlled violations of temporal constraints.
• Third, we relate our work to earlier work on controllability.
• Fourth, we discuss correctness and completeness aspects of our approach.
• Finally, we describe a spread-sheet based implementation of our approach.
摘要
•First, we develop and illustrate a new approach to temporal workflow consistency.•Second, we introduce the notion of controlled violations of temporal constraints.•Third, we relate our work to earlier work on controllability.•Fourth, we discuss correctness and completeness aspects of our approach.•Finally, we describe a spread-sheet based implementation of our approach.
论文关键词：Process management,Temporal workflow model,Constraint violation
论文评审过程：Received 13 November 2015, Revised 23 May 2016, Accepted 7 June 2016, Available online 14 June 2016, Version of Record 20 December 2016.
论文官网地址：https://doi.org/10.1016/j.is.2016.06.003
