Generating Event Logs Through the Simulation of Declare Models View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2015

AUTHORS

Claudio Di Ciccio , Mario Luca Bernardi , Marta Cimitile , Fabrizio Maria Maggi

ABSTRACT

In the process mining field, several techniques have been developed during the last years, for the discovery of declarative process models from event logs. This type of models describes processes on the basis of temporal constraints. Every behavior that does not violate such constraints is allowed, and such characteristic has proven to be suitable for representing highly flexible processes. One way to test a process discovery technique is to generate an event log by simulating a process model, and then verify that the process discovered from such a log matches the original one. For this reason, a tool for generating event logs starting from declarative process models becomes vital for the evaluation of declarative process discovery techniques. In this paper, we present an approach for the automated generation of event logs, starting from process models that are based on Declare, one of the most used declarative modeling languages in the process mining literature. Our framework bases upon the translation of Declare constraints into regular expressions and on the utilization of Finite State Automata for the simulation. An evaluation of the implemented tool is presented, showing its effectiveness in both the generation of new logs and the replication of the behavior of existing ones. The presented evaluation also shows the capability of the tool of generating very large logs in a reasonably small amount of time, and its integration with state-of-the-art Declare modeling and discovery tools. More... »

PAGES

20-36

References to SciGraph publications

  • 2009. Declarative versus Imperative Process Modeling Languages: The Issue of Understandability in ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING
  • 2011. Process Mining, Discovery, Conformance and Enhancement of Business Processes in NONE
  • 2006. A Declarative Approach for Flexible Business Processes Management in BUSINESS PROCESS MANAGEMENT WORKSHOPS
  • 2007-06. Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2012. Configurable Declare: Designing Customisable Flexible Process Models in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2012
  • 2012. MailOfMine – Analyzing Mail Messages for Mining Artful Collaborative Processes in DATA-DRIVEN PROCESS DISCOVERY AND ANALYSIS
  • 2009. Exploiting Inductive Logic Programming Techniques for Declarative Process Mining in TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY II
  • 2011. PLG: A Framework for the Generation of Business Process Models and Their Execution Logs in BUSINESS PROCESS MANAGEMENT WORKSHOPS
  • 2015-03. Knowledge-Intensive Processes: Characteristics, Requirements and Analysis of Contemporary Approaches in JOURNAL ON DATA SEMANTICS
  • 2008. A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation in GRAPH TRANSFORMATIONS
  • 2002-03-15. ARIS Architecture and Reference Models for Business Process Management in BUSINESS PROCESS MANAGEMENT
  • 2013. Fundamentals of Business Process Management in NONE
  • 2012. Imperative versus Declarative Process Modeling Languages: An Empirical Investigation in BUSINESS PROCESS MANAGEMENT WORKSHOPS
  • 2006. DecSerFlow: Towards a Truly Declarative Service Flow Language in WEB SERVICES AND FORMAL METHODS
  • 2012. Efficient Discovery of Understandable Declarative Process Models from Event Logs in ACTIVE FLOW AND COMBUSTION CONTROL 2018
  • 2014. Using Discriminative Rule Mining to Discover Declarative Process Models with Non-atomic Activities in RULES ON THE WEB. FROM THEORY TO APPLICATIONS
  • 1997. Verification of workflow nets in APPLICATION AND THEORY OF PETRI NETS 1997
  • 2011. XES, XESame, and ProM 6 in PROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS, COMPUTER VISION, AND APPLICATIONS
  • Book

    TITLE

    Enterprise and Organizational Modeling and Simulation

    ISBN

    978-3-319-24625-3
    978-3-319-24626-0

    From Grant

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-319-24626-0_2

    DOI

    http://dx.doi.org/10.1007/978-3-319-24626-0_2

    DIMENSIONS

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


    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/0801", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Artificial Intelligence and Image Processing", 
            "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": "Vienna University of Economics and Business", 
              "id": "https://www.grid.ac/institutes/grid.15788.33", 
              "name": [
                "Vienna University of Economics and Business"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Di Ciccio", 
            "givenName": "Claudio", 
            "id": "sg:person.016473360606.42", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016473360606.42"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Sannio", 
              "id": "https://www.grid.ac/institutes/grid.47422.37", 
              "name": [
                "University of Sannio"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Bernardi", 
            "givenName": "Mario Luca", 
            "id": "sg:person.011767013257.07", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011767013257.07"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Unitelma Sapienza University", 
              "id": "https://www.grid.ac/institutes/grid.469255.9", 
              "name": [
                "Unitelma Sapienza University"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Cimitile", 
            "givenName": "Marta", 
            "id": "sg:person.015764305231.11", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015764305231.11"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Tartu", 
              "id": "https://www.grid.ac/institutes/grid.10939.32", 
              "name": [
                "University of Tartu"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Maggi", 
            "givenName": "Fabrizio Maria", 
            "id": "sg:person.013145177327.48", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013145177327.48"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/11841197_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1002470852", 
              "https://doi.org/10.1007/11841197_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11841197_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1002470852", 
              "https://doi.org/10.1007/11841197_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s13740-014-0038-4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1003309394", 
              "https://doi.org/10.1007/s13740-014-0038-4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45594-9_24", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1003694913", 
              "https://doi.org/10.1007/3-540-45594-9_24"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45594-9_24", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1003694913", 
              "https://doi.org/10.1007/3-540-45594-9_24"
            ], 
            "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-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/978-3-642-20511-8_20", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015795593", 
              "https://doi.org/10.1007/978-3-642-20511-8_20"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-20511-8_20", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015795593", 
              "https://doi.org/10.1007/978-3-642-20511-8_20"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-33606-5_3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018421080", 
              "https://doi.org/10.1007/978-3-642-33606-5_3"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1380572.1380578", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1022877184"
            ], 
            "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": "https://doi.org/10.1016/0306-4379(94)90031-0", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025707003"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0306-4379(94)90031-0", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025707003"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11837862_18", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029106179", 
              "https://doi.org/10.1007/11837862_18"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-17722-4_5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1035429329", 
              "https://doi.org/10.1007/978-3-642-17722-4_5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-17722-4_5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1035429329", 
              "https://doi.org/10.1007/978-3-642-17722-4_5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2629447", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1036104124"
            ], 
            "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/978-3-642-01862-6_29", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1038977309", 
              "https://doi.org/10.1007/978-3-642-01862-6_29"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-01862-6_29", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1038977309", 
              "https://doi.org/10.1007/978-3-642-01862-6_29"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10009-007-0038-x", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1039992392", 
              "https://doi.org/10.1007/s10009-007-0038-x"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10009-007-0038-x", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1039992392", 
              "https://doi.org/10.1007/s10009-007-0038-x"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://app.dimensions.ai/details/publication/pub.1040561137", 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-33143-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040561137", 
              "https://doi.org/10.1007/978-3-642-33143-5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-33143-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040561137", 
              "https://doi.org/10.1007/978-3-642-33143-5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-34044-4_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1042884943", 
              "https://doi.org/10.1007/978-3-642-34044-4_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-63139-9_48", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1050139648", 
              "https://doi.org/10.1007/3-540-63139-9_48"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-87405-8_27", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1050162103", 
              "https://doi.org/10.1007/978-3-540-87405-8_27"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-09870-8_21", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1050754332", 
              "https://doi.org/10.1007/978-3-319-09870-8_21"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.is.2004.02.002", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051581566"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0019-9958(66)90211-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1052396000"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1142/s0218126698000043", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1062953219"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/cidm.2013.6597228", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1093670972"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/edoc.2007.14", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095140620"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2015", 
        "datePublishedReg": "2015-01-01", 
        "description": "In the process mining field, several techniques have been developed during the last years, for the discovery of declarative process models from event logs. This type of models describes processes on the basis of temporal constraints. Every behavior that does not violate such constraints is allowed, and such characteristic has proven to be suitable for representing highly flexible processes. One way to test a process discovery technique is to generate an event log by simulating a process model, and then verify that the process discovered from such a log matches the original one. For this reason, a tool for generating event logs starting from declarative process models becomes vital for the evaluation of declarative process discovery techniques. In this paper, we present an approach for the automated generation of event logs, starting from process models that are based on Declare, one of the most used declarative modeling languages in the process mining literature. Our framework bases upon the translation of Declare constraints into regular expressions and on the utilization of Finite State Automata for the simulation. An evaluation of the implemented tool is presented, showing its effectiveness in both the generation of new logs and the replication of the behavior of existing ones. The presented evaluation also shows the capability of the tool of generating very large logs in a reasonably small amount of time, and its integration with state-of-the-art Declare modeling and discovery tools.", 
        "editor": [
          {
            "familyName": "Barjis", 
            "givenName": "Joseph", 
            "type": "Person"
          }, 
          {
            "familyName": "Pergl", 
            "givenName": "Robert", 
            "type": "Person"
          }, 
          {
            "familyName": "Babkin", 
            "givenName": "Eduard", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-319-24626-0_2", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isFundedItemOf": [
          {
            "id": "sg:grant.3791239", 
            "type": "MonetaryGrant"
          }
        ], 
        "isPartOf": {
          "isbn": [
            "978-3-319-24625-3", 
            "978-3-319-24626-0"
          ], 
          "name": "Enterprise and Organizational Modeling and Simulation", 
          "type": "Book"
        }, 
        "name": "Generating Event Logs Through the Simulation of Declare Models", 
        "pagination": "20-36", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-319-24626-0_2"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "3f91e74ab163761a19d7fa56e8a0d13b63f878761e6c46be4981f41af632cdb3"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1013344568"
            ]
          }
        ], 
        "publisher": {
          "location": "Cham", 
          "name": "Springer International Publishing", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-319-24626-0_2", 
          "https://app.dimensions.ai/details/publication/pub.1013344568"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T15:57", 
        "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_8672_00000583.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/978-3-319-24626-0_2"
      }
    ]
     

    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-319-24626-0_2'

    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-319-24626-0_2'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-24626-0_2'

    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-319-24626-0_2'


     

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

    205 TRIPLES      23 PREDICATES      54 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-319-24626-0_2 schema:about anzsrc-for:08
    2 anzsrc-for:0801
    3 schema:author N3d70f7d6c28f4bd89c6fd6362edea0f0
    4 schema:citation sg:pub.10.1007/11837862_18
    5 sg:pub.10.1007/11841197_1
    6 sg:pub.10.1007/3-540-45594-9_24
    7 sg:pub.10.1007/3-540-63139-9_48
    8 sg:pub.10.1007/978-3-319-09870-8_21
    9 sg:pub.10.1007/978-3-540-87405-8_27
    10 sg:pub.10.1007/978-3-642-00899-3_16
    11 sg:pub.10.1007/978-3-642-01862-6_29
    12 sg:pub.10.1007/978-3-642-17722-4_5
    13 sg:pub.10.1007/978-3-642-19345-3
    14 sg:pub.10.1007/978-3-642-20511-8_20
    15 sg:pub.10.1007/978-3-642-28108-2_37
    16 sg:pub.10.1007/978-3-642-31095-9_18
    17 sg:pub.10.1007/978-3-642-33143-5
    18 sg:pub.10.1007/978-3-642-33606-5_3
    19 sg:pub.10.1007/978-3-642-34044-4_4
    20 sg:pub.10.1007/s10009-007-0038-x
    21 sg:pub.10.1007/s13740-014-0038-4
    22 https://app.dimensions.ai/details/publication/pub.1040561137
    23 https://doi.org/10.1016/0306-4379(94)90031-0
    24 https://doi.org/10.1016/j.is.2004.02.002
    25 https://doi.org/10.1016/s0019-9958(66)90211-7
    26 https://doi.org/10.1109/cidm.2013.6597228
    27 https://doi.org/10.1109/edoc.2007.14
    28 https://doi.org/10.1142/s0218126698000043
    29 https://doi.org/10.1145/1380572.1380578
    30 https://doi.org/10.1145/2629447
    31 schema:datePublished 2015
    32 schema:datePublishedReg 2015-01-01
    33 schema:description In the process mining field, several techniques have been developed during the last years, for the discovery of declarative process models from event logs. This type of models describes processes on the basis of temporal constraints. Every behavior that does not violate such constraints is allowed, and such characteristic has proven to be suitable for representing highly flexible processes. One way to test a process discovery technique is to generate an event log by simulating a process model, and then verify that the process discovered from such a log matches the original one. For this reason, a tool for generating event logs starting from declarative process models becomes vital for the evaluation of declarative process discovery techniques. In this paper, we present an approach for the automated generation of event logs, starting from process models that are based on Declare, one of the most used declarative modeling languages in the process mining literature. Our framework bases upon the translation of Declare constraints into regular expressions and on the utilization of Finite State Automata for the simulation. An evaluation of the implemented tool is presented, showing its effectiveness in both the generation of new logs and the replication of the behavior of existing ones. The presented evaluation also shows the capability of the tool of generating very large logs in a reasonably small amount of time, and its integration with state-of-the-art Declare modeling and discovery tools.
    34 schema:editor N83438966057a46ec9ba159f11277c7e9
    35 schema:genre chapter
    36 schema:inLanguage en
    37 schema:isAccessibleForFree false
    38 schema:isPartOf N125e667663154a68b7432636d212db6b
    39 schema:name Generating Event Logs Through the Simulation of Declare Models
    40 schema:pagination 20-36
    41 schema:productId N1849dd8049c8490e8998896e2f048841
    42 N96a794cfd95e4506b3a6431fb66d7e2f
    43 Nf9259e89fcc1473a9b2ee951dca322cc
    44 schema:publisher N7679a5fe950d4298b147f7786ce359dc
    45 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013344568
    46 https://doi.org/10.1007/978-3-319-24626-0_2
    47 schema:sdDatePublished 2019-04-15T15:57
    48 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    49 schema:sdPublisher N30eea472f21144baa4a3e9b521ad5c7b
    50 schema:url http://link.springer.com/10.1007/978-3-319-24626-0_2
    51 sgo:license sg:explorer/license/
    52 sgo:sdDataset chapters
    53 rdf:type schema:Chapter
    54 N125e667663154a68b7432636d212db6b schema:isbn 978-3-319-24625-3
    55 978-3-319-24626-0
    56 schema:name Enterprise and Organizational Modeling and Simulation
    57 rdf:type schema:Book
    58 N1849dd8049c8490e8998896e2f048841 schema:name readcube_id
    59 schema:value 3f91e74ab163761a19d7fa56e8a0d13b63f878761e6c46be4981f41af632cdb3
    60 rdf:type schema:PropertyValue
    61 N27ff0c0f56744794a895409706182850 rdf:first sg:person.013145177327.48
    62 rdf:rest rdf:nil
    63 N30eea472f21144baa4a3e9b521ad5c7b schema:name Springer Nature - SN SciGraph project
    64 rdf:type schema:Organization
    65 N3d70f7d6c28f4bd89c6fd6362edea0f0 rdf:first sg:person.016473360606.42
    66 rdf:rest Nb10a2a3c90fd46118d7329c58df83687
    67 N716c2b1a22c34b5aa96d91a44814167b rdf:first Nb4c13ee65930495491405b6bd54cc922
    68 rdf:rest rdf:nil
    69 N7679a5fe950d4298b147f7786ce359dc schema:location Cham
    70 schema:name Springer International Publishing
    71 rdf:type schema:Organisation
    72 N8031edbdb7734839bb154ca406b8e60e schema:familyName Barjis
    73 schema:givenName Joseph
    74 rdf:type schema:Person
    75 N83438966057a46ec9ba159f11277c7e9 rdf:first N8031edbdb7734839bb154ca406b8e60e
    76 rdf:rest Ne6b63f1cb8e94388840745e6338353af
    77 N96a794cfd95e4506b3a6431fb66d7e2f schema:name doi
    78 schema:value 10.1007/978-3-319-24626-0_2
    79 rdf:type schema:PropertyValue
    80 N9ef7d06d7dae4538a4f7fafd1139a3fb rdf:first sg:person.015764305231.11
    81 rdf:rest N27ff0c0f56744794a895409706182850
    82 Nb10a2a3c90fd46118d7329c58df83687 rdf:first sg:person.011767013257.07
    83 rdf:rest N9ef7d06d7dae4538a4f7fafd1139a3fb
    84 Nb4c13ee65930495491405b6bd54cc922 schema:familyName Babkin
    85 schema:givenName Eduard
    86 rdf:type schema:Person
    87 Nc0267c530d7b49c3bcd64d74ff5254a2 schema:familyName Pergl
    88 schema:givenName Robert
    89 rdf:type schema:Person
    90 Ne6b63f1cb8e94388840745e6338353af rdf:first Nc0267c530d7b49c3bcd64d74ff5254a2
    91 rdf:rest N716c2b1a22c34b5aa96d91a44814167b
    92 Nf9259e89fcc1473a9b2ee951dca322cc schema:name dimensions_id
    93 schema:value pub.1013344568
    94 rdf:type schema:PropertyValue
    95 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    96 schema:name Information and Computing Sciences
    97 rdf:type schema:DefinedTerm
    98 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
    99 schema:name Artificial Intelligence and Image Processing
    100 rdf:type schema:DefinedTerm
    101 sg:grant.3791239 http://pending.schema.org/fundedItem sg:pub.10.1007/978-3-319-24626-0_2
    102 rdf:type schema:MonetaryGrant
    103 sg:person.011767013257.07 schema:affiliation https://www.grid.ac/institutes/grid.47422.37
    104 schema:familyName Bernardi
    105 schema:givenName Mario Luca
    106 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011767013257.07
    107 rdf:type schema:Person
    108 sg:person.013145177327.48 schema:affiliation https://www.grid.ac/institutes/grid.10939.32
    109 schema:familyName Maggi
    110 schema:givenName Fabrizio Maria
    111 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013145177327.48
    112 rdf:type schema:Person
    113 sg:person.015764305231.11 schema:affiliation https://www.grid.ac/institutes/grid.469255.9
    114 schema:familyName Cimitile
    115 schema:givenName Marta
    116 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015764305231.11
    117 rdf:type schema:Person
    118 sg:person.016473360606.42 schema:affiliation https://www.grid.ac/institutes/grid.15788.33
    119 schema:familyName Di Ciccio
    120 schema:givenName Claudio
    121 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016473360606.42
    122 rdf:type schema:Person
    123 sg:pub.10.1007/11837862_18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029106179
    124 https://doi.org/10.1007/11837862_18
    125 rdf:type schema:CreativeWork
    126 sg:pub.10.1007/11841197_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1002470852
    127 https://doi.org/10.1007/11841197_1
    128 rdf:type schema:CreativeWork
    129 sg:pub.10.1007/3-540-45594-9_24 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003694913
    130 https://doi.org/10.1007/3-540-45594-9_24
    131 rdf:type schema:CreativeWork
    132 sg:pub.10.1007/3-540-63139-9_48 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050139648
    133 https://doi.org/10.1007/3-540-63139-9_48
    134 rdf:type schema:CreativeWork
    135 sg:pub.10.1007/978-3-319-09870-8_21 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050754332
    136 https://doi.org/10.1007/978-3-319-09870-8_21
    137 rdf:type schema:CreativeWork
    138 sg:pub.10.1007/978-3-540-87405-8_27 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050162103
    139 https://doi.org/10.1007/978-3-540-87405-8_27
    140 rdf:type schema:CreativeWork
    141 sg:pub.10.1007/978-3-642-00899-3_16 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025147348
    142 https://doi.org/10.1007/978-3-642-00899-3_16
    143 rdf:type schema:CreativeWork
    144 sg:pub.10.1007/978-3-642-01862-6_29 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038977309
    145 https://doi.org/10.1007/978-3-642-01862-6_29
    146 rdf:type schema:CreativeWork
    147 sg:pub.10.1007/978-3-642-17722-4_5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035429329
    148 https://doi.org/10.1007/978-3-642-17722-4_5
    149 rdf:type schema:CreativeWork
    150 sg:pub.10.1007/978-3-642-19345-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006642440
    151 https://doi.org/10.1007/978-3-642-19345-3
    152 rdf:type schema:CreativeWork
    153 sg:pub.10.1007/978-3-642-20511-8_20 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015795593
    154 https://doi.org/10.1007/978-3-642-20511-8_20
    155 rdf:type schema:CreativeWork
    156 sg:pub.10.1007/978-3-642-28108-2_37 schema:sameAs https://app.dimensions.ai/details/publication/pub.1036379907
    157 https://doi.org/10.1007/978-3-642-28108-2_37
    158 rdf:type schema:CreativeWork
    159 sg:pub.10.1007/978-3-642-31095-9_18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011418389
    160 https://doi.org/10.1007/978-3-642-31095-9_18
    161 rdf:type schema:CreativeWork
    162 sg:pub.10.1007/978-3-642-33143-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040561137
    163 https://doi.org/10.1007/978-3-642-33143-5
    164 rdf:type schema:CreativeWork
    165 sg:pub.10.1007/978-3-642-33606-5_3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018421080
    166 https://doi.org/10.1007/978-3-642-33606-5_3
    167 rdf:type schema:CreativeWork
    168 sg:pub.10.1007/978-3-642-34044-4_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042884943
    169 https://doi.org/10.1007/978-3-642-34044-4_4
    170 rdf:type schema:CreativeWork
    171 sg:pub.10.1007/s10009-007-0038-x schema:sameAs https://app.dimensions.ai/details/publication/pub.1039992392
    172 https://doi.org/10.1007/s10009-007-0038-x
    173 rdf:type schema:CreativeWork
    174 sg:pub.10.1007/s13740-014-0038-4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003309394
    175 https://doi.org/10.1007/s13740-014-0038-4
    176 rdf:type schema:CreativeWork
    177 https://app.dimensions.ai/details/publication/pub.1040561137 schema:CreativeWork
    178 https://doi.org/10.1016/0306-4379(94)90031-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025707003
    179 rdf:type schema:CreativeWork
    180 https://doi.org/10.1016/j.is.2004.02.002 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051581566
    181 rdf:type schema:CreativeWork
    182 https://doi.org/10.1016/s0019-9958(66)90211-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052396000
    183 rdf:type schema:CreativeWork
    184 https://doi.org/10.1109/cidm.2013.6597228 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093670972
    185 rdf:type schema:CreativeWork
    186 https://doi.org/10.1109/edoc.2007.14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095140620
    187 rdf:type schema:CreativeWork
    188 https://doi.org/10.1142/s0218126698000043 schema:sameAs https://app.dimensions.ai/details/publication/pub.1062953219
    189 rdf:type schema:CreativeWork
    190 https://doi.org/10.1145/1380572.1380578 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022877184
    191 rdf:type schema:CreativeWork
    192 https://doi.org/10.1145/2629447 schema:sameAs https://app.dimensions.ai/details/publication/pub.1036104124
    193 rdf:type schema:CreativeWork
    194 https://www.grid.ac/institutes/grid.10939.32 schema:alternateName University of Tartu
    195 schema:name University of Tartu
    196 rdf:type schema:Organization
    197 https://www.grid.ac/institutes/grid.15788.33 schema:alternateName Vienna University of Economics and Business
    198 schema:name Vienna University of Economics and Business
    199 rdf:type schema:Organization
    200 https://www.grid.ac/institutes/grid.469255.9 schema:alternateName Unitelma Sapienza University
    201 schema:name Unitelma Sapienza University
    202 rdf:type schema:Organization
    203 https://www.grid.ac/institutes/grid.47422.37 schema:alternateName University of Sannio
    204 schema:name University of Sannio
    205 rdf:type schema:Organization
     




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


    ...