Do activity lifecycles affect the validity of a business rule in a business process?

作者：

Highlights：

• We present an approach to discover declarative specifications from logs.

• The approach has a strong focus on activity lifecycles.

• The lifecycle identification can be FIFO-based or event correlation based.

• The approach is implemented as a ProM plug-in.

• The approach has been validated on synthetic logs and on a real-life log.

摘要

Highlights•We present an approach to discover declarative specifications from logs.•The approach has a strong focus on activity lifecycles.•The lifecycle identification can be FIFO-based or event correlation based.•The approach is implemented as a ProM plug-in.•The approach has been validated on synthetic logs and on a real-life log.

论文关键词：Process discovery,Rule mining,Discriminative mining,Non-atomic activities,Activity lifecycle,Linear temporal logic

论文评审过程：Received 9 March 2016, Accepted 6 June 2016, Available online 11 June 2016, Version of Record 30 June 2016.

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