A Knowledge-Based Integrated Approach for Discovering and Repairing Declare Maps View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2013

AUTHORS

Fabrizio M. Maggi , R. P. Jagadeesh Chandra Bose , Wil M. P. van der Aalst

ABSTRACT

Process mining techniques can be used to discover process models from event data. Often the resulting models are complex due to the variability of the underlying process. Therefore, we aim at discovering declarative process models that can deal with such variability. However, for real-life event logs involving dozens of activities and hundreds or thousands of cases, there are often many potential constraints resulting in cluttered diagrams. Therefore, we propose various techniques to prune these models and remove constraints that are not interesting or implied by other constraints. Moreover, we show that domain knowledge (e.g., a reference model or grouping of activities) can be used to guide the discovery approach. The approach has been implemented in the process mining tool ProM and evaluated using an event log from a large Dutch hospital. Even in such highly variable environments, our approach can discover understandable declarative models. More... »

PAGES

433-448

References to SciGraph publications

  • 2011. Process Mining, Discovery, Conformance and Enhancement of Business Processes in NONE
  • 2012. Mining Constraints for Artful Processes in BUSINESS INFORMATION SYSTEMS
  • 2009. Exploiting Inductive Logic Programming Techniques for Declarative Process Mining in TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY II
  • 2011. The Impact of Testcases on the Maintainability of Declarative Process Models in ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING
  • 2012. Efficient Discovery of Understandable Declarative Process Models from Event Logs in ACTIVE FLOW AND COMBUSTION CONTROL 2018
  • 2003-02. Vacuity detection in temporal model checking in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2012. Imperative versus Declarative Process Modeling Languages: An Empirical Investigation in BUSINESS PROCESS MANAGEMENT WORKSHOPS
  • 1985. The glory of the past in LOGICS OF PROGRAMS
  • Book

    TITLE

    Advanced Information Systems Engineering

    ISBN

    978-3-642-38708-1
    978-3-642-38709-8

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-642-38709-8_28

    DOI

    http://dx.doi.org/10.1007/978-3-642-38709-8_28

    DIMENSIONS

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


    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/0806", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information Systems", 
            "type": "DefinedTerm"
          }, 
          {
            "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"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "Eindhoven University of Technology", 
              "id": "https://www.grid.ac/institutes/grid.6852.9", 
              "name": [
                "Eindhoven University of Technology, The Netherlands"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Maggi", 
            "givenName": "Fabrizio M.", 
            "id": "sg:person.013145177327.48", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013145177327.48"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Eindhoven University of Technology", 
              "id": "https://www.grid.ac/institutes/grid.6852.9", 
              "name": [
                "Eindhoven University of Technology, The Netherlands"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Bose", 
            "givenName": "R. P. Jagadeesh Chandra", 
            "id": "sg:person.010135437242.48", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010135437242.48"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Eindhoven University of Technology", 
              "id": "https://www.grid.ac/institutes/grid.6852.9", 
              "name": [
                "Eindhoven University of Technology, The Netherlands"
              ], 
              "type": "Organization"
            }, 
            "familyName": "van der Aalst", 
            "givenName": "Wil M. P.", 
            "id": "sg:person.014757056433.19", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014757056433.19"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/978-3-642-30359-3_2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001426179", 
              "https://doi.org/10.1007/978-3-642-30359-3_2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-19345-3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006642440", 
              "https://doi.org/10.1007/978-3-642-19345-3"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-19345-3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006642440", 
              "https://doi.org/10.1007/978-3-642-19345-3"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-21759-3_12", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007099760", 
              "https://doi.org/10.1007/978-3-642-21759-3_12"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-21759-3_12", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007099760", 
              "https://doi.org/10.1007/978-3-642-21759-3_12"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-31095-9_18", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1011418389", 
              "https://doi.org/10.1007/978-3-642-31095-9_18"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s100090100062", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021735214", 
              "https://doi.org/10.1007/s100090100062"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-00899-3_16", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025147348", 
              "https://doi.org/10.1007/978-3-642-00899-3_16"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-00899-3_16", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025147348", 
              "https://doi.org/10.1007/978-3-642-00899-3_16"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-28108-2_37", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1036379907", 
              "https://doi.org/10.1007/978-3-642-28108-2_37"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-15648-8_16", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1042959172", 
              "https://doi.org/10.1007/3-540-15648-8_16"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/sfcs.1977.32", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1086187044"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/cidm.2011.5949297", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1094177851"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2013", 
        "datePublishedReg": "2013-01-01", 
        "description": "Process mining techniques can be used to discover process models from event data. Often the resulting models are complex due to the variability of the underlying process. Therefore, we aim at discovering declarative process models that can deal with such variability. However, for real-life event logs involving dozens of activities and hundreds or thousands of cases, there are often many potential constraints resulting in cluttered diagrams. Therefore, we propose various techniques to prune these models and remove constraints that are not interesting or implied by other constraints. Moreover, we show that domain knowledge (e.g., a reference model or grouping of activities) can be used to guide the discovery approach. The approach has been implemented in the process mining tool ProM and evaluated using an event log from a large Dutch hospital. Even in such highly variable environments, our approach can discover understandable declarative models.", 
        "editor": [
          {
            "familyName": "Salinesi", 
            "givenName": "Camille", 
            "type": "Person"
          }, 
          {
            "familyName": "Norrie", 
            "givenName": "Moira C.", 
            "type": "Person"
          }, 
          {
            "familyName": "Pastor", 
            "givenName": "\u00d3scar", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-642-38709-8_28", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-642-38708-1", 
            "978-3-642-38709-8"
          ], 
          "name": "Advanced Information Systems Engineering", 
          "type": "Book"
        }, 
        "name": "A Knowledge-Based Integrated Approach for Discovering and Repairing Declare Maps", 
        "pagination": "433-448", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-642-38709-8_28"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "90ba8060fc6dcf4e5061e2009f79e3e3d9b5b669159f1c9de3cd13b3b0c90e04"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1030380776"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin, Heidelberg", 
          "name": "Springer Berlin Heidelberg", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-642-38709-8_28", 
          "https://app.dimensions.ai/details/publication/pub.1030380776"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-16T01:23", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000001_0000000264/records_8700_00000562.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/978-3-642-38709-8_28"
      }
    ]
     

    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-38709-8_28'

    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-38709-8_28'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-38709-8_28'

    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-38709-8_28'


     

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

    127 TRIPLES      23 PREDICATES      37 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-642-38709-8_28 schema:about anzsrc-for:08
    2 anzsrc-for:0806
    3 schema:author N0366871e71b748879f4c753e0c475776
    4 schema:citation sg:pub.10.1007/3-540-15648-8_16
    5 sg:pub.10.1007/978-3-642-00899-3_16
    6 sg:pub.10.1007/978-3-642-19345-3
    7 sg:pub.10.1007/978-3-642-21759-3_12
    8 sg:pub.10.1007/978-3-642-28108-2_37
    9 sg:pub.10.1007/978-3-642-30359-3_2
    10 sg:pub.10.1007/978-3-642-31095-9_18
    11 sg:pub.10.1007/s100090100062
    12 https://doi.org/10.1109/cidm.2011.5949297
    13 https://doi.org/10.1109/sfcs.1977.32
    14 schema:datePublished 2013
    15 schema:datePublishedReg 2013-01-01
    16 schema:description Process mining techniques can be used to discover process models from event data. Often the resulting models are complex due to the variability of the underlying process. Therefore, we aim at discovering declarative process models that can deal with such variability. However, for real-life event logs involving dozens of activities and hundreds or thousands of cases, there are often many potential constraints resulting in cluttered diagrams. Therefore, we propose various techniques to prune these models and remove constraints that are not interesting or implied by other constraints. Moreover, we show that domain knowledge (e.g., a reference model or grouping of activities) can be used to guide the discovery approach. The approach has been implemented in the process mining tool ProM and evaluated using an event log from a large Dutch hospital. Even in such highly variable environments, our approach can discover understandable declarative models.
    17 schema:editor Nbd32803e6d254fa483d6ba6b95529906
    18 schema:genre chapter
    19 schema:inLanguage en
    20 schema:isAccessibleForFree false
    21 schema:isPartOf N7829c37078ef44ecb88edb8d944597d1
    22 schema:name A Knowledge-Based Integrated Approach for Discovering and Repairing Declare Maps
    23 schema:pagination 433-448
    24 schema:productId N01fb263c78d84e1b9a39e05600357e3c
    25 N6b86eb0ef36e4023ba80545d17ba4bb6
    26 Ne178f12e28c845668e39973c2d00cc23
    27 schema:publisher Ne642211574ab4d6099b1520e69604a91
    28 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030380776
    29 https://doi.org/10.1007/978-3-642-38709-8_28
    30 schema:sdDatePublished 2019-04-16T01:23
    31 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    32 schema:sdPublisher N7b274b5bf4dd45f9acc897b43056ed68
    33 schema:url http://link.springer.com/10.1007/978-3-642-38709-8_28
    34 sgo:license sg:explorer/license/
    35 sgo:sdDataset chapters
    36 rdf:type schema:Chapter
    37 N01fb263c78d84e1b9a39e05600357e3c schema:name doi
    38 schema:value 10.1007/978-3-642-38709-8_28
    39 rdf:type schema:PropertyValue
    40 N0366871e71b748879f4c753e0c475776 rdf:first sg:person.013145177327.48
    41 rdf:rest N03a07641456844c29fc6d1a3d536f361
    42 N03a07641456844c29fc6d1a3d536f361 rdf:first sg:person.010135437242.48
    43 rdf:rest Nc07e827900c5494788606cfd04ec9645
    44 N310f9b8169aa4957a8649f8e0b371834 rdf:first Nf5b99aa157de468d9400b7014f832f3a
    45 rdf:rest Ne83575dbe37d42ffa9ae4341eefdb0ef
    46 N6b86eb0ef36e4023ba80545d17ba4bb6 schema:name dimensions_id
    47 schema:value pub.1030380776
    48 rdf:type schema:PropertyValue
    49 N7829c37078ef44ecb88edb8d944597d1 schema:isbn 978-3-642-38708-1
    50 978-3-642-38709-8
    51 schema:name Advanced Information Systems Engineering
    52 rdf:type schema:Book
    53 N7b274b5bf4dd45f9acc897b43056ed68 schema:name Springer Nature - SN SciGraph project
    54 rdf:type schema:Organization
    55 N8bacdd0f740f40718adb97d915331237 schema:familyName Salinesi
    56 schema:givenName Camille
    57 rdf:type schema:Person
    58 N8e349ccf12584551bad8d47fcf39f056 schema:familyName Pastor
    59 schema:givenName Óscar
    60 rdf:type schema:Person
    61 Nbd32803e6d254fa483d6ba6b95529906 rdf:first N8bacdd0f740f40718adb97d915331237
    62 rdf:rest N310f9b8169aa4957a8649f8e0b371834
    63 Nc07e827900c5494788606cfd04ec9645 rdf:first sg:person.014757056433.19
    64 rdf:rest rdf:nil
    65 Ne178f12e28c845668e39973c2d00cc23 schema:name readcube_id
    66 schema:value 90ba8060fc6dcf4e5061e2009f79e3e3d9b5b669159f1c9de3cd13b3b0c90e04
    67 rdf:type schema:PropertyValue
    68 Ne642211574ab4d6099b1520e69604a91 schema:location Berlin, Heidelberg
    69 schema:name Springer Berlin Heidelberg
    70 rdf:type schema:Organisation
    71 Ne83575dbe37d42ffa9ae4341eefdb0ef rdf:first N8e349ccf12584551bad8d47fcf39f056
    72 rdf:rest rdf:nil
    73 Nf5b99aa157de468d9400b7014f832f3a schema:familyName Norrie
    74 schema:givenName Moira C.
    75 rdf:type schema:Person
    76 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    77 schema:name Information and Computing Sciences
    78 rdf:type schema:DefinedTerm
    79 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
    80 schema:name Information Systems
    81 rdf:type schema:DefinedTerm
    82 sg:person.010135437242.48 schema:affiliation https://www.grid.ac/institutes/grid.6852.9
    83 schema:familyName Bose
    84 schema:givenName R. P. Jagadeesh Chandra
    85 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010135437242.48
    86 rdf:type schema:Person
    87 sg:person.013145177327.48 schema:affiliation https://www.grid.ac/institutes/grid.6852.9
    88 schema:familyName Maggi
    89 schema:givenName Fabrizio M.
    90 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013145177327.48
    91 rdf:type schema:Person
    92 sg:person.014757056433.19 schema:affiliation https://www.grid.ac/institutes/grid.6852.9
    93 schema:familyName van der Aalst
    94 schema:givenName Wil M. P.
    95 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014757056433.19
    96 rdf:type schema:Person
    97 sg:pub.10.1007/3-540-15648-8_16 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042959172
    98 https://doi.org/10.1007/3-540-15648-8_16
    99 rdf:type schema:CreativeWork
    100 sg:pub.10.1007/978-3-642-00899-3_16 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025147348
    101 https://doi.org/10.1007/978-3-642-00899-3_16
    102 rdf:type schema:CreativeWork
    103 sg:pub.10.1007/978-3-642-19345-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006642440
    104 https://doi.org/10.1007/978-3-642-19345-3
    105 rdf:type schema:CreativeWork
    106 sg:pub.10.1007/978-3-642-21759-3_12 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007099760
    107 https://doi.org/10.1007/978-3-642-21759-3_12
    108 rdf:type schema:CreativeWork
    109 sg:pub.10.1007/978-3-642-28108-2_37 schema:sameAs https://app.dimensions.ai/details/publication/pub.1036379907
    110 https://doi.org/10.1007/978-3-642-28108-2_37
    111 rdf:type schema:CreativeWork
    112 sg:pub.10.1007/978-3-642-30359-3_2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001426179
    113 https://doi.org/10.1007/978-3-642-30359-3_2
    114 rdf:type schema:CreativeWork
    115 sg:pub.10.1007/978-3-642-31095-9_18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011418389
    116 https://doi.org/10.1007/978-3-642-31095-9_18
    117 rdf:type schema:CreativeWork
    118 sg:pub.10.1007/s100090100062 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021735214
    119 https://doi.org/10.1007/s100090100062
    120 rdf:type schema:CreativeWork
    121 https://doi.org/10.1109/cidm.2011.5949297 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094177851
    122 rdf:type schema:CreativeWork
    123 https://doi.org/10.1109/sfcs.1977.32 schema:sameAs https://app.dimensions.ai/details/publication/pub.1086187044
    124 rdf:type schema:CreativeWork
    125 https://www.grid.ac/institutes/grid.6852.9 schema:alternateName Eindhoven University of Technology
    126 schema:name Eindhoven University of Technology, The Netherlands
    127 rdf:type schema:Organization
     




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


    ...