Analyzing workflows implied by instance-dependent access rules

ABSTRACT

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.

REFERENCES

• 1: Microsoft Office InfoPath, 2003, http://www.microsoft.com/office/infopath/prodinfo/default.mspx.
• 2: J. Boyer, D. Landwehr, R. Merrick, T. Raman, M. Dubinko, and L. Klotz, XForms 1.0 (second edition), W3C Recommendation, March 2006, http://www.w3.org/MarkUp/Forms/.
• 3: Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Riccardo Rosati, Logical foundations of peer-to-peer data integration, Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 14-16, 2004, Paris, France [doi>10.1145/1055558.1055593]
• 4: S. Dekeyser, J. Hidders, R. Watson, and R. Addie, Peer-to-peer form based web information systems, ADC 2006 (Hobart, Tasmania, Australia) (Gill Dobbie and James Bailey, eds.), Australian Computer Society, Inc., January 2006.
• 5: Irini Fundulaki , Maarten Marx, Specifying access control policies for XML documents with XPath, Proceedings of the ninth ACM symposium on Access control models and technologies, June 02-04, 2004, Yorktown Heights, New York, USA [doi>10.1145/990036.990046]
• 6: Jan Hidders , Marlon Dumas , Wil M. P. van der Aalst , Arthur H. M. ter Hofstede , Jan Verelst, When are two workflows the same?, Proceedings of the 2005 Australasian symposium on Theory of computing, p.3-11, January 01, 2005, Newcastle, Australia
• 7: Hajo A. Reijers, Selma Limam, and Wil M. P. van der Aalst, Product-based workflow design, Journal of Management Information Systems 20 (2003), no. 1, 229--262.
• 8: H J Schek , M H Scholl, The relational model with relation-valued attributes, Information Systems, v.11 n.2, p.137-147, 1986 [doi>10.1016/0306-4379(86)90003-7]
• 9: W. van der Aalst, The application of petri nets to workflow management, Journal of Circuits, Systems, and Computers 8 (1998), no. 1, 21--66.
• 10: Wil M. P. van der Aalst , Alexander Hirnschall , H. M. W. (Eric) Verbeek, An Alternative Way to Analyze Workflow Graphs, Proceedings of the 14th International Conference on Advanced Information Systems Engineering, p.535-552, May 27-31, 2002

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.4 INFORMATION SYSTEMS APPLICATIONS
      H.4.1 Office Automation
          Subjects: Workflow management

Additional Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.1 Logical Design
      H.2.2 Physical Design
          Subjects: Access methods
  H.3 INFORMATION STORAGE AND RETRIEVAL
      H.3.4 Systems and Software
          Subjects: Performance evaluation (efficiency and effectiveness)

General Terms:
Design, Management, Performance