Inducing declarative logic-based models from labeled traces

Authors:
Evelina Lamma;Paola Mello;Marco Montali;Fabrizio Riguzzi;Sergio Storari
Affiliations:
ENDIF, Università di Ferrara, Ferrara, Italy;DEIS, Università di Bologna, Bologna, Italy;DEIS, Università di Bologna, Bologna, Italy;ENDIF, Università di Ferrara, Ferrara, Italy;ENDIF, Università di Ferrara, Ferrara, Italy
Venue:
BPM'07 Proceedings of the 5th international conference on Business process management
Year:
2007

Citing 11
Cited 9

Mining Process Models from Workflow Logs

EDBT '98 Proceedings of the 6th International Conference on Extending Database Technology: Advances in Database Technology
Inductive Constraint Logic

ALT '95 Proceedings of the 6th International Conference on Algorithmic Learning Theory
Workflow mining: a survey of issues and approaches

Data & Knowledge Engineering
Workflow Mining: Discovering Process Models from Event Logs

IEEE Transactions on Knowledge and Data Engineering
Discovering Expressive Process Models by Clustering Log Traces

IEEE Transactions on Knowledge and Data Engineering
Verifiable agent interaction in abductive logic programming: The SCIFF framework

ACM Transactions on Computational Logic (TOCL)
Applying inductive logic programming to process mining

ILP'07 Proceedings of the 17th international conference on Inductive logic programming
Towards formal verification of web service composition

BPM'06 Proceedings of the 4th international conference on Business Process Management
A declarative approach for flexible business processes management

BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
DecSerFlow: towards a truly declarative service flow language

WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Computational logic for run-time verification of web services choreographies: exploiting the SOCS-SI tool

WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods

Process-Aware Information Systems: Lessons to Be Learned from Process Mining

Transactions on Petri Nets and Other Models of Concurrency II
Exploiting Inductive Logic Programming Techniques for Declarative Process Mining

Transactions on Petri Nets and Other Models of Concurrency II
Declarative specification and verification of service choreographiess

ACM Transactions on the Web (TWEB)
On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework

Multiagent and Grid Systems
Probabilistic declarative process mining

KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
A multi-dimensional quality assessment of state-of-the-art process discovery algorithms using real-life event logs

Information Systems
Improved artificial negative event generation to enhance process event logs

CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Efficient discovery of understandable declarative process models from event logs

CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Patterns for a log-based strengthening of declarative compliance models

IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this work we propose an approach for the automatic discoveryof logic-based models starting from a set of process executiontraces. The approach is based on a modified Inductive Logic Programmingalgorithm, capable of learning a set of declarative rules. The advantage of using a declarative description is twofold. First, theprocess is represented in an intuitive and easily readable way; second,a family of proof procedures associated to the chosen language can beused to support the monitoring and management of processes (conformancetesting, properties verification and interoperability checking, inparticular). The approach consists in first learning integrity constraints expressedas logical formulas and then translating them into a declarative graphicallanguage named DecSerFlow. We demonstrate the viability of the approach by applying it to a realdataset from a health case process and to an artificial dataset from ane-commerce protocol.