Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible

N. Sidorova, C. Stahl, N. Trcka

Research output: Contribution to journalArticleAcademicpeer-review

51 Citations (Scopus)
4 Downloads (Pure)

Abstract

A conceptual workflow model specifies the control flow of a workflow together with abstract data information. This model is later on refined by adding specific data information, resulting in an executable workflow which is then run on an information system. It is desirable that correctness properties of the conceptual workflow are transferable to its refinements. In this paper, we present classical workflow nets extended with data operations as a conceptual workflow model. For these nets, we develop a novel technique to verify soundness. An executable workflow is sound if from every reachable state it is always possible to terminate properly. Our technique allows us to analyze a conceptual workflow and to conclude whether there exists at least one sound refinement of it, and whether any refinement of a conceptual workflow model is sound. The positive answer to the first question in combination with the negative answer to the second question means that sound and unsound refinements for the conceptual workflow in question are possible.
Original languageEnglish
Pages (from-to)1026-1043
JournalInformation Systems
Volume36
Issue number7
DOIs
Publication statusPublished - 2011

Fingerprint

Dive into the research topics of 'Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible'. Together they form a unique fingerprint.

Cite this