Formalization of Workflows and Correctness Issues in the Presence of Concurrency

An account is given on the concurrency control aspects of workflow systems. The fundamental issue of correctness criterion specific to workflow systems is defined through inter-activity constraints and basic constraints by using the semantic workflow information available at design-time. Based on th...

Full description

Bibliographic Details

Published in:	Distributed and parallel databases : an international journal Vol. 7; no. 2; pp. 199 - 248
Main Authors:	Arpinar, ÏsmaÏlcem Budak, Halici, UĞur, Arpinar, Sena, DoĞaÇ, Asuman
Format:	Journal Article
Language:	English
Published:	1999
ISSN:	0926-8782, 1573-7578
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!