Publication

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

Groefsema, H. & Bucur, D., 2013, Proceedings of International Symposium on Business Modeling and Software Design. SciTePress, p. 198–203 5 p.

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

Copy link to clipboard

Documents

  • groefsema-bmsd

    Submitted manuscript, 99 KB, PDF-document

    Request copy

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)
CountryNetherlands
CityNoordwijkerhout
Period08/07/201310/07/2013

Event

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

08/07/201310/07/2013

Noordwijkerhout, Netherlands

Event: Conference

    Keywords

  • Business Process Management, Verification, Model Checking, Survey

View graph of relations

ID: 13361432