A survey of formal business process verification: From soundness to variability

Heerko Groefsema; Doina Bucur

A survey of formal business process verification: From soundness to variability

Heerko Groefsema, Doina Bucur

Distributed Systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

28 Citations (Scopus)

Abstract

Formal verification of business process models is of interest to a number of application areas, including checking for basic process correctness, business compliance, and process variability. A large amount of work on these topics exist, while a comprehensive overview of the field and its directions is lacking. We provide an overview and critical reflections on existing approaches.

Original language	English
Title of host publication	Proceedings of International Symposium on Business Modeling and Software Design
Publisher	SciTePress
Pages	198–203
Number of pages	5
Publication status	Published - 2013
Event	Third International Symposium on Business Modeling and Software Design (BMSD 2013) - Noordwijkerhout, Netherlands Duration: 8-Jul-2013 → 10-Jul-2013

Conference

Conference	Third International Symposium on Business Modeling and Software Design (BMSD 2013)
Country/Territory	Netherlands
City	Noordwijkerhout
Period	08/07/2013 → 10/07/2013

Keywords

Business Process Management
Veriﬁcation
Model Checking
Survey

Handle.net

Persistent link

Embargoed Document

groefsema-bmsd
Submitted manuscript, 99.5 KB
Request copy

Cite this

@inproceedings{d8c02281a83e4b10bc1c64afba5be60b,

title = "A survey of formal business process verification: From soundness to variability",

abstract = "Formal verification of business process models is of interest to a number of application areas, including checking for basic process correctness, business compliance, and process variability. A large amount of work on these topics exist, while a comprehensive overview of the field and its directions is lacking. We provide an overview and critical reflections on existing approaches.",

keywords = "Business Process Management, Veriﬁcation, Model Checking, Survey",

author = "Heerko Groefsema and Doina Bucur",

year = "2013",

language = "English",

pages = "198–203",

booktitle = "Proceedings of International Symposium on Business Modeling and Software Design",

publisher = "SciTePress",

note = "Third International Symposium on Business Modeling and Software Design (BMSD 2013) ; Conference date: 08-07-2013 Through 10-07-2013",

}

TY - GEN

T1 - A survey of formal business process verification

T2 - Third International Symposium on Business Modeling and Software Design (BMSD 2013)

AU - Groefsema, Heerko

AU - Bucur, Doina

PY - 2013

Y1 - 2013

N2 - Formal verification of business process models is of interest to a number of application areas, including checking for basic process correctness, business compliance, and process variability. A large amount of work on these topics exist, while a comprehensive overview of the field and its directions is lacking. We provide an overview and critical reflections on existing approaches.

AB - Formal verification of business process models is of interest to a number of application areas, including checking for basic process correctness, business compliance, and process variability. A large amount of work on these topics exist, while a comprehensive overview of the field and its directions is lacking. We provide an overview and critical reflections on existing approaches.

KW - Business Process Management

KW - Veriﬁcation

KW - Model Checking

KW - Survey

M3 - Conference contribution

SP - 198

EP - 203

BT - Proceedings of International Symposium on Business Modeling and Software Design

PB - SciTePress

Y2 - 8 July 2013 through 10 July 2013

ER -