How to guarantee compliance between workflows and product lifecycles?

作者：

Highlights：

• A method is proposed to solve compliance between workflows and object-versioning lifecycles in product lifecycle management systems.

• The method is formally shown to be correct.

• The method is implemented as open source software.

• The approach has been validated in practice through the use of real-life models and interviews with domain experts.

摘要

Highlights•A method is proposed to solve compliance between workflows and object-versioning lifecycles in product lifecycle management systems.•The method is formally shown to be correct.•The method is implemented as open source software.•The approach has been validated in practice through the use of real-life models and interviews with domain experts.

论文关键词：Product lifecycle management,Workflow management,Verification,Process model,Compliance

论文评审过程：Received 3 June 2011, Revised 14 November 2013, Accepted 15 January 2014, Available online 23 January 2014.

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