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

Heerko Groefsema, Doina Bucur

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

29 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 languageEnglish
Title of host publicationProceedings of International Symposium on Business Modeling and Software Design
PublisherSciTePress
Pages198–203
Number of pages5
Publication statusPublished - 2013
EventThird International Symposium on Business Modeling and Software Design (BMSD 2013) - Noordwijkerhout, Netherlands
Duration: 8-Jul-201310-Jul-2013

Conference

ConferenceThird International Symposium on Business Modeling and Software Design (BMSD 2013)
Country/TerritoryNetherlands
CityNoordwijkerhout
Period08/07/201310/07/2013

Keywords

  • Business Process Management
  • Verification
  • Model Checking
  • Survey

Fingerprint

Dive into the research topics of 'A survey of formal business process verification: From soundness to variability'. Together they form a unique fingerprint.

Cite this