Specification and implementation of exceptions in workflow management systems

ABSTRACT

Although workflow management systems are most applicable when an organization follows standard business processes and routines, any of these processes faces the need for handling exceptions, i.e., asynchronous and anomalous situations that fall outside the normal control flow.In this paper we concentrate upon anomalous situtations that, although unusual, are part of the semantics of workflow applications, and should be specified and monitored coherently; in most real-life applications, such exceptions affect a significant fraction of workflow cases. However, very few workflow management systems are integrated with a highly expressive language for specifying this kind of exception and with a system component capable of handling it. We present Chimera-Exc, a language for the specification of exceptions for workflows based on detached active rules, and then describe the architecture of a system, called FAR, that implements Chimera-Exc and integrates it with a commercial workflow management system and database server. We discuss the main issues that were solved by our implementation, and report on the performance of FAR. We also discuss design criteria for exceptions in light of the formal properties of their execution. Finally, we focus on the portability of FAR on its unbundling to a generic architecture with detached active rules.

REFERENCES

• 1: Alexander Aiken , Joseph M. Hellerstein , Jennifer Widom, Static analysis techniques for predicting the behavior of active database rules, ACM Transactions on Database Systems (TODS), v.20 n.1, p.3-41, March 1995 [doi>10.1145/202106.202107]
• 2: Gustavo Alonso , Divyakant Agrawal , Amr El Abbadi , Mohan Kamath , Roger Günthör , C. Mohan, Advanced Transaction Models in Workflow Contexts, Proceedings of the Twelfth International Conference on Data Engineering, p.574-581, February 26-March 01, 1996
• 3: ALONSO, G., KAMATH, M., AGRAWAL, D., ABBAD,A.E.,GUNTHOR, R., AND MOHAN, C. 1994. Failure handling in large scale workflow management systems. Tech. Rep. RJ9913. IBM Almaden Research Center.
• 4: ATZENI, P., CERI, S., PARABOSCHI, S., AND TORLONE, R. 1999. Database Systems: Concepts, Languages and Architectures. McGraw-Hill, Inc., Hightstown, NJ.
• 5: AURAMAKI,E.AND LEPPANEN, M. 1989. Exceptions and office information systems. In Office Information System: the Design Process Elsevier Sci. Pub. B. V., Amsterdam, The Nether-lands.
• 6: Elena Baralis , Stefano Ceri , Stefano Paraboschi, Compile-Time and Runtime Analysis of Active Behaviors, IEEE Transactions on Knowledge and Data Engineering, v.10 n.3, p.353-370, May 1998 [doi>10.1109/69.687973]
• 7: Elena Baralis , Jennifer Widom, An Algebraic Approach to Rule Analysis in Expert Database Systems, Proceedings of the 20th International Conference on Very Large Data Bases, p.475-486, September 12-15, 1994
• 8: Grady Booch, Software engineering with Ada, Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1983
• 9: Alexander Borgida, Language features for flexible handling of exceptions in information systems, ACM Transactions on Database Systems (TODS), v.10 n.4, p.565-603, Dec. 1985 [doi>10.1145/4879.4995]
• 10: Alexander Borgida , John Mylopoulos , Joachim W. Schmidt , Ingrid Wetzel, Support for data-intensive applications: conceptual design and software development, Proceedings of the second international workshop on Database programming languages, p.258-280, December 1989, Salishan Lodge, Gleneden Beach, Oregon, United States
• 11: BORGIDA, A., MYLOPOULOS, J., AND WONG, H. 1984. Generalization as a basis for software specification. In On Conceptual Modeling Springer-Verlag, New York, NY, 87-114.
• 12: Gérome Canals , Nacer Boudjlida , Jean-Claude Derniame , Claude Godart , Jacques Lonchamp, ALF: a framework for building process-centred software engineering environments, Software process modelling and technology, Research Studies Press Ltd., Taunton, UK, 1994
• 13: CANNAN,S.J.AND OTTEN, G. A. M. 1992. SQL-The Standard Handbook. McGraw-Hill, Inc., Hightstown, NJ.
• 14: Fabio Casati , Stefano Ceri , Barbara Pernici , Giuseppe Pozzi, Deriving Active Rules for Workflow Enactment, Proceedings of the 7th International Conference on Database and Expert Systems Applications, p.94-115, September 09-13, 1996
• 15: F. Casati , S. Ceri , B. Pernici , G. Pozzi, Workflow evolution, Data & Knowledge Engineering, v.24 n.3, p.211-238, Jan. 1, 1998 [doi>10.1016/S0169-023X(97)00033-5]
• 16: Stefano Ceri , Elena Baralis , Piero Fraternali , Stefano Paraboschi, Design of Active Rule Applications: Issues and Approaches, Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases, p.1-18, December 04-07, 1995
• 17: CERI, S., FRATERNALI, P., PARABOSCHI, S., AND TANCA, L. 1996. Active rule management in Chimera. In Active Database Systems, J. Widom and S. Ceri, Eds. Morgan Kaufmann Publishers Inc., San Francisco, CA, 151-176.
• 18: CERI, S., GENNARO, C., PARABOSCHI, S., AND SERAZZI, G. 1998. Scheduling exceptions in a workflow management system. Tech. Rep. TR-98.27. Dip. di Elettronica e Informazione, Politecnico di Milano, Milan, Italy.
• 19: Stefano Ceri , Georg Gottlob , Letizia Tanca, Logic programming and databases, Springer-Verlag New York, Inc., New York, NY, 1990
• 20: Stefano Ceri , Raghu Ramakrishnan, Rules in database systems, ACM Computing Surveys (CSUR), v.28 n.1, p.109-111, March 1996 [doi>10.1145/234313.234362]
• 21: Stefano Ceri , Jennifer Widom, Deriving production rules for constraint maintenance, Proceedings of the sixteenth international conference on Very large databases, p.566-577, September 1990, Brisbane, Australia
• 22: S. Chakravarthy, Sentinel: an object-oriented DBMS with event-based rules, ACM SIGMOD Record, v.26 n.2, p.572-575, June 1997
• 23: Roberta Cochrane , Hamid Pirahesh , Nelson Mendonça Mattos, Integrating Triggers and Declarative Constraints in SQL Database Sytems, Proceedings of the 22th International Conference on Very Large Data Bases, p.567-578, September 03-06, 1996
• 24: Reidar Conradi , Marianne Hagaseth , Jens-Otto Larsen , Minh Ngoc Nguyên , Bjørn P. Munch , Per H. Westby , Weicheng Zhu , M. Letizia Jaccheri , Chunnian Liu, EPOS: object-oriented cooperative process modelling, Software process modelling and technology, Research Studies Press Ltd., Taunton, UK, 1994
• 25: CUGOLA, G. 1998. Inconsistencies and deviations in process support systems. Ph.D. Dissertation. Dip. di Elettronica e Informazione, Politecnico di Milano, Milan, Italy.
• 26: Umeshwar Dayal , Meichun Hsu , Rivka Ladin, Organizing long-running activities with triggers and transactions, Proceedings of the 1990 ACM SIGMOD international conference on Management of data, p.204-214, May 23-26, 1990, Atlantic City, New Jersey, United States
• 27: DENNIS,R.AND MCCARTHY, S. K. S. 1993. Workflow and transactions in InConcert. IEEE Data Eng. 16, 2 (June), 53-56.
• 28: EDER,J.AND LIEBHART, W. 1995. The workflow activity model WAMO. In Proceedings of the International Conference on Cooperative Information Systems (Vienna, Austria, May)
• 29: EDER,J.AND LIEBHART, W. 1998. Contributions to exception handling in workflow management. In Proceedings of the Sixth International Conference on Extending Database Technology (Valencia, Spain, Mar.), H. -J. Schek, F. Saltor, I. Ramos, and G. Alonso, Eds.
• 30: Hector Garcia-Molina , Yannis Papakonstantinou , Dallan Quass , Anand Rajaraman , Yehoshua Sagiv , Jeffrey Ullman , Vasilis Vassalos , Jennifer Widom, The TSIMMIS Approach to Mediation: Data Models and Languages, Journal of Intelligent Information Systems, v.8 n.2, p.117-132, March/April 1997 [doi>10.1023/A:1008683107812]
• 31: Stella Gatziu , Hans Fritschi , Anca Vaduva, SAMOS an Active Object-Oriented Database System: Manual, University of Zurich, 1996
• 32: Stella Gatziu , Arne Koschel , Günter von Bültzingsloewen , Hans Fritschi, Unbundling active functionality, ACM SIGMOD Record, v.27 n.1, p.35-40, March 1998 [doi>10.1145/273244.273255]
• 33: Dimitrios Georgakopoulos , Mark Hornick , Amit Sheth, An overview of workflow management: from process modeling to workflow automation infrastructure, Distributed and Parallel Databases, v.3 n.2, p.119-153, April 1995 [doi>10.1007/BF01277643]
• 34: Andreas Geppert , Dimitrios Tombros, Event-based Distributed Workflow Execution with EVE, University of Zurich, 1996
• 35: Jim Gray , Andreas Reuter, Transaction Processing: Concepts and Techniques, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1992
• 36: Paul Grefen , Barbara Pernici , Gabriel Sanchez, Database Support for Workflow Management: The Wide Project, Kluwer Academic Publishers, Norwell, MA, 1999
• 37: Claus Hagen , Gustavo Alonso, Flexible Exception Handling in the OPERA Process Support System, Proceedings of the The 18th International Conference on Distributed Computing Systems, p.526, May 26-29, 1998
• 38: HEINL, P. 1998. Exceptions during workflow execution. In Proceedings of the Sixth International Conference on Extending Database Technology (Valencia, Spain, Mar.), H. -J. Schek, F. Saltor, I. Ramos, and G. Alonso, Eds.
• 39: HEWLETT-PACKARD. 1998. Changengine Admin Edition (AdminFlow) Process Design Guide. Hewlett-Packard, Fort Collins, CO.
• 40: IBM. 1996. IBM FlowMark - Modeling Workflows. IBM Corp., Riverton, NJ.
• 41: Kurt Jensen, Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1, Springer-Verlag, London, 1996
• 42: G. Junkermann , B. Peuschel , W. Schäfer , S. Wolf, MERLIN: supporting cooperation in software development through a knowledge-based environment, Software process modelling and technology, Research Studies Press Ltd., Taunton, UK, 1994
• 43: Mohan Kamath , Krithi Ramamritham, Failure Handling and Coordinated Execution of Concurrent Workflows, Proceedings of the Fourteenth International Conference on Data Engineering, p.334-341, February 23-27, 1998
• 44: KAPPEL, G., LANG, P., RAUSCH-SCHOTT, S., AND RETSCHITZEGGER, W. 1995. Workflow manage-ment based on objects, rules, and roles. IEEE Data Eng. 18, 1 (Mar.), 11-18.
• 45: G. Kappel , W. Retschitzegger, The TriGS active object-oriented database system— an overview, ACM SIGMOD Record, v.27 n.3, p.36-41, Sept. 1, 1998 [doi>10.1145/290593.290601]
• 46: LEBAN, B., MCDONALD,D.D.,AND FORSTER, D. R. 1986. A representation for collections of temporal intervals. In Proceedings of the Conference on AAA-I (AAAI'86, Philadelphia, PA) 367-371.
• 47: F. Leymann , D. Roller, Workflow-based applications, IBM Systems Journal, v.36 n.1, p.102-123, 1997
• 48: MOHAN, C. 1997. Recent trends in workflow management products, standards, and research. In Proceedings of the NATO Advanced Study Institute on Workflow Management Systems and Interoperability (Aug.)
• 49: ORACLE CORP. 1996. Oracle 7 Server Concepts Manual. Oracle Corp., Redwood City, CA.
• 50: Norman W. Paton , F. Schneider , D. Gries, Active Rules in Database Systems, Springer-Verlag New York, Inc., Secaucus, NJ, 1998
• 51: PERNICI, B., Ed. 1989. Office Information System: the Design Process. Elsevier Sci. Pub. B. V., Amsterdam, The Netherlands.
• 52: PERNICI,B.AND SANCHEZ, G. 1996. The WIDE workflow model. Tech. Rep. 3002-3, WIDE Consortium.
• 53: REMEDY CORP. 1996. Action Request System 3.0 Administrator's Guide. Remedy Corp..
• 54: REUTER, A., SCHNEIDER, K., AND SCHWENKREIS, F. 1997. Contracts revisited. In Advanced Transaction Models and Architectures, S. Jajodia and L. Kerschberg, Eds. Kluwer Academic Publishers, Hingham, MA.
• 55: SAASTAMOINEN, H. 1995. On the handling of exceptions in information systems. Ph.D. Dissertation. University of Jyvaskyla.
• 56: Avi Silberschatz , Stan Zdonik, Database systems—breaking out of the box, ACM SIGMOD Record, v.26 n.3, p.36-50, Sept. 1997 [doi>10.1145/262762.262768]
• 57: SOFTWARE-LEY,GMBH. 1996. Cosa Reference Manual. Software-Ley GmbH.
• 58: STAFFWARE,CORP. 1997. Staffware Global-Staffware for Intranet based Workflow Automa-tion.
• 59: STARK,H.AND LACHAL, L. 1995. Ovum Evaluates: Workflow. Ovum, London, UK.
• 60: Stanley M. Sutton, Jr. , Dennis Heimbigner , Leon J. Osterweil, APPL/A: a language for software process programming, ACM Transactions on Software Engineering and Methodology (TOSEM), v.4 n.3, p.221-286, July 1995 [doi>10.1145/214013.214017]
• 61: A. H. M. ter Hofstede , M. E. Orlowska , J. Rajapakse, Verification problems in conceptual workflow specifications, Data & Knowledge Engineering, v.24 n.3, p.239-256, Jan. 1, 1998 [doi>10.1016/S0169-023X(97)00032-3]
• 62: VAN STIPHOUT, R., MEIJLER,T.D.,AERTS, A., HAMMER, D., AND LE COMTE, R. 1998. Trex: Workflow transaction by means of exceptions. In Proceedings of the Sixth International Conference on Extending Database Technology (Valencia, Spain, Mar.), H. -J. Schek, F. Saltor, I. Ramos, and G. Alonso, Eds.
• 63: WIDOM,J.AND CERI, S., Eds 1996. Active Database Systems. Morgan Kaufmann Publishers Inc., San Francisco, CA.
• 64: Dirk Wodtke , Jeanine Weißenfels , Gerhard Weikum , Angelika Kotz Dittrich, The Mentor Project: Steps Toward Enterprise-Wide Workflow Management, Proceedings of the Twelfth International Conference on Data Engineering, p.556-565, February 26-March 01, 1996
• 65: WORAH,D.AND SHETH, A. 1997. Transactions in transactional workflows. In Advanced Transaction Models and Architectures, S. Jajodia and L. Kerschberg, Eds. Kluwer Academic Publishers, Hingham, MA.
• 66: WORKFLOW MANAGEMENT COALITION. 1996. Terminology and glossary. Tech. Rep. WFMC-TC-1011. Workflow Management Coalition.
• 67: WORKFLOW MANAGEMENT COALITION. 1998. Process definition interchange v 1.0. Tech. Rep. WfMC-TC-1016-P. Workflow Management Coalition.
• 68: ZIMMERMANN,J.AND BUCHMANN, A. 1999. REACH. In Active Rules in Database Systems Springer-Verlag, New York, NY.

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.4 Systems
          Subjects: Rule-based databases

Additional Classification:
  H. Information Systems
  H.4 INFORMATION SYSTEMS APPLICATIONS

General Terms:
Design, Languages, Management, Performance

Keywords:
active rules, asynchronous events, exceptions, workflow management systems