research-article

Exception Handling in Workflow Management Systems

Authors:

Gustavo AlonsoAuthors Info & Claims

IEEE Transactions on Software Engineering, Volume 26, Issue 10

Pages 943 - 958

https://doi.org/10.1109/32.879818

Published: 01 October 2000 Publication History

Abstract

Fault tolerance is a key requirement in Process Support Systems (PSS), a class of distributed computing middleware encompassing applications such as workflow management systems and process centered software engineering environments. A PSS controls the flow of work between programs and users in networked environments based on a metaprogram (the process). The resulting applications are characterized by a high degree of distribution and a high degree of heterogeneity (properties that make fault tolerance both highly desirable and difficult to achieve.) In this paper, we present a solution for implementing more reliable processes by using exception handling, as it is used in programming languages, and atomicity, as it is known from the transaction concept in database management systems. The paper describes the mechanism incorporating both transactions and exceptions and presents a validation technique allowing to assess the correctness of process specifications.

References

[1]

G. Alonso et al., “WISE: Business to Business E-commerce.” Proc. IEEE Ninth Int'l Workshop Research Issues on Data Eng., Mar. 1999.

Digital Library

[2]

G. Alonso and C. Hagen, “Geo-Opera: Workflow Concepts for Spatial Processes,” Proc. Fifth Int'l Symp. Spatial Databases (SSD '97), June 1997.

Digital Library

[3]

G. Alonso et al., “Distributed Processing over Stand-Alone Systems and Applications,” Proc. 23rd Int'l Conf. Very Large Databases (VLDB '97), 1997.

Digital Library

[4]

G. Alonso et al., “Towards a Platform for Distributed Application Development,” Workflow Management Systems and Interoperability, A. Dogac et al., eds., 1998.

[5]

G. Alonso et al., “Advanced Transaction Models in Workflow Contexts,” Proc. Int'l. Conf. Data Eng., Feb. 1996.

Digital Library

[6]

G. Alonso and C. Mohan, “Workflow Management: The Next Generation of Distributed Processing Tools,” Advanced Transaction Models and Architectures, S. Jajodia and L. Kerschberg, eds., Kluwer Academic, 1997.

[7]

G. Alonso and H.J. Schek, “Research Issues in Large Workflow Management Systems,” Proc. NSF Workshop Workflow and Process Automation in Information Systems, A. Sheth ed., pp. 126–132 May 1996. http://optimus.cs.uga.edu:5080/activities/NSF-workflow/proceedings.html.

[8]

T. Anderson and P.A. Lee, Fault Tolerance—Principles and Practice. Prentice Hall Int'l, 1981.

Digital Library

[9]

P. Arnold, “Integration eines erweiterten Transaktionsmodells in ein Workflow-Modell,” master's thesis, ETH Zürich, Institut für Informationssysteme, 1996.

[10]

P.A. Bernstein and E. Newcomer, Principles of Transaction Processing. Morgan Kaufmann, 1997.

Digital Library

[11]

Y. Breitbart et al., “Merging Application-Centric and Data-Centric Approaches to Support Transaction-Oriented Multi-System WorkFlows,” SIGMOD Record, vol. 22, no. 3, Sept. 1993.

Digital Library

[12]

A. Buchmann et al., “A Transaction Model for Active Distributed Object Systems,” Database Transaction Models for Advanced Applications, A. Elmagarmid, ed., pp. 123–158, 1992.

Digital Library

[13]

C. Canamero, “Validierung der Atomarität in Workflow- und Prozessunterstützungssystemen,” master's thesis, ETH Zürich, 1998.

[14]

Q. Chen and U. Dayal, “A Transactional Nested Process Management System,” Proc. 12th Int'l Conf. Data Eng. (ICDE '96), 1996.

Digital Library

[15]

Q. Chen and U. Dayal, “Failure Handling for Transaction Hierarchies,” Proc. 13th Int'l Conf. Data Eng. (ICDE '97), 1997.

Digital Library

[16]

C.T. Davies, “Data Processing Spheres of Control,” IBM Systems J., vol. 17, no. 2, pp. 179–198, 1978.

Digital Library

[17]

J. Eder and W. Liebhart, “Workflow Recovery,” Proc. First IFCIS Int'l Conf. Cooperative Information Systems (CoopIS '96), June 1996.

Digital Library

[18]

A. Elmagarmid, Transaction Models for Advanced Database Applications. Morgan-Kaufmann, 1992.

Digital Library

[19]

A.K. Elmagarmid et al., “A Multidatabase Transaction Model for Interbase,” Proc. Int'l Conf. Very Large Data Bases, pp. 507–518, 1990.

Digital Library

[20]

D. Flanagan, Java in a Nutshell. O'Reilly & Associates, 1996.

[21]

H. Garcia-Molina and K. Salem, “Sagas,” Proc. ACM SIGMOD, 1987.

Digital Library

[22]

D. Georgakopoulos M. Hornick and A. Sheth, “An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure,” Distributed and Parallel Databases, vol. 3, no. 2, pp. 119–153, 1995.

Digital Library

[23]

D. Georgakopoulos and M.F. Hornick, “A Framework for Enforcable Specification of Extended Transaction Models and Transactional Workflows,” Int'l J. Intelligent and Cooperative Information Systems, Sept. 1994.

[24]

D. Georgakopoulos M.F. Hornick and F. Manola, “Customizing Transaction Models and Mechanisms in a Programmable Environment Supporting Reliable Workflow Automation,” IEEE Trans. Knowledge and Data Eng., 1996.

Digital Library

[25]

J.B. Goodenough, “Exception Handling: Issues and a Proposed Notation,” Comm. the ACM, vol. 18, no. 12, pp. 683–695, Dec. 1975.

Digital Library

[26]

The Open Group, Distributed TP: The XA Specification, Open Group Technical Standard, 1992.

[27]

C. Hagen and G. Alonso, “Backup and Process Migration Mechanisms in Process Support Systems.” Technical Report 304, ETH Zurich, Ins. of Information Systems, Aug. 1998. http://www.inf.ethz.ch/department/IS/iks/publications/ha98d.html.

[28]

C. Hagen and G. Alonso, “Flexible Exception Handling in the OPERA Process Support System,” Proc. Int'l Conf. Distributed Computing Systems, May 1998.

Digital Library

[29]

C. Hagen and G. Alonso, “Beyond the Black Box: Event-Based Inter-Process Communication in Process Support Systems,” Proc. 19th Int'l Conf. Distributed Computer Systems (ICDCS 99), June 1999.

Digital Library

[30]

C. Hagen and G. Alonso, “Highly Available Process Support Systems: Implementing Backup Mechanisms,” Proc. 18th IEEE Symp. Reliable Distributed Systems, Oct. 1999.

Digital Library

[31]

Bulletin IEEE Technical Committee on Data Eng., Special Issue on Workflow and Extended Transaction Systems, M. Hsu ed., IEEE Computer Soc., June 1993.

[32]

Bulletin IEEE Technical Comittee on Data Eng., Special Issue on Workflow Systems, M. Hsu, ed., IEEE Computer Soc., Mar. 1995.

[33]

S. Jablonski and C. Bussler, Workflow Management. Int'l Thomson Computer Press, 1996.

[34]

P. Jalote and R.H. Campbell, “Atomic Actions for Software Fault Tolerance Using CSP,” IEEE Trans. Software Eng., vol. 12, no. 1, 1986.

Digital Library

[35]

“Towards Adaptive Workflow Systems,” Proc. Computer Supported Cooperative Work (CSCW 98') Workshop, M. Klein, C. Dellarocas, and A. Bernstein, eds. 1998. http://ccs.mit.edu/klein/cscw98/.

[36]

Dependability: Basic Concepts and Terminology, J.C. Laprie ed., Springer-Verlag, 1992.

[37]

Y. Leu A.K. Elmagarmid and N. Boudriga, “Specification and Execution of Transactions for Advanced Database Applications,” Information Systems, vol. 17, no. 2, pp. 171–183, 1992.

Digital Library

[38]

F. Leymann, “Supporting Business Transactions via Partial Backward Recovery in Workflow Management Systems,” Datenbanksysteme in Büro, Technik und Wissenschaft, pp. 51–70, 1995.

[39]

F. Leymann and W. Altenhuber, “Managing Business Processes as an Information Resource,” IBM Systems J., vol. 33, no. 2, pp. 326–348, 1994.

Digital Library

[40]

D.L. Parnas, “Response to Detected Errors in Well-Structured Programs,” technical report, Computer Science Dept, Carnegie-Mellon Univ., 1972.

[41]

L.C. Paulson, ML for the Working Programmer. Cambridge Univ. Press, 1991.

Digital Library

[42]

A. Romanowsky, “Pratical Exception Handling and Resolution in Concurrent Programs,” Computer Languages, vol. 23, no. 1, 1997.

Digital Library

[43]

R.W. Sebesta, Concepts of Programming Languages, third ed. Addison-Wesley, 1996.

Digital Library

[44]

Proc. NSF Workshop Workflow and Process Automation in Information Systems, A.Sheth, ed., May 1996. http://optimus.cs.uga.edu:5080/activities/NSF-workflow/proceedings.html.

[45]

G.L. Steele, Common Lisp: The Language, second ed. Digital Press, 1990.

Digital Library

[46]

B. Stroustrup, The C++ Programming Language, second ed. Addison-Wesley, 1991.

Digital Library

[47]

P. van Zee M. Burnett and M. Chesire, “Retire Superman: Handling Exceptions Seamlessly in a Declarative Visual Programming Language,” Proc. IEEE Symp. Visual Languages, Sept. 1996.

Digital Library

[48]

H. Waechter and A. Reuter, “The ConTract Model,” Transaction Models for Advanced Database Applications, A. Elmagarmid, ed., pp. 219–263, Morgan-Kaufmann, 1992.

Digital Library

[49]

G. Weikum and H.J. Schek, “Concepts and Applications of Multilevel Transactions and Open Nested Transactions,” Database Transaction Models for Advanced Applications, A.K. Elmagarmid, ed., Morgan Kauffman, 1991.

Digital Library

[50]

Workflow Management Coalition–Terminology and Glossary, Version 2.0. June 1996. http://www.aiai.ed.ac.uk/WfMC.

[51]

J. Xu A. Romanowsky and B. Randell, “Coordinated Exception Handling in Distributed Object Systems: From Model to System Implementation,” Proc. 18th Int'l Conf. Distributed Computing Systems (ICDCS '98), pp. 12–21, May 1998.

Digital Library

[52]

S. Yemini and D.M. Berry, “A Modular Verifiable Exception-Handling Mechanism,” ACM Trans. Programming Languages and Systems, vol. 7, no. 2, pp. 214–243, Apr. 1985.

Digital Library

Cited By

Baldoni MBaroglio CMicalizio RTedeschi SAgmon NAn BRicci AYeoh W(2023)Robust JaCaMo Applications via Exceptions and AccountabilityProceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems10.5555/3545946.3599169(3050-3052)Online publication date: 30-May-2023
https://dl.acm.org/doi/10.5555/3545946.3599169
Dumas MFournier FLimonad LMarrella AMontali MRehse JAccorsi RCalvanese DDe Giacomo GFahland DGal ALa Rosa MVölzer HWeber I(2023)AI-augmented Business Process Management Systems: A Research ManifestoACM Transactions on Management Information Systems10.1145/357604714:1(1-19)Online publication date: 31-Jan-2023
https://dl.acm.org/doi/10.1145/3576047
Voit NBochkov S(2021)Formal Method to Analyze Design Workflows in Software DevelopmentComputational Science and Its Applications – ICCSA 202110.1007/978-3-030-87013-3_14(182-194)Online publication date: 13-Sep-2021
https://dl.acm.org/doi/10.1007/978-3-030-87013-3_14
Show More Cited By

Index Terms

Exception Handling in Workflow Management Systems

Recommendations

Consulting past exceptions to facilitate workflow exception handling

In this paper, we propose an architecture model that deals with both expected and unexpected exceptions in the context of workflow management. Expected exceptions and their handling approaches are specified by ECA rules, while cases of unexpected ...
Efficient Java exception handling in just-in-time compilation
Research Articles

Java uses exceptions to provide elegant error handling capabilities during program execution. However, the presence of exception handlers complicates the job of the just-in-time (JIT) compiler, while exceptions are rarely used in most programs. This ...
Exception Handling and Software Fault Tolerance

Some basic concepts underlying the issue of fault-tolerant software design are investigated. Relying on these concepts, a unified point of view on programmed exception handling and default exception handling based on automatic backward recovery is ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image IEEE Transactions on Software Engineering

IEEE Transactions on Software Engineering Volume 26, Issue 10

special section on current trends in exception handling—part II

October 2000

103 pages

ISSN:0098-5589

Editors:
Anneliese von Mayrhauser Andrews
Colorado State Univ., Fort Collins, CO
,
David L. Parnas
McMaster Univ., Hamilton, Ont., Canada
,
Dewayne M. Perry
Univ. of Texas at Austin, Austin, TX
,
Alexander Romanovsky
Univ. of Newcastle upon Tyne, Newcastle upon Tyne, UK
,
Anand Tripathi
Univ. of Minnesota, Minneapolis

Issue’s Table of Contents

Copyright © Copyright © 2000 IEEE. All Rights Reserved.

Publisher

IEEE Press

Publication History

Published: 01 October 2000

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

90
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 04 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Baldoni MBaroglio CMicalizio RTedeschi SAgmon NAn BRicci AYeoh W(2023)Robust JaCaMo Applications via Exceptions and AccountabilityProceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems10.5555/3545946.3599169(3050-3052)Online publication date: 30-May-2023
https://dl.acm.org/doi/10.5555/3545946.3599169
Dumas MFournier FLimonad LMarrella AMontali MRehse JAccorsi RCalvanese DDe Giacomo GFahland DGal ALa Rosa MVölzer HWeber I(2023)AI-augmented Business Process Management Systems: A Research ManifestoACM Transactions on Management Information Systems10.1145/357604714:1(1-19)Online publication date: 31-Jan-2023
https://dl.acm.org/doi/10.1145/3576047
Voit NBochkov S(2021)Formal Method to Analyze Design Workflows in Software DevelopmentComputational Science and Its Applications – ICCSA 202110.1007/978-3-030-87013-3_14(182-194)Online publication date: 13-Sep-2021
https://dl.acm.org/doi/10.1007/978-3-030-87013-3_14
Brown CParnin CDevanbu PCohen MZimmermann T(2020)Understanding the impact of GitHub suggested changes on recommendations between developersProceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3368089.3409722(1065-1076)Online publication date: 8-Nov-2020
https://dl.acm.org/doi/10.1145/3368089.3409722
Marrella AMecella MSardiña SLinares López C(2018)Supporting adaptiveness of cyber-physical processes through action-based formalismsAI Communications10.3233/AIC-17074831:1(47-74)Online publication date: 1-Jan-2018
https://dl.acm.org/doi/10.3233/AIC-170748
Boukhris SAndrews AAlhaddad ADewri R(2017)A case study of black box fail-safe testing in web applicationsJournal of Systems and Software10.1016/j.jss.2016.09.031131:C(146-167)Online publication date: 1-Sep-2017
https://dl.acm.org/doi/10.1016/j.jss.2016.09.031
Liang HDu Y(2017)Dynamic service selection with QoS constraints and inter-service correlations using cooperative coevolutionFuture Generation Computer Systems10.1016/j.future.2017.05.01976:C(119-135)Online publication date: 1-Nov-2017
https://dl.acm.org/doi/10.1016/j.future.2017.05.019
Marrella AMecella MSardina S(2016)Intelligent Process Adaptation in the SmartPM SystemACM Transactions on Intelligent Systems and Technology10.1145/29480718:2(1-43)Online publication date: 2-Nov-2016
https://dl.acm.org/doi/10.1145/2948071
Vasilecas OKalibatiene DLavbič D(2016)Rule- and context-based dynamic business process modelling and simulationJournal of Systems and Software10.1016/j.jss.2016.08.048122:C(1-15)Online publication date: 1-Dec-2016
https://dl.acm.org/doi/10.1016/j.jss.2016.08.048
Naghdi SAmini M(2016)Preventing database schema extraction by error message handlingInformation Systems10.1016/j.is.2015.09.01056:C(135-156)Online publication date: 1-Mar-2016
https://dl.acm.org/doi/10.1016/j.is.2015.09.010
Show More Cited By

View Options

View options

Media

Figures

Other

Tables

View Issue’s Table of Contents