Concepedia

Workflow Verification

Workflow Verification is a formal method within workflow orchestration that systematically checks the correctness, consistency, and compliance of workflow models or executions against specified requirements, constraints, or properties to ensure intended behavior.

101

Publications

4.3K

Citations

206

Authors

107

Institutions

Publications per year

2017–2026

16

Parents

Publications

101

Correctness criteria for dynamic changes in workflow systems––a survey

Stefanie Rinderle, Manfred Reichert, Peter Dadam · Data & Knowledge Engineering · 2004 · 422 citations

, , +11

Verification Of Workflow Task Structures: A Petri-net-baset Approach

Wil M. P. van der Aalst, Arthur H. M. ter Hofstede · Information Systems · 2000 · 267 citations

, , +13

Semantics and Verification of UML Activity Diagrams for Workflow Modelling

2002 · 176 citations · Full text

, , +17

Data flow and validation in workflow modelling

Shazia Sadiq, Maria E. Orłowska, Shazia Sadiq et al. · Queensland's institutional digital repository (The University of Queensland) · 2004 · 163 citations

, , +16

Business process verification – finally a reality!

Moe Thandar Wynn, H. M. W. Verbeek, Wil M. P. van der Aalst et al. · Business Process Management Journal · 2009 · 155 citations

, , +16

1–5 of 101

Authors

206

  1. WM
    Wil M. P. van der Aalst

    Eindhoven University of Technology, Netherlands

    12 publications · 686 citations

    12

    h-index

  2. YY
    Yun Yang

    Swinburne University of Technology, Australia

    9 publications · 364 citations

    9

    h-index

  3. JC
    Jinjun Chen

    Swinburne University of Technology, Australia

    7 publications · 289 citations

    7

    h-index

  4. HM
    H. M. W. Verbeek

    Eindhoven University of Technology, Netherlands

    6 publications · 294 citations

    6

    h-index

  5. AH
    Arthur H. M. ter Hofstede

    Queensland University of Technology, Australia

    6 publications · 612 citations

    6

    h-index

1–5 of 206

Institutions

107

  1. Eindhoven University of Technology

    Eindhoven, The Netherlands

    12 h-index

    25 publications

    1.6K citations

  2. Swinburne University of Technology

    Melbourne, Australia

    8 h-index

    17 publications

    789 citations

  3. Queensland University of Technology

    Brisbane, Australia

    5 h-index

    13 publications

    1.4K citations

  4. Tongji University

    Shanghai, China

    4 h-index

    15 publications

    253 citations

  5. Wayne State University

    Detroit, United States

    4 h-index

    4 publications

    89 citations

  6. Centre d'études et de recherche en informatique et communications

    Paris, France

    3 h-index

    4 publications

    94 citations

  7. The University of Queensland

    Brisbane, Australia

    3 h-index

    8 publications

    900 citations

  8. University of Twente

    Enschede, The Netherlands

    3 h-index

    5 publications

    410 citations

1–8 of 107

Venues

  1. Data & Knowledge Engineering

    DKE · 4 publications · 560 citations

    4

    h-index

  2. IEEE Transactions on Services Computing

    2 publications · 34 citations

    2

    h-index

  3. SSRN Electronic Journal

    Repository · 2 publications · 35 citations

    2

    h-index

  4. IEEE Transactions on Software Engineering

    TSE · 2 publications · 194 citations

    2

    h-index

  5. Swinburne Research Bank (Swinburne University of Technology)

    Repository · 2 publications · 27 citations

    2

    h-index

1–5