History-based joins : semantics, soundness and implementation

K.M. Hee, van, O.I. Oanea, A. Serebrenik, N. Sidorova, M. Voorhoeve

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

9 Citations (Scopus)
1 Downloads (Pure)


In this paper we study the use of case history for control structures in workflow processes. In particular we introduce a historydependent join. History dependent control offers much more modeling power than classical control structures and it solves several semantical problems of industrial modeling frameworks. We study the modeling power by means of workflow patterns. Since proper completion (i.e. the ability of any configuration reachable from the initial one to reach the final one) is always an important "sanity check" of process modeling, we introduce a modeling method that guarantees this property for the new control structures. Finally we consider an implementation of the proposed control structures on top of an existing workflow engine.
Original languageEnglish
Title of host publicationBusiness Process Management (Proceedings 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006)
EditorsS. Dustdar, J.L. Fiadeiro, A. Sheth
Place of PublicationBerlin
ISBN (Print)3-540-38901-6
Publication statusPublished - 2006

Publication series

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


Dive into the research topics of 'History-based joins : semantics, soundness and implementation'. Together they form a unique fingerprint.

Cite this