Exploiting Inductive Logic Programming Techniques for Declarative Process Mining View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2009

AUTHORS

Federico Chesani , Evelina Lamma , Paola Mello , Marco Montali , Fabrizio Riguzzi , Sergio Storari

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. More... »

PAGES

278-295

Book

TITLE

Transactions on Petri Nets and Other Models of Concurrency II

ISBN

978-3-642-00898-6
978-3-642-00899-3

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-642-00899-3_16

DOI

http://dx.doi.org/10.1007/978-3-642-00899-3_16

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1025147348


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0803", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computer Software", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "DEIS, Universit\u00e0 di Bologna, viale Risorgimento, 2, 40136, Bologna, Italy", 
          "id": "http://www.grid.ac/institutes/grid.6292.f", 
          "name": [
            "DEIS, Universit\u00e0 di Bologna, viale Risorgimento, 2, 40136, Bologna, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Chesani", 
        "givenName": "Federico", 
        "id": "sg:person.07367613071.23", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07367613071.23"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "ENDIF, Universit\u00e0 di Ferrara, Via Saragat, 1, 44100, Ferrara, Italy", 
          "id": "http://www.grid.ac/institutes/grid.8484.0", 
          "name": [
            "ENDIF, Universit\u00e0 di Ferrara, Via Saragat, 1, 44100, Ferrara, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Lamma", 
        "givenName": "Evelina", 
        "id": "sg:person.0644761737.60", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0644761737.60"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "DEIS, Universit\u00e0 di Bologna, viale Risorgimento, 2, 40136, Bologna, Italy", 
          "id": "http://www.grid.ac/institutes/grid.6292.f", 
          "name": [
            "DEIS, Universit\u00e0 di Bologna, viale Risorgimento, 2, 40136, Bologna, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Mello", 
        "givenName": "Paola", 
        "id": "sg:person.010067273541.70", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010067273541.70"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "DEIS, Universit\u00e0 di Bologna, viale Risorgimento, 2, 40136, Bologna, Italy", 
          "id": "http://www.grid.ac/institutes/grid.6292.f", 
          "name": [
            "DEIS, Universit\u00e0 di Bologna, viale Risorgimento, 2, 40136, Bologna, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Montali", 
        "givenName": "Marco", 
        "id": "sg:person.012257615141.02", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012257615141.02"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "ENDIF, Universit\u00e0 di Ferrara, Via Saragat, 1, 44100, Ferrara, Italy", 
          "id": "http://www.grid.ac/institutes/grid.8484.0", 
          "name": [
            "ENDIF, Universit\u00e0 di Ferrara, Via Saragat, 1, 44100, Ferrara, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Riguzzi", 
        "givenName": "Fabrizio", 
        "id": "sg:person.016605455633.97", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016605455633.97"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "ENDIF, Universit\u00e0 di Ferrara, Via Saragat, 1, 44100, Ferrara, Italy", 
          "id": "http://www.grid.ac/institutes/grid.8484.0", 
          "name": [
            "ENDIF, Universit\u00e0 di Ferrara, Via Saragat, 1, 44100, Ferrara, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Storari", 
        "givenName": "Sergio", 
        "id": "sg:person.012355515071.40", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012355515071.40"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2009", 
    "datePublishedReg": "2009-01-01", 
    "description": "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.", 
    "editor": [
      {
        "familyName": "Jensen", 
        "givenName": "Kurt", 
        "type": "Person"
      }, 
      {
        "familyName": "van der Aalst", 
        "givenName": "Wil M. P.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-642-00899-3_16", 
    "inLanguage": "en", 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-642-00898-6", 
        "978-3-642-00899-3"
      ], 
      "name": "Transactions on Petri Nets and Other Models of Concurrency II", 
      "type": "Book"
    }, 
    "keywords": [
      "inductive logic programming techniques", 
      "logic programming techniques", 
      "programming techniques", 
      "logic-based approach", 
      "human understandable way", 
      "Declarative Process Mining", 
      "declarative description", 
      "declarative specification", 
      "mining framework", 
      "process mining", 
      "declarative paradigm", 
      "business processes", 
      "graphical language", 
      "learning algorithm", 
      "activity execution", 
      "open challenges", 
      "logic algorithm", 
      "concurrent activities", 
      "understandable way", 
      "process model", 
      "mine model", 
      "procedural solutions", 
      "algorithm", 
      "language", 
      "paradigm", 
      "mining", 
      "execution", 
      "notation", 
      "specification", 
      "technique", 
      "constraints", 
      "framework", 
      "model", 
      "adoption", 
      "effectiveness", 
      "version", 
      "modeling", 
      "challenges", 
      "example", 
      "solution", 
      "way", 
      "description", 
      "interest", 
      "process", 
      "means", 
      "ability", 
      "PROM", 
      "years", 
      "activity", 
      "approach", 
      "paper", 
      "problem", 
      "specific procedural solution", 
      "such declarative descriptions", 
      "Inductive Constraint Logic algorithm", 
      "Constraint Logic algorithm", 
      "ConDec notation", 
      "DecMiner"
    ], 
    "name": "Exploiting Inductive Logic Programming Techniques for Declarative Process Mining", 
    "pagination": "278-295", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1025147348"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-642-00899-3_16"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-642-00899-3_16", 
      "https://app.dimensions.ai/details/publication/pub.1025147348"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2021-11-01T18:58", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20211101/entities/gbq_results/chapter/chapter_365.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-642-00899-3_16"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-00899-3_16'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-00899-3_16'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-00899-3_16'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-00899-3_16'


 

This table displays all metadata directly associated to this object as RDF triples.

161 TRIPLES      23 PREDICATES      84 URIs      77 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-642-00899-3_16 schema:about anzsrc-for:08
2 anzsrc-for:0803
3 schema:author N69206e2d215f433bace60a76f4c8c99a
4 schema:datePublished 2009
5 schema:datePublishedReg 2009-01-01
6 schema:description 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.
7 schema:editor N94cd4a26919f4d48b6c740e41e69d7f0
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree true
11 schema:isPartOf N23cd34ff53d54af9ba037787e807afed
12 schema:keywords ConDec notation
13 Constraint Logic algorithm
14 DecMiner
15 Declarative Process Mining
16 Inductive Constraint Logic algorithm
17 PROM
18 ability
19 activity
20 activity execution
21 adoption
22 algorithm
23 approach
24 business processes
25 challenges
26 concurrent activities
27 constraints
28 declarative description
29 declarative paradigm
30 declarative specification
31 description
32 effectiveness
33 example
34 execution
35 framework
36 graphical language
37 human understandable way
38 inductive logic programming techniques
39 interest
40 language
41 learning algorithm
42 logic algorithm
43 logic programming techniques
44 logic-based approach
45 means
46 mine model
47 mining
48 mining framework
49 model
50 modeling
51 notation
52 open challenges
53 paper
54 paradigm
55 problem
56 procedural solutions
57 process
58 process mining
59 process model
60 programming techniques
61 solution
62 specific procedural solution
63 specification
64 such declarative descriptions
65 technique
66 understandable way
67 version
68 way
69 years
70 schema:name Exploiting Inductive Logic Programming Techniques for Declarative Process Mining
71 schema:pagination 278-295
72 schema:productId N0ed3e612dad04597ab61214ec2fbced2
73 N12e20858c2af409eb4b9d880440d9fb5
74 schema:publisher Ne40e312614734a6a959ea09d06fcbf7d
75 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025147348
76 https://doi.org/10.1007/978-3-642-00899-3_16
77 schema:sdDatePublished 2021-11-01T18:58
78 schema:sdLicense https://scigraph.springernature.com/explorer/license/
79 schema:sdPublisher Ne811537c7f8a463a9e84af1dc0ffcdd5
80 schema:url https://doi.org/10.1007/978-3-642-00899-3_16
81 sgo:license sg:explorer/license/
82 sgo:sdDataset chapters
83 rdf:type schema:Chapter
84 N0ed3e612dad04597ab61214ec2fbced2 schema:name doi
85 schema:value 10.1007/978-3-642-00899-3_16
86 rdf:type schema:PropertyValue
87 N1153aa16d46f4709be0da0933746cb05 rdf:first sg:person.016605455633.97
88 rdf:rest Nd8fc8db082ec4ffa81c42fd34103af29
89 N12e20858c2af409eb4b9d880440d9fb5 schema:name dimensions_id
90 schema:value pub.1025147348
91 rdf:type schema:PropertyValue
92 N23cd34ff53d54af9ba037787e807afed schema:isbn 978-3-642-00898-6
93 978-3-642-00899-3
94 schema:name Transactions on Petri Nets and Other Models of Concurrency II
95 rdf:type schema:Book
96 N3c5140ae3a50403991fad0e317408f5a rdf:first sg:person.0644761737.60
97 rdf:rest N40a5db62c64e421b814fb8a72889e2a5
98 N40a5db62c64e421b814fb8a72889e2a5 rdf:first sg:person.010067273541.70
99 rdf:rest Nabf15b38ecd643bba46bfca1c64e0063
100 N612dd66c5ca74c96b948055eb5fb6df0 rdf:first N802d6955fb8d49a79c6560a1d92ad69b
101 rdf:rest rdf:nil
102 N69206e2d215f433bace60a76f4c8c99a rdf:first sg:person.07367613071.23
103 rdf:rest N3c5140ae3a50403991fad0e317408f5a
104 N802d6955fb8d49a79c6560a1d92ad69b schema:familyName van der Aalst
105 schema:givenName Wil M. P.
106 rdf:type schema:Person
107 N94cd4a26919f4d48b6c740e41e69d7f0 rdf:first Nc4919214de0f4651b3250a6627690c34
108 rdf:rest N612dd66c5ca74c96b948055eb5fb6df0
109 Nabf15b38ecd643bba46bfca1c64e0063 rdf:first sg:person.012257615141.02
110 rdf:rest N1153aa16d46f4709be0da0933746cb05
111 Nc4919214de0f4651b3250a6627690c34 schema:familyName Jensen
112 schema:givenName Kurt
113 rdf:type schema:Person
114 Nd8fc8db082ec4ffa81c42fd34103af29 rdf:first sg:person.012355515071.40
115 rdf:rest rdf:nil
116 Ne40e312614734a6a959ea09d06fcbf7d schema:name Springer Nature
117 rdf:type schema:Organisation
118 Ne811537c7f8a463a9e84af1dc0ffcdd5 schema:name Springer Nature - SN SciGraph project
119 rdf:type schema:Organization
120 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
121 schema:name Information and Computing Sciences
122 rdf:type schema:DefinedTerm
123 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
124 schema:name Computer Software
125 rdf:type schema:DefinedTerm
126 sg:person.010067273541.70 schema:affiliation grid-institutes:grid.6292.f
127 schema:familyName Mello
128 schema:givenName Paola
129 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010067273541.70
130 rdf:type schema:Person
131 sg:person.012257615141.02 schema:affiliation grid-institutes:grid.6292.f
132 schema:familyName Montali
133 schema:givenName Marco
134 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012257615141.02
135 rdf:type schema:Person
136 sg:person.012355515071.40 schema:affiliation grid-institutes:grid.8484.0
137 schema:familyName Storari
138 schema:givenName Sergio
139 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012355515071.40
140 rdf:type schema:Person
141 sg:person.016605455633.97 schema:affiliation grid-institutes:grid.8484.0
142 schema:familyName Riguzzi
143 schema:givenName Fabrizio
144 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016605455633.97
145 rdf:type schema:Person
146 sg:person.0644761737.60 schema:affiliation grid-institutes:grid.8484.0
147 schema:familyName Lamma
148 schema:givenName Evelina
149 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0644761737.60
150 rdf:type schema:Person
151 sg:person.07367613071.23 schema:affiliation grid-institutes:grid.6292.f
152 schema:familyName Chesani
153 schema:givenName Federico
154 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07367613071.23
155 rdf:type schema:Person
156 grid-institutes:grid.6292.f schema:alternateName DEIS, Università di Bologna, viale Risorgimento, 2, 40136, Bologna, Italy
157 schema:name DEIS, Università di Bologna, viale Risorgimento, 2, 40136, Bologna, Italy
158 rdf:type schema:Organization
159 grid-institutes:grid.8484.0 schema:alternateName ENDIF, Università di Ferrara, Via Saragat, 1, 44100, Ferrara, Italy
160 schema:name ENDIF, Università di Ferrara, Via Saragat, 1, 44100, Ferrara, Italy
161 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...