Verifying workflow processes: a transformation-based approach View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2010-02-11

AUTHORS

Haiping Zha, Wil M. P. van der Aalst, Jianmin Wang, Lijie Wen, Jiaguang Sun

ABSTRACT

Workflow modeling is a challenging activity and designers are likely to introduce errors, especially in complex industrial processes. Effective process verification is essential at design time because the cost of fixing errors during runtime is substantially higher. However, most user-oriented workflow modeling languages lack formal semantics that hinders such verification. In this paper, we propose a generic approach based on the model transformation to verify workflow processes. The model transformation includes two steps: first, it formalizes the desirable semantics of each modeling element; secondly, it translates a workflow process with clear semantics to an equivalent Petri net. Thus, we can verify the original workflow process using existing Petri net theory and analysis tools. As a comprehensive case study, verifying workflow processes in an industrial modeling language (TiPLM) is presented. Experimental evaluations on verifying real-world business processes validate our approach. More... »

PAGES

253-264

References to SciGraph publications

  • 2003-07. Workflow Patterns in DISTRIBUTED AND PARALLEL DATABASES
  • 2003-05-27. The Petri Net Markup Language: Concepts, Technology, and Tools in APPLICATIONS AND THEORY OF PETRI NETS 2003
  • 2005. Using the π-Calculus for Formalizing Workflow Patterns in BUSINESS PROCESS MANAGEMENT
  • 1992. A survey of equivalence notions for net based systems in ADVANCES IN PETRI NETS 1992
  • 2005. Transforming BPEL to Petri Nets in BUSINESS PROCESS MANAGEMENT
  • 2008. Transforming XPDL to Petri Nets in BUSINESS PROCESS MANAGEMENT WORKSHOPS
  • 2005. Verification of EPCs: Using Reduction Rules and Petri Nets in ACTIVE FLOW AND COMBUSTION CONTROL 2018
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/s10270-010-0149-9

    DOI

    http://dx.doi.org/10.1007/s10270-010-0149-9

    DIMENSIONS

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


    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": "Institute of Specifications and Standards, 200235, Shanghai, China", 
              "id": "http://www.grid.ac/institutes/None", 
              "name": [
                "Department of Computer Science and Technology, Tsinghua University, 100084, Beijing, China", 
                "School of Software, Tsinghua University, 100084, Beijing, China", 
                "Institute of Specifications and Standards, 200235, Shanghai, China"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Zha", 
            "givenName": "Haiping", 
            "id": "sg:person.012223211371.78", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012223211371.78"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Eindhoven University of Technology, P.O. Box 513, 5600\u00a0MB, Eindhoven, The Netherlands", 
              "id": "http://www.grid.ac/institutes/grid.6852.9", 
              "name": [
                "Eindhoven University of Technology, P.O. Box 513, 5600\u00a0MB, Eindhoven, 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"
          }, 
          {
            "affiliation": {
              "alternateName": "School of Software, Tsinghua University, 100084, Beijing, China", 
              "id": "http://www.grid.ac/institutes/grid.12527.33", 
              "name": [
                "School of Software, Tsinghua University, 100084, Beijing, China"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Wang", 
            "givenName": "Jianmin", 
            "id": "sg:person.012303351315.43", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012303351315.43"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "School of Software, Tsinghua University, 100084, Beijing, China", 
              "id": "http://www.grid.ac/institutes/grid.12527.33", 
              "name": [
                "School of Software, Tsinghua University, 100084, Beijing, China"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Wen", 
            "givenName": "Lijie", 
            "id": "sg:person.013640554311.55", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013640554311.55"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "School of Software, Tsinghua University, 100084, Beijing, China", 
              "id": "http://www.grid.ac/institutes/grid.12527.33", 
              "name": [
                "Department of Computer Science and Technology, Tsinghua University, 100084, Beijing, China", 
                "School of Software, Tsinghua University, 100084, Beijing, China"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Sun", 
            "givenName": "Jiaguang", 
            "id": "sg:person.011411464635.59", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011411464635.59"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/3-540-55610-9_180", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1022281690", 
              "https://doi.org/10.1007/3-540-55610-9_180"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1023/a:1022883727209", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1030766505", 
              "https://doi.org/10.1023/a:1022883727209"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-78238-4_21", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034339648", 
              "https://doi.org/10.1007/978-3-540-78238-4_21"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11538394_11", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004380505", 
              "https://doi.org/10.1007/11538394_11"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11538394_15", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1036232044", 
              "https://doi.org/10.1007/11538394_15"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11431855_26", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1002298784", 
              "https://doi.org/10.1007/11431855_26"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-44919-1_31", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1017550503", 
              "https://doi.org/10.1007/3-540-44919-1_31"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2010-02-11", 
        "datePublishedReg": "2010-02-11", 
        "description": "Workflow modeling is a challenging activity and designers are likely to introduce errors, especially in complex industrial processes. Effective process verification is essential at design time because the cost of fixing errors during runtime is substantially higher. However, most user-oriented workflow modeling languages lack formal semantics that hinders such verification. In this paper, we propose a generic approach based on the model transformation to verify workflow processes. The model transformation includes two steps: first, it formalizes the desirable semantics of each modeling element; secondly, it translates a workflow process with clear semantics to an equivalent Petri net. Thus, we can verify the original workflow process using existing Petri net theory and analysis tools. As a comprehensive case study, verifying workflow processes in an industrial modeling language (TiPLM) is presented. Experimental evaluations on verifying real-world business processes validate our approach.", 
        "genre": "article", 
        "id": "sg:pub.10.1007/s10270-010-0149-9", 
        "inLanguage": "en", 
        "isAccessibleForFree": false, 
        "isPartOf": [
          {
            "id": "sg:journal.1136228", 
            "issn": [
              "1619-1366", 
              "1619-1374"
            ], 
            "name": "Software and Systems Modeling", 
            "publisher": "Springer Nature", 
            "type": "Periodical"
          }, 
          {
            "issueNumber": "2", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "10"
          }
        ], 
        "keywords": [
          "workflow processes", 
          "modeling language", 
          "model transformations", 
          "real-world business processes", 
          "workflow modeling language", 
          "original workflow process", 
          "equivalent Petri nets", 
          "transformation-based approach", 
          "Petri net theory", 
          "complex industrial processes", 
          "workflow modeling", 
          "formal semantics", 
          "business processes", 
          "clear semantics", 
          "desirable semantics", 
          "modeling elements", 
          "design time", 
          "process verification", 
          "Petri nets", 
          "such verification", 
          "generic approach", 
          "experimental evaluation", 
          "semantics", 
          "net theory", 
          "challenging activity", 
          "analysis tools", 
          "comprehensive case study", 
          "verification", 
          "language", 
          "runtime", 
          "case study", 
          "error", 
          "designers", 
          "industrial processes", 
          "nets", 
          "tool", 
          "cost", 
          "process", 
          "modeling", 
          "transformation", 
          "step", 
          "evaluation", 
          "time", 
          "elements", 
          "theory", 
          "study", 
          "activity", 
          "approach", 
          "paper", 
          "Effective process verification", 
          "most user-oriented workflow modeling languages", 
          "user-oriented workflow modeling languages", 
          "industrial modeling language"
        ], 
        "name": "Verifying workflow processes: a transformation-based approach", 
        "pagination": "253-264", 
        "productId": [
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1029525537"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/s10270-010-0149-9"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/s10270-010-0149-9", 
          "https://app.dimensions.ai/details/publication/pub.1029525537"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2022-01-01T18:23", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20220101/entities/gbq_results/article/article_518.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "https://doi.org/10.1007/s10270-010-0149-9"
      }
    ]
     

    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/s10270-010-0149-9'

    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/s10270-010-0149-9'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10270-010-0149-9'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s10270-010-0149-9'


     

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

    176 TRIPLES      22 PREDICATES      85 URIs      70 LITERALS      6 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/s10270-010-0149-9 schema:about anzsrc-for:08
    2 anzsrc-for:0803
    3 schema:author Ndfab7f1aded74884bd06bc62fd65dfe9
    4 schema:citation sg:pub.10.1007/11431855_26
    5 sg:pub.10.1007/11538394_11
    6 sg:pub.10.1007/11538394_15
    7 sg:pub.10.1007/3-540-44919-1_31
    8 sg:pub.10.1007/3-540-55610-9_180
    9 sg:pub.10.1007/978-3-540-78238-4_21
    10 sg:pub.10.1023/a:1022883727209
    11 schema:datePublished 2010-02-11
    12 schema:datePublishedReg 2010-02-11
    13 schema:description Workflow modeling is a challenging activity and designers are likely to introduce errors, especially in complex industrial processes. Effective process verification is essential at design time because the cost of fixing errors during runtime is substantially higher. However, most user-oriented workflow modeling languages lack formal semantics that hinders such verification. In this paper, we propose a generic approach based on the model transformation to verify workflow processes. The model transformation includes two steps: first, it formalizes the desirable semantics of each modeling element; secondly, it translates a workflow process with clear semantics to an equivalent Petri net. Thus, we can verify the original workflow process using existing Petri net theory and analysis tools. As a comprehensive case study, verifying workflow processes in an industrial modeling language (TiPLM) is presented. Experimental evaluations on verifying real-world business processes validate our approach.
    14 schema:genre article
    15 schema:inLanguage en
    16 schema:isAccessibleForFree false
    17 schema:isPartOf N11881135814a4236bf5b868ff630c6a8
    18 N1e4e748d62c6482595837105d03827de
    19 sg:journal.1136228
    20 schema:keywords Effective process verification
    21 Petri net theory
    22 Petri nets
    23 activity
    24 analysis tools
    25 approach
    26 business processes
    27 case study
    28 challenging activity
    29 clear semantics
    30 complex industrial processes
    31 comprehensive case study
    32 cost
    33 design time
    34 designers
    35 desirable semantics
    36 elements
    37 equivalent Petri nets
    38 error
    39 evaluation
    40 experimental evaluation
    41 formal semantics
    42 generic approach
    43 industrial modeling language
    44 industrial processes
    45 language
    46 model transformations
    47 modeling
    48 modeling elements
    49 modeling language
    50 most user-oriented workflow modeling languages
    51 net theory
    52 nets
    53 original workflow process
    54 paper
    55 process
    56 process verification
    57 real-world business processes
    58 runtime
    59 semantics
    60 step
    61 study
    62 such verification
    63 theory
    64 time
    65 tool
    66 transformation
    67 transformation-based approach
    68 user-oriented workflow modeling languages
    69 verification
    70 workflow modeling
    71 workflow modeling language
    72 workflow processes
    73 schema:name Verifying workflow processes: a transformation-based approach
    74 schema:pagination 253-264
    75 schema:productId N0656c24b99a5410f866806f9d8aad922
    76 N2f941dd19393463e8eaa5605862890fc
    77 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029525537
    78 https://doi.org/10.1007/s10270-010-0149-9
    79 schema:sdDatePublished 2022-01-01T18:23
    80 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    81 schema:sdPublisher Nda7c429e1ae44ba09b72d8438aaf92d5
    82 schema:url https://doi.org/10.1007/s10270-010-0149-9
    83 sgo:license sg:explorer/license/
    84 sgo:sdDataset articles
    85 rdf:type schema:ScholarlyArticle
    86 N0656c24b99a5410f866806f9d8aad922 schema:name doi
    87 schema:value 10.1007/s10270-010-0149-9
    88 rdf:type schema:PropertyValue
    89 N11881135814a4236bf5b868ff630c6a8 schema:volumeNumber 10
    90 rdf:type schema:PublicationVolume
    91 N1e4e748d62c6482595837105d03827de schema:issueNumber 2
    92 rdf:type schema:PublicationIssue
    93 N2f941dd19393463e8eaa5605862890fc schema:name dimensions_id
    94 schema:value pub.1029525537
    95 rdf:type schema:PropertyValue
    96 Ncbbda5c0a3c94d9ab0af1b125fc11f9f rdf:first sg:person.012303351315.43
    97 rdf:rest Nfffcfc72ca80482ebe07793bb4f7e1e1
    98 Nda7c429e1ae44ba09b72d8438aaf92d5 schema:name Springer Nature - SN SciGraph project
    99 rdf:type schema:Organization
    100 Ndfab7f1aded74884bd06bc62fd65dfe9 rdf:first sg:person.012223211371.78
    101 rdf:rest Nf159065b430745ff82b3ab8f51b85757
    102 Nf159065b430745ff82b3ab8f51b85757 rdf:first sg:person.014757056433.19
    103 rdf:rest Ncbbda5c0a3c94d9ab0af1b125fc11f9f
    104 Nf280cc64d3f2420c8d1843400b2ecd8e rdf:first sg:person.011411464635.59
    105 rdf:rest rdf:nil
    106 Nfffcfc72ca80482ebe07793bb4f7e1e1 rdf:first sg:person.013640554311.55
    107 rdf:rest Nf280cc64d3f2420c8d1843400b2ecd8e
    108 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    109 schema:name Information and Computing Sciences
    110 rdf:type schema:DefinedTerm
    111 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
    112 schema:name Computer Software
    113 rdf:type schema:DefinedTerm
    114 sg:journal.1136228 schema:issn 1619-1366
    115 1619-1374
    116 schema:name Software and Systems Modeling
    117 schema:publisher Springer Nature
    118 rdf:type schema:Periodical
    119 sg:person.011411464635.59 schema:affiliation grid-institutes:grid.12527.33
    120 schema:familyName Sun
    121 schema:givenName Jiaguang
    122 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011411464635.59
    123 rdf:type schema:Person
    124 sg:person.012223211371.78 schema:affiliation grid-institutes:None
    125 schema:familyName Zha
    126 schema:givenName Haiping
    127 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012223211371.78
    128 rdf:type schema:Person
    129 sg:person.012303351315.43 schema:affiliation grid-institutes:grid.12527.33
    130 schema:familyName Wang
    131 schema:givenName Jianmin
    132 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012303351315.43
    133 rdf:type schema:Person
    134 sg:person.013640554311.55 schema:affiliation grid-institutes:grid.12527.33
    135 schema:familyName Wen
    136 schema:givenName Lijie
    137 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013640554311.55
    138 rdf:type schema:Person
    139 sg:person.014757056433.19 schema:affiliation grid-institutes:grid.6852.9
    140 schema:familyName van der Aalst
    141 schema:givenName Wil M. P.
    142 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014757056433.19
    143 rdf:type schema:Person
    144 sg:pub.10.1007/11431855_26 schema:sameAs https://app.dimensions.ai/details/publication/pub.1002298784
    145 https://doi.org/10.1007/11431855_26
    146 rdf:type schema:CreativeWork
    147 sg:pub.10.1007/11538394_11 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004380505
    148 https://doi.org/10.1007/11538394_11
    149 rdf:type schema:CreativeWork
    150 sg:pub.10.1007/11538394_15 schema:sameAs https://app.dimensions.ai/details/publication/pub.1036232044
    151 https://doi.org/10.1007/11538394_15
    152 rdf:type schema:CreativeWork
    153 sg:pub.10.1007/3-540-44919-1_31 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017550503
    154 https://doi.org/10.1007/3-540-44919-1_31
    155 rdf:type schema:CreativeWork
    156 sg:pub.10.1007/3-540-55610-9_180 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022281690
    157 https://doi.org/10.1007/3-540-55610-9_180
    158 rdf:type schema:CreativeWork
    159 sg:pub.10.1007/978-3-540-78238-4_21 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034339648
    160 https://doi.org/10.1007/978-3-540-78238-4_21
    161 rdf:type schema:CreativeWork
    162 sg:pub.10.1023/a:1022883727209 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030766505
    163 https://doi.org/10.1023/a:1022883727209
    164 rdf:type schema:CreativeWork
    165 grid-institutes:None schema:alternateName Institute of Specifications and Standards, 200235, Shanghai, China
    166 schema:name Department of Computer Science and Technology, Tsinghua University, 100084, Beijing, China
    167 Institute of Specifications and Standards, 200235, Shanghai, China
    168 School of Software, Tsinghua University, 100084, Beijing, China
    169 rdf:type schema:Organization
    170 grid-institutes:grid.12527.33 schema:alternateName School of Software, Tsinghua University, 100084, Beijing, China
    171 schema:name Department of Computer Science and Technology, Tsinghua University, 100084, Beijing, China
    172 School of Software, Tsinghua University, 100084, Beijing, China
    173 rdf:type schema:Organization
    174 grid-institutes:grid.6852.9 schema:alternateName Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands
    175 schema:name Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands
    176 rdf:type schema:Organization
     




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


    ...