Abstract | ||
---|---|---|
In the last few years, there has been a growing interest in the adoption of declarative paradigms for modeling and verifying process models. These paradigms provide an abstract and human understandable way of specifying constraints that must hold among activities executions rather than focusing on a specific procedural solution. Mining such declarative descriptions is still an open challenge. In this paper, we present a logic-based approach for tackling this problem. It relies on Inductive Logic Programming techniques and, in particular, on a modified version of the Inductive Constraint Logic algorithm. We investigate how, by properly tuning the learning algorithm, the approach can be adopted to mine models expressed in the ConDec notation, a graphical language for the declarative specification of business processes. Then, we sketch how such a mining framework has been concretely implemented as a ProM plug-in called DecMiner. We finally discuss the effectiveness of the approach by means of an example which shows the ability of the language to model concurrent activities and of DecMiner to learn such a model. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1007/978-3-642-00899-3_16 | T. Petri Nets and Other Models of Concurrency |
Keywords | Field | DocType |
declarative process mining,mining framework,logic-based approach,declarative paradigm,declarative specification,declarative description,inductive logic programming technique,exploiting inductive logic programming,inductive constraint logic algorithm,verifying process model,activities execution,graphical language,process mining | Inductive logic programming,Fifth-generation programming language,Notation,Programming language,Business process,Computer science,Inductive programming,Process modeling,Artificial intelligence,Constraint logic programming,Process mining | Journal |
Volume | ISSN | Citations |
2 | 0302-9743 | 52 |
PageRank | References | Authors |
1.64 | 20 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
federico chesani | 1 | 801 | 46.41 |
Evelina Lamma | 2 | 1268 | 109.21 |
Paola Mello | 3 | 444 | 21.33 |
Marco Montali | 4 | 1280 | 99.36 |
Fabrizio Riguzzi | 5 | 799 | 67.94 |
Sergio Storari | 6 | 300 | 18.30 |