Analyzing workflows implied by instance-dependent access rules

Calders, Toon and Dekeyser, Stijn and Hidders, Jan and Paredaens, Jan (2006) Analyzing workflows implied by instance-dependent access rules. In: 2006 ACM SIGMOD/PODS Conference, 26-29 June 2006, Chicago, Illinois.

PDF (Accepted Version)

Download (339kB)


Recently proposed form-based web information systems liberate
the capture and reuse of data in organizations by
substituting the development of technical implementations
of electronic forms for the conceptual modelling of forms'
tree-structured schemas and their data access rules. Significantly,
these instance-dependent rules also imply a workflow
process associated to a form, eliminating the need for
a costly workflow design phase. Instead, the workflows thus
created in an ad hoc manner by unsophisticated end-users
can be automatically analyzed, and incorrect forms rejected.
This paper examines fundamental correctness properties
of workflows that are implied by instance-dependent access
rules. Specifically, we study the decidability of the form
completability property and the semi-soundness of a form's
workflow. These problems are affected by a choice of constraints
on the path language used to express access rules
and completion formulas, and on the depth of the form's
schema tree. Hence, we study these problems by examining
them in the context of several different fragments determined by such constraints.

Statistics for USQ ePrint 705
Statistics for this ePrint Item
Item Type: Conference or Workshop Item (Commonwealth Reporting Category E) (Paper)
Refereed: Yes
Item Status: Live Archive
Additional Information: PODS'06, June 26-28, 2006, Chicago, Illinois, USA. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in PODS'06,
Faculty/School / Institute/Centre: Historic - Faculty of Sciences - Department of Maths and Computing (Up to 30 Jun 2013)
Faculty/School / Institute/Centre: Historic - Faculty of Sciences - Department of Maths and Computing (Up to 30 Jun 2013)
Date Deposited: 11 Oct 2007 00:27
Last Modified: 02 Jul 2013 22:33
Uncontrolled Keywords: instance-dependent access rules, workflows
Fields of Research (2008): 08 Information and Computing Sciences > 0802 Computation Theory and Mathematics > 080299 Computation Theory and Mathematics not elsewhere classified
01 Mathematical Sciences > 0102 Applied Mathematics > 010203 Calculus of Variations, Systems Theory and Control Theory
Fields of Research (2020): 46 INFORMATION AND COMPUTING SCIENCES > 4613 Theory of computation > 461399 Theory of computation not elsewhere classified
49 MATHEMATICAL SCIENCES > 4901 Applied mathematics > 490103 Calculus of variations, mathematical aspects of systems theory and control theory
Identification Number or DOI:

Actions (login required)

View Item Archive Repository Staff Only