Variability in business processes: Automatically obtaining a generic specification

作者：

Highlights：

• Automatically derive declarative variability rules from business process variants.

• Behavioral relations from different process variants are combined and integrated.

• The rules allow any variant in the design space defined by the input variants.

• The rules can be used to automatically verify the compliance of a process variant.

摘要

•Automatically derive declarative variability rules from business process variants.•Behavioral relations from different process variants are combined and integrated.•The rules allow any variant in the design space defined by the input variants.•The rules can be used to automatically verify the compliance of a process variant.

论文关键词：Business process model,Declarative variability modeling,Event structure,Temporal logic

论文评审过程：Received 24 January 2018, Revised 17 August 2018, Accepted 26 September 2018, Available online 3 October 2018, Version of Record 10 October 2018.

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