Workflow soundness revisited : checking correctness in the presence of data while staying conceptual

N. Sidorova, C. Stahl, N. Trcka

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

20 Citations (Scopus)

Abstract

A conceptual workflow model specifies the control flow of a workflow together with abstract data information. This model is later on refined to be executed on an information system. It is desirable that correctness properties of the conceptual workflow would be transferrable 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. This technique allows us to conclude whether at least one or any refinement of a conceptual workflow model is sound.
Original languageEnglish
Title of host publicationAdvanced Information Systems Engineering (22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings)
EditorsB. Pernici
Place of PublicationBerlin
PublisherSpringer
Pages530-544
ISBN (Print)978-3-642-13093-9
DOIs
Publication statusPublished - 2010
Event22nd International Conference on Advanced Information Systems Engineering (CAiSE 2010) - Hammamet, Tunisia
Duration: 7 Jun 20109 Jun 2010
Conference number: 22

Publication series

NameLecture Notes in Computer Science
Volume6051
ISSN (Print)0302-9743

Conference

Conference22nd International Conference on Advanced Information Systems Engineering (CAiSE 2010)
Abbreviated titleCAiSE '10
CountryTunisia
CityHammamet
Period7/06/109/06/10

Fingerprint Dive into the research topics of 'Workflow soundness revisited : checking correctness in the presence of data while staying conceptual'. Together they form a unique fingerprint.

Cite this