ON CORRECTNESS CRITERIA FOR WORKFLOW EXCEPTION HANDLING POLICIES

Belinda M. Carter, Maria E. Orlowska

2007

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.

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