Authors:
Belinda M. Carter
and
Maria E. Orlowska
Affiliation:
School of Information Technology and Electrical Engineering, University of Queensland, Australia
Keyword(s):
Workflow, exception handling, verification, correctness criteria, event-driven business process management.
Related
Ontology
Subjects/Areas/Topics:
Databases and Information Systems Integration
;
Enterprise Information Systems
;
Enterprise Resource Planning
;
Enterprise Software Technologies
;
Simulation and Modeling
;
Simulation Tools and Platforms
;
Software Engineering
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.