ON CORRECTNESS CRITERIA FOR WORKFLOW EXCEPTION HANDLING POLICIES

Belinda M. Carter, Maria E. Orlowska

Abstract

Exception handling during the execution of workflow processes is a frequently addressed topic in the literature. Exception handling policies describe the desired response to exception events with respect to the current state of the process instance in execution. In this paper, we present insights into the definition and verification of such policies for handling asynchronous, expected exceptions. In particular, we demonstrate that the definition of exception handling policies is not a trivial exercise in the context of complex processes, and, while different approaches to defining and enforcing exception handling policies have been proposed, the issue of verification of the policies has not yet been addressed. The main contribution of this paper is a set of correctness criteria which we envisage could form the foundation of a complete verification solution for exception handling policies.

References

  1. van der Aalst, W.M.P., van Dongen, B.F., Herbst, J., Maruster, L., Schimm, G. and Weijters, A.J.M.M. 2003, 'Workflow mining: A survey of issues and approaches', Data and Knowledge Engineering, vol. 47, no. 2, pp. 237-267.
  2. Adams, M., ter Hofstede, A. H. M., Edmond, D. and van der Aalst, W.M.P. 2005, 'Facilitating Flexibility and Dynamic Exception Handling in Workflows through Worklets', in Proc. 17th Conference on Advanced Information Systems Engineering (CAiSE05) Forum, June 2005, Porto, Portugal.
  3. Bae, J., Bae, H., Kang, S.-H. Kim, Y. 2004, 'Automatic Control of Workflow Processes Using ECA Rules', IEEE Transactions on Knowledge and Data Engineering, vol. 16, no. 8.
  4. Carter, B. M. and Orlowska, M. E. 2007, 'On the Definition of Exception Handling Policies for Asynchronous Events in Workflow Processes', IRMA International Conference, Vancouver, British Columbia, Canada.
  5. Casati, F. 1999, 'A discussion on approaches to handling exceptions in workflows', SIGGROUP Bull., vol. 20, no. 3, pp. 3-4.
  6. Casati, F., Ceri, S., Paraboschi, S., and Pozzi, G. 1999, 'Specification and implementation of exceptions in workflow management systems', ACM Transactions on Database Systems (TODS) 24, pp. 405-451.
  7. Casati, F., Pozzi, G. 1999, 'Modeling Exception Behaviors in Commercial Workflow Management Systems', in Proc. 4th International Conference on Cooperative Information Systems, Edinburgh, Scotland.
  8. Kappel, G., Rausch-Schott, S., and Retschitzegger, W. 1997, 'Coordination in Workflow Management Systems - A Rule-Based Approach', Coordination Technology for Collaborative Applications - Organizations, Processes, and Agents, LNCS, vol. 1364. Springer-Verlag, London, pp. 99-120.
  9. Luo, Z., Sheth, A., Kochut, K., and Miller, J. 2000, 'Exception handling in workflow systems', Applied Intelligence, vol. 13, no. 2, pp. 125-147.
  10. Mourão, H., Antunes, P. 2004, 'Exception Handling Through a Workflow', in Proc. 12th International Conference on Cooperative Information Systems (CoopIS'04), pp. 37-54.
  11. Müller, R., Greiner, U., & Rahm, E. 2004, 'AgentWork: A Workflow-System Supporting Rule-Based Workflow Adaptation', Data and Knowledge Engineering, vol. 51, no. 2.
  12. Sadiq, S. and Orlowska, M.E. 2000a, 'On Capturing Exceptions in Workflow Process Models', in Proc. 4th International Conference on Business Information Systems, Poznan, Poland.
  13. Sadiq, S., Orlowska, M., Sadiq, W., and Foulger, C. 2004, 'Data Flow and Validation in Workflow Modeling', in Proc. Fifteenth Australasian Database Conference, Dunedin, New Zealand.
  14. Sadiq, W. and Orlowska, M.E. (2000b) Analyzing Process Models using Graph Reduction Techniques. Information Systems, vol. 25, no. 2, pp. 117-134. Elsevier Science.
  15. Widom, J. and Ceri, S. 1996, Active Database Systems, Morgan Kaufmann Publishers.
  16. Workflow Management Coalition. 1998, The Workflow Reference Model, Document Number TC00-1003, Issue 1.1, 19-Jan-95.
Download


Paper Citation


in Harvard Style

M. Carter B. and E. Orlowska M. (2007). ON CORRECTNESS CRITERIA FOR WORKFLOW EXCEPTION HANDLING POLICIES . In Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 1: ICEIS, ISBN 978-972-8865-88-7, pages 315-322. DOI: 10.5220/0002374303150322


in Bibtex Style

@conference{iceis07,
author={Belinda M. Carter and Maria E. Orlowska},
title={ON CORRECTNESS CRITERIA FOR WORKFLOW EXCEPTION HANDLING POLICIES},
booktitle={Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 1: ICEIS,},
year={2007},
pages={315-322},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002374303150322},
isbn={978-972-8865-88-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 1: ICEIS,
TI - ON CORRECTNESS CRITERIA FOR WORKFLOW EXCEPTION HANDLING POLICIES
SN - 978-972-8865-88-7
AU - M. Carter B.
AU - E. Orlowska M.
PY - 2007
SP - 315
EP - 322
DO - 10.5220/0002374303150322