Process-centric views of data-driven business artifacts

作者：

Highlights：

• Linear-time process views of artifact systems are effectively regular.

• Branching-time process views of globally feedback-free artifact systems are effectively regular.

• Model-checking branching-time properties of globally feedback-free artifact systems is decidable.

• Database dependencies have an impact on the regularity of linear and branching-time process views.

摘要

•Linear-time process views of artifact systems are effectively regular.•Branching-time process views of globally feedback-free artifact systems are effectively regular.•Model-checking branching-time properties of globally feedback-free artifact systems is decidable.•Database dependencies have an impact on the regularity of linear and branching-time process views.

论文关键词：Workflows,Data-aware,Process-centric,Views

论文评审过程：Received 16 October 2015, Revised 24 June 2016, Accepted 21 November 2016, Available online 16 January 2017, Version of Record 27 February 2017.

论文官网地址：https://doi.org/10.1016/j.jcss.2016.11.012