Log-Based Understanding of Business Processes through Temporal Logic Query Checking View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2014

AUTHORS

Margus Räim , Claudio Di Ciccio , Fabrizio Maria Maggi , Massimo Mecella , Jan Mendling

ABSTRACT

Process mining is a discipline that aims at discovering, monitoring and improving real-life processes by extracting knowledge from event logs. Process discovery and conformance checking are the two main process mining tasks. Process discovery techniques can be used to learn a process model from example traces in an event log, whereas the goal of conformance checking is to compare the observed behavior in the event log with the modeled behavior. In this paper, we propose an approach based on temporal logic query checking, which is in the middle between process discovery and conformance checking. It can be used to discover those LTL-based business rules that are valid in the log, by checking against the log a (user-defined) class of rules. The proposed approach is not limited to provide a boolean answer about the validity of a business rule in the log, but it rather provides valuable diagnostics in terms of traces in which the rule is satisfied (witnesses) and traces in which the rule is violated (counterexamples). We have implemented our approach as a proof of concept and conducted a wide experimentation using both synthetic and real-life logs. More... »

PAGES

75-92

References to SciGraph publications

  • 2000. Temporal-logic Queries in COMPUTER AIDED VERIFICATION
  • 2013. Discovering Data-Aware Declarative Process Models from Event Logs in BUSINESS PROCESS MANAGEMENT
  • 2012. Mining Constraints for Artful Processes in BUSINESS INFORMATION SYSTEMS
  • 2005. The ProM Framework: A New Era in Process Mining Tool Support in APPLICATIONS AND THEORY OF PETRI NETS 2005
  • 2009. Exploiting Inductive Logic Programming Techniques for Declarative Process Mining in TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY II
  • 2008. Applying Inductive Logic Programming to Process Mining in INDUCTIVE LOGIC PROGRAMMING
  • 2012. Efficient Discovery of Understandable Declarative Process Models from Event Logs in ACTIVE FLOW AND COMBUSTION CONTROL 2018
  • 2001-03-16. Model-Checking Over Multi-Valued Logics in FME 2001: FORMAL METHODS FOR INCREASING SOFTWARE PRODUCTIVITY
  • Book

    TITLE

    On the Move to Meaningful Internet Systems: OTM 2014 Conferences

    ISBN

    978-3-662-45562-3
    978-3-662-45563-0

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-662-45563-0_5

    DOI

    http://dx.doi.org/10.1007/978-3-662-45563-0_5

    DIMENSIONS

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


    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": "University of Tartu", 
              "id": "https://www.grid.ac/institutes/grid.10939.32", 
              "name": [
                "University of Tartu, Estonia"
              ], 
              "type": "Organization"
            }, 
            "familyName": "R\u00e4im", 
            "givenName": "Margus", 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Vienna University of Economics and Business", 
              "id": "https://www.grid.ac/institutes/grid.15788.33", 
              "name": [
                "Vienna University of Economics and Business, Austria"
              ], 
              "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 Tartu", 
              "id": "https://www.grid.ac/institutes/grid.10939.32", 
              "name": [
                "University of Tartu, Estonia"
              ], 
              "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"
          }, 
          {
            "affiliation": {
              "alternateName": "Sapienza University of Rome", 
              "id": "https://www.grid.ac/institutes/grid.7841.a", 
              "name": [
                "Sapienza Universit\u00e0 di Roma, Italy"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Mecella", 
            "givenName": "Massimo", 
            "id": "sg:person.015702476540.32", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015702476540.32"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Vienna University of Economics and Business", 
              "id": "https://www.grid.ac/institutes/grid.15788.33", 
              "name": [
                "Vienna University of Economics and Business, Austria"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Mendling", 
            "givenName": "Jan", 
            "id": "sg:person.016060535047.44", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016060535047.44"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "https://doi.org/10.1145/990010.990011", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1000501935"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "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/11494744_25", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001460653", 
              "https://doi.org/10.1007/11494744_25"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11494744_25", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001460653", 
              "https://doi.org/10.1007/11494744_25"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.jcss.2011.09.004", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010011350"
            ], 
            "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/3-540-45251-6_5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020045182", 
              "https://doi.org/10.1007/3-540-45251-6_5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45251-6_5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020045182", 
              "https://doi.org/10.1007/3-540-45251-6_5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-78469-2_16", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025021943", 
              "https://doi.org/10.1007/978-3-540-78469-2_16"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-78469-2_16", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025021943", 
              "https://doi.org/10.1007/978-3-540-78469-2_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-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/j.jlap.2013.05.005", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026724700"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-40176-3_8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028498779", 
              "https://doi.org/10.1007/978-3-642-40176-3_8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/333979.333987", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047134590"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/10722167_34", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1048585882", 
              "https://doi.org/10.1007/10722167_34"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/10722167_34", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1048585882", 
              "https://doi.org/10.1007/10722167_34"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/5397.5399", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1053218197"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/tse.2003.1237171", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061788327"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/tse.2010.96", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061788857"
            ], 
            "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/lics.2001.932516", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095130591"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/edoc.2007.14", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095140620"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2014", 
        "datePublishedReg": "2014-01-01", 
        "description": "Process mining is a discipline that aims at discovering, monitoring and improving real-life processes by extracting knowledge from event logs. Process discovery and conformance checking are the two main process mining tasks. Process discovery techniques can be used to learn a process model from example traces in an event log, whereas the goal of conformance checking is to compare the observed behavior in the event log with the modeled behavior. In this paper, we propose an approach based on temporal logic query checking, which is in the middle between process discovery and conformance checking. It can be used to discover those LTL-based business rules that are valid in the log, by checking against the log a (user-defined) class of rules. The proposed approach is not limited to provide a boolean answer about the validity of a business rule in the log, but it rather provides valuable diagnostics in terms of traces in which the rule is satisfied (witnesses) and traces in which the rule is violated (counterexamples). We have implemented our approach as a proof of concept and conducted a wide experimentation using both synthetic and real-life logs.", 
        "editor": [
          {
            "familyName": "Meersman", 
            "givenName": "Robert", 
            "type": "Person"
          }, 
          {
            "familyName": "Panetto", 
            "givenName": "Herv\u00e9", 
            "type": "Person"
          }, 
          {
            "familyName": "Dillon", 
            "givenName": "Tharam", 
            "type": "Person"
          }, 
          {
            "familyName": "Missikoff", 
            "givenName": "Michele", 
            "type": "Person"
          }, 
          {
            "familyName": "Liu", 
            "givenName": "Lin", 
            "type": "Person"
          }, 
          {
            "familyName": "Pastor", 
            "givenName": "Oscar", 
            "type": "Person"
          }, 
          {
            "familyName": "Cuzzocrea", 
            "givenName": "Alfredo", 
            "type": "Person"
          }, 
          {
            "familyName": "Sellis", 
            "givenName": "Timos", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-662-45563-0_5", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-662-45562-3", 
            "978-3-662-45563-0"
          ], 
          "name": "On the Move to Meaningful Internet Systems: OTM 2014 Conferences", 
          "type": "Book"
        }, 
        "name": "Log-Based Understanding of Business Processes through Temporal Logic Query Checking", 
        "pagination": "75-92", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-662-45563-0_5"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "807c353503e630903cb6dca4668e999b0df5ec4ca7f20bd0a91c27e32e748557"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1026971380"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin, Heidelberg", 
          "name": "Springer Berlin Heidelberg", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-662-45563-0_5", 
          "https://app.dimensions.ai/details/publication/pub.1026971380"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T11:34", 
        "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_8660_00000259.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/978-3-662-45563-0_5"
      }
    ]
     

    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-662-45563-0_5'

    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-662-45563-0_5'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-662-45563-0_5'

    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-662-45563-0_5'


     

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

    195 TRIPLES      23 PREDICATES      45 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-662-45563-0_5 schema:about anzsrc-for:08
    2 anzsrc-for:0806
    3 schema:author N8c189992f4134a12a2038756c07bf4aa
    4 schema:citation sg:pub.10.1007/10722167_34
    5 sg:pub.10.1007/11494744_25
    6 sg:pub.10.1007/3-540-45251-6_5
    7 sg:pub.10.1007/978-3-540-78469-2_16
    8 sg:pub.10.1007/978-3-642-00899-3_16
    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/978-3-642-40176-3_8
    12 https://doi.org/10.1016/j.jcss.2011.09.004
    13 https://doi.org/10.1016/j.jlap.2013.05.005
    14 https://doi.org/10.1109/edoc.2007.14
    15 https://doi.org/10.1109/lics.2001.932516
    16 https://doi.org/10.1109/sfcs.1977.32
    17 https://doi.org/10.1109/tse.2003.1237171
    18 https://doi.org/10.1109/tse.2010.96
    19 https://doi.org/10.1145/333979.333987
    20 https://doi.org/10.1145/5397.5399
    21 https://doi.org/10.1145/990010.990011
    22 schema:datePublished 2014
    23 schema:datePublishedReg 2014-01-01
    24 schema:description Process mining is a discipline that aims at discovering, monitoring and improving real-life processes by extracting knowledge from event logs. Process discovery and conformance checking are the two main process mining tasks. Process discovery techniques can be used to learn a process model from example traces in an event log, whereas the goal of conformance checking is to compare the observed behavior in the event log with the modeled behavior. In this paper, we propose an approach based on temporal logic query checking, which is in the middle between process discovery and conformance checking. It can be used to discover those LTL-based business rules that are valid in the log, by checking against the log a (user-defined) class of rules. The proposed approach is not limited to provide a boolean answer about the validity of a business rule in the log, but it rather provides valuable diagnostics in terms of traces in which the rule is satisfied (witnesses) and traces in which the rule is violated (counterexamples). We have implemented our approach as a proof of concept and conducted a wide experimentation using both synthetic and real-life logs.
    25 schema:editor N9553cf23c15b4d859a00e32327153397
    26 schema:genre chapter
    27 schema:inLanguage en
    28 schema:isAccessibleForFree false
    29 schema:isPartOf N42225bc0e85647b59c1e0dcd5130508d
    30 schema:name Log-Based Understanding of Business Processes through Temporal Logic Query Checking
    31 schema:pagination 75-92
    32 schema:productId N11e3af48b3cb4c0fb3ab251398a3d223
    33 N7aa3cc6b4f654523b538b70b5910ee12
    34 Ncf41808dd507486b84f58e5640da5905
    35 schema:publisher Nd605ab5d6b9c43619c448b256e3b5c75
    36 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026971380
    37 https://doi.org/10.1007/978-3-662-45563-0_5
    38 schema:sdDatePublished 2019-04-15T11:34
    39 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    40 schema:sdPublisher N551f46d18a3548509868422ffa782f8a
    41 schema:url http://link.springer.com/10.1007/978-3-662-45563-0_5
    42 sgo:license sg:explorer/license/
    43 sgo:sdDataset chapters
    44 rdf:type schema:Chapter
    45 N11e3af48b3cb4c0fb3ab251398a3d223 schema:name doi
    46 schema:value 10.1007/978-3-662-45563-0_5
    47 rdf:type schema:PropertyValue
    48 N2272477207684ca19907c45f10251033 rdf:first Nab7013c7620a4abca4768b9ea73062b6
    49 rdf:rest Nb997d1eb9a70425a9e0340ae015ee8ef
    50 N233fd34679874c14916600da1fcba00e rdf:first N55a3cc889458445cbc20111e97288fdb
    51 rdf:rest N2272477207684ca19907c45f10251033
    52 N2517c29f17584b82b48ee32e627e09dd schema:familyName Dillon
    53 schema:givenName Tharam
    54 rdf:type schema:Person
    55 N283f84a819f74399b994e2f8cf10af68 rdf:first Ne33115844e204e0986e1e89d0b23ca7b
    56 rdf:rest Ndfe5264964764177895484a829cbaac5
    57 N2b8cbe8d9f8e4d12a05692d6078ef6ba rdf:first sg:person.013145177327.48
    58 rdf:rest N3798f306235840929480054184c7eae8
    59 N3798f306235840929480054184c7eae8 rdf:first sg:person.015702476540.32
    60 rdf:rest Nc7c6ae463d3e432c8ef2687ba59aee59
    61 N42225bc0e85647b59c1e0dcd5130508d schema:isbn 978-3-662-45562-3
    62 978-3-662-45563-0
    63 schema:name On the Move to Meaningful Internet Systems: OTM 2014 Conferences
    64 rdf:type schema:Book
    65 N4721fd01af5045ef9425ca982e10787f rdf:first sg:person.016473360606.42
    66 rdf:rest N2b8cbe8d9f8e4d12a05692d6078ef6ba
    67 N551f46d18a3548509868422ffa782f8a schema:name Springer Nature - SN SciGraph project
    68 rdf:type schema:Organization
    69 N55a3cc889458445cbc20111e97288fdb schema:familyName Missikoff
    70 schema:givenName Michele
    71 rdf:type schema:Person
    72 N5eb1883bfc54414d8f632c92b212f762 schema:familyName Sellis
    73 schema:givenName Timos
    74 rdf:type schema:Person
    75 N7aa3cc6b4f654523b538b70b5910ee12 schema:name readcube_id
    76 schema:value 807c353503e630903cb6dca4668e999b0df5ec4ca7f20bd0a91c27e32e748557
    77 rdf:type schema:PropertyValue
    78 N8c13a3a6079c4800bc85e41add8dc74b schema:familyName Meersman
    79 schema:givenName Robert
    80 rdf:type schema:Person
    81 N8c189992f4134a12a2038756c07bf4aa rdf:first Nb36c329c03a2407b8001f3dd7624568c
    82 rdf:rest N4721fd01af5045ef9425ca982e10787f
    83 N9553cf23c15b4d859a00e32327153397 rdf:first N8c13a3a6079c4800bc85e41add8dc74b
    84 rdf:rest Ndaf12b82801d40a69fec8b7ef7c62a12
    85 N9c927120927744a3b1695d020272421c schema:familyName Panetto
    86 schema:givenName Hervé
    87 rdf:type schema:Person
    88 Nab7013c7620a4abca4768b9ea73062b6 schema:familyName Liu
    89 schema:givenName Lin
    90 rdf:type schema:Person
    91 Nb36c329c03a2407b8001f3dd7624568c schema:affiliation https://www.grid.ac/institutes/grid.10939.32
    92 schema:familyName Räim
    93 schema:givenName Margus
    94 rdf:type schema:Person
    95 Nb997d1eb9a70425a9e0340ae015ee8ef rdf:first Nf7c920a779c045959f20430e036f50be
    96 rdf:rest N283f84a819f74399b994e2f8cf10af68
    97 Nc7c6ae463d3e432c8ef2687ba59aee59 rdf:first sg:person.016060535047.44
    98 rdf:rest rdf:nil
    99 Ncf41808dd507486b84f58e5640da5905 schema:name dimensions_id
    100 schema:value pub.1026971380
    101 rdf:type schema:PropertyValue
    102 Nd605ab5d6b9c43619c448b256e3b5c75 schema:location Berlin, Heidelberg
    103 schema:name Springer Berlin Heidelberg
    104 rdf:type schema:Organisation
    105 Ndaf12b82801d40a69fec8b7ef7c62a12 rdf:first N9c927120927744a3b1695d020272421c
    106 rdf:rest Nea48261ff63e418e9f97cb0cbd528cd3
    107 Ndfe5264964764177895484a829cbaac5 rdf:first N5eb1883bfc54414d8f632c92b212f762
    108 rdf:rest rdf:nil
    109 Ne33115844e204e0986e1e89d0b23ca7b schema:familyName Cuzzocrea
    110 schema:givenName Alfredo
    111 rdf:type schema:Person
    112 Nea48261ff63e418e9f97cb0cbd528cd3 rdf:first N2517c29f17584b82b48ee32e627e09dd
    113 rdf:rest N233fd34679874c14916600da1fcba00e
    114 Nf7c920a779c045959f20430e036f50be schema:familyName Pastor
    115 schema:givenName Oscar
    116 rdf:type schema:Person
    117 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    118 schema:name Information and Computing Sciences
    119 rdf:type schema:DefinedTerm
    120 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
    121 schema:name Information Systems
    122 rdf:type schema:DefinedTerm
    123 sg:person.013145177327.48 schema:affiliation https://www.grid.ac/institutes/grid.10939.32
    124 schema:familyName Maggi
    125 schema:givenName Fabrizio Maria
    126 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013145177327.48
    127 rdf:type schema:Person
    128 sg:person.015702476540.32 schema:affiliation https://www.grid.ac/institutes/grid.7841.a
    129 schema:familyName Mecella
    130 schema:givenName Massimo
    131 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015702476540.32
    132 rdf:type schema:Person
    133 sg:person.016060535047.44 schema:affiliation https://www.grid.ac/institutes/grid.15788.33
    134 schema:familyName Mendling
    135 schema:givenName Jan
    136 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016060535047.44
    137 rdf:type schema:Person
    138 sg:person.016473360606.42 schema:affiliation https://www.grid.ac/institutes/grid.15788.33
    139 schema:familyName Di Ciccio
    140 schema:givenName Claudio
    141 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016473360606.42
    142 rdf:type schema:Person
    143 sg:pub.10.1007/10722167_34 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048585882
    144 https://doi.org/10.1007/10722167_34
    145 rdf:type schema:CreativeWork
    146 sg:pub.10.1007/11494744_25 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001460653
    147 https://doi.org/10.1007/11494744_25
    148 rdf:type schema:CreativeWork
    149 sg:pub.10.1007/3-540-45251-6_5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020045182
    150 https://doi.org/10.1007/3-540-45251-6_5
    151 rdf:type schema:CreativeWork
    152 sg:pub.10.1007/978-3-540-78469-2_16 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025021943
    153 https://doi.org/10.1007/978-3-540-78469-2_16
    154 rdf:type schema:CreativeWork
    155 sg:pub.10.1007/978-3-642-00899-3_16 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025147348
    156 https://doi.org/10.1007/978-3-642-00899-3_16
    157 rdf:type schema:CreativeWork
    158 sg:pub.10.1007/978-3-642-30359-3_2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001426179
    159 https://doi.org/10.1007/978-3-642-30359-3_2
    160 rdf:type schema:CreativeWork
    161 sg:pub.10.1007/978-3-642-31095-9_18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011418389
    162 https://doi.org/10.1007/978-3-642-31095-9_18
    163 rdf:type schema:CreativeWork
    164 sg:pub.10.1007/978-3-642-40176-3_8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028498779
    165 https://doi.org/10.1007/978-3-642-40176-3_8
    166 rdf:type schema:CreativeWork
    167 https://doi.org/10.1016/j.jcss.2011.09.004 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010011350
    168 rdf:type schema:CreativeWork
    169 https://doi.org/10.1016/j.jlap.2013.05.005 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026724700
    170 rdf:type schema:CreativeWork
    171 https://doi.org/10.1109/edoc.2007.14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095140620
    172 rdf:type schema:CreativeWork
    173 https://doi.org/10.1109/lics.2001.932516 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095130591
    174 rdf:type schema:CreativeWork
    175 https://doi.org/10.1109/sfcs.1977.32 schema:sameAs https://app.dimensions.ai/details/publication/pub.1086187044
    176 rdf:type schema:CreativeWork
    177 https://doi.org/10.1109/tse.2003.1237171 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061788327
    178 rdf:type schema:CreativeWork
    179 https://doi.org/10.1109/tse.2010.96 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061788857
    180 rdf:type schema:CreativeWork
    181 https://doi.org/10.1145/333979.333987 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047134590
    182 rdf:type schema:CreativeWork
    183 https://doi.org/10.1145/5397.5399 schema:sameAs https://app.dimensions.ai/details/publication/pub.1053218197
    184 rdf:type schema:CreativeWork
    185 https://doi.org/10.1145/990010.990011 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000501935
    186 rdf:type schema:CreativeWork
    187 https://www.grid.ac/institutes/grid.10939.32 schema:alternateName University of Tartu
    188 schema:name University of Tartu, Estonia
    189 rdf:type schema:Organization
    190 https://www.grid.ac/institutes/grid.15788.33 schema:alternateName Vienna University of Economics and Business
    191 schema:name Vienna University of Economics and Business, Austria
    192 rdf:type schema:Organization
    193 https://www.grid.ac/institutes/grid.7841.a schema:alternateName Sapienza University of Rome
    194 schema:name Sapienza Università di Roma, Italy
    195 rdf:type schema:Organization
     




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


    ...