loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Belinda M. Carter and Maria E. Orlowska

Affiliation: School of Information Technology and Electrical Engineering, University of Queensland, Australia

ISBN: 978-972-8865-88-7

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.205.60.226

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

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

@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 3: ICEIS,},
year={2007},
pages={315-322},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002374303150322},
isbn={978-972-8865-88-7},
}

TY - CONF

JO - Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 3: 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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.