Verifying compliance in process choreographies: Foundations, algorithms, and implementation

作者：

Highlights：

• Decomposition enables decentralized checking of global compliance rules.

• Global compliance decomposition avoids trust in a central coordinator with knowledge on private tasks.

• Global compliance decomposition improves privacy of partner private processes.

• Global Compliance decomposition reduces compliance-related partner communication.

• Proof-of-concept and practical applications.

摘要

•Decomposition enables decentralized checking of global compliance rules.•Global compliance decomposition avoids trust in a central coordinator with knowledge on private tasks.•Global compliance decomposition improves privacy of partner private processes.•Global Compliance decomposition reduces compliance-related partner communication.•Proof-of-concept and practical applications.

论文关键词：Distributed business processes,Business rules,Compliance management,Process choreography,Business process compliance,Global compliance rules,Rule decomposition

论文评审过程：Received 1 April 2021, Revised 24 December 2021, Accepted 6 January 2022, Available online 11 January 2022, Version of Record 12 May 2022.

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