Management of business process constraints using BPTrigger

This paper proposes a new mechanism, called BPTrigger, which can overcome limitations of current Database (DB) Triggers. DB Triggers are used to enforce integrity constraints related to data stored in databases. They are not adequate, however, for complex business constraints that must be applied to several business processes or activities, hence, involving many data items. Further, DB Triggers does not properly support distributed and heterogeneous environments and may incur serious performance degradation including non-termination. BPTrigger enables representation and flexible enforcement of complex business process constraints in a distributed and heterogeneous environment. Unlike a DB Trigger that must be defined on each data item participating in a constraint and must be checked every time the data item is updated, BPTrigger allows a constraint to be defined only once on a business process and enforces the constraint once at the time of execution of the process. To provide comprehensive support, the paper identifies all possible constraints related to business processes based on literature survey and classifies them into four types: entry, exit, running, and invariant, according to the time of enforcement. Reflecting the requirements suggested by the classification, the syntax of BPTrigger is defined. An additional construct is proposed to enable flexible management of invariants. The paper also introduces a prototype system for BPTrigger along with an extended example to demonstrate its feasibility and to provide a performance comparison with typical DB Triggers.

[1]  Jennifer Widom,et al.  A toolkit for constraint management in heterogeneous information systems , 1996, Proceedings of the Twelfth International Conference on Data Engineering.

[2]  Amit P. Sheth,et al.  Using Polytransactions to Manage Interdependent Data , 1992, Database Transaction Models for Advanced Applications.

[3]  Gerti Kappel,et al.  The TriGS active object-oriented database system— an overview , 1998, SGMD.

[4]  Benedikte Harstad Kallak,et al.  Object-Oriented Workflow Management: Intelligence, flexibility, and real support for business proces , 1998 .

[5]  S. Rausch-Schott,et al.  TriGS flow Active Object-Oriented Workflow Management , 1995 .

[6]  Véronique Benzaken,et al.  Ensuring Efficiently the Integrity of Persistent Object Systems via Abstract Interpretation , 1996, POS.

[7]  S.D. Urban,et al.  The implementation and evaluation of integrity maintenance rules in an object-oriented database , 1992, [1992] Eighth International Conference on Data Engineering.

[8]  Anne Doucet,et al.  Checking Integrity Constraints in Multidatabase Systems with Nested Transactions , 2001, CoopIS.

[9]  Akhil Kumar,et al.  XRL/Woflan : verification of an XML/Petri-net-based language for inter-organizational workflows , 2001 .

[10]  Gerti Kappel,et al.  Coordination in Workflow Management Systems - A Rule-Based Approach , 1996, Coordination Technology for Collaborative Applications.

[11]  Stefano Paraboschi,et al.  Active rules for XML: A new paradigm for E-services , 2001, The VLDB Journal.

[12]  Wolffried Stucky,et al.  Integrity checking in data base systems , 1983, Inf. Syst..

[13]  Gunter Saake,et al.  Schema Integration with Integrity Constraints , 1997, BNCOD.

[14]  Namkyu Park,et al.  An XML-based process definition language for integrated process management , 2003, Comput. Ind..

[15]  Benjamin N. Grosof,et al.  A declarative approach to business rules in contracts: courteous logic programs in XML , 2015, EC '99.

[16]  Gustavo Alonso,et al.  Exception Handling in Workflow Management Systems , 2000, IEEE Trans. Software Eng..

[17]  Young U. Ryu,et al.  IPM-EPDL: an XML-based executable process definition language , 2005, Comput. Ind..

[18]  Changwoo Lee,et al.  Task net: Transactional workflow model based on colored Petri net , 2002, Eur. J. Oper. Res..

[19]  Akhil Kumar,et al.  XML - Based Schema Definition for Support of Interorganizational Workflow , 2003, Inf. Syst. Res..

[20]  Howard Smith,et al.  Business Process Management: The Third Wave , 2003 .

[21]  Fabio Casati,et al.  Deriving Active Rules for Workflow Enactment , 1996, DEXA.

[22]  Jennifer Widom,et al.  Deriving Incremental Production Rules for Deductive Data , 1994, Inf. Syst..

[23]  Amit P. Sheth,et al.  Managing heterogeneous multi-system tasks to support enterprise-wide operations , 1995, Distributed and Parallel Databases.

[24]  Martin Schönhoff,et al.  Integrating Engineering Databases: How Does the Application Domain Influence the FDBMS Architecture? , 1998, Föderierte Datenbanken.

[25]  Anneke Kleppe,et al.  The object constraint language: precise modeling with UML , 1998 .

[26]  Andreas Oberweis,et al.  Modeling interorganizational workflows with XML nets , 2001, Proceedings of the 34th Annual Hawaii International Conference on System Sciences.

[27]  Amihai Motro,et al.  Integrity = validity + completeness , 1989, TODS.

[28]  Jörg Becker,et al.  Workflow Application Architectures: Classification and Characteristics of Workflow-based Information Systems , 2002 .

[29]  Jennifer Widom,et al.  Practical Applications of Triggers and Constraints: Success and Lingering Issues (10-Year Award) , 2000, VLDB.

[30]  G. G. Stokes "J." , 1890, The New Yale Book of Quotations.

[31]  Krithi Ramamritham,et al.  Correctness issues in workflow management , 1996, Distributed Syst. Eng..

[32]  Jennifer Widom,et al.  Practical Applications of Triggers and Constraints: Successes and Lingering Issues , 2000 .

[33]  Gerti Kappel,et al.  TriGS/sub flow/: Active object-oriented workflow management , 1995, Proceedings of the Twenty-Eighth Annual Hawaii International Conference on System Sciences.

[34]  Susan Darling Urban,et al.  CONTEXT: A CONstrainT EXplanation Tool , 1992, Data Knowl. Eng..

[35]  Christof Bornhövd,et al.  Moving Active Functionality from Centralized to Open Distributed Heterogeneous Environments , 2001, CoopIS.

[36]  Michael Gertz,et al.  Deriving integrity maintaining triggers from transition graphs , 1993, Proceedings of IEEE 9th International Conference on Data Engineering.

[37]  David W. Stemple,et al.  Automatic verification of database transaction safety , 1989, ACM Trans. Database Syst..

[38]  Thomas Bech Pettersen,et al.  Expert workflow: building knowledge-based workflow systems with object technology , 1997, OOPSLA '97.

[39]  A. El Abbadi,et al.  Exotica: a project on advanced transaction management and workflow systems , 1995, SIGO.

[40]  Paul W. P. J. Grefen,et al.  Integrity Control in Relational Database Systems - An Overview , 1993, Data Knowl. Eng..

[41]  Akhil Kumar,et al.  Verification of XRL: an XML-based workflow language , 2001, Proceedings of the Sixth International Conference on Computer Supported Cooperative Work in Design (IEEE Cat. No.01EX472).

[42]  Tore Risch,et al.  Distributing semantic constraints between heterogeneous databases , 1997, Proceedings 13th International Conference on Data Engineering.

[43]  Amit P. Sheth Managing with Less than Absolute Integrity , 1997, IICIS.

[44]  Moira C. Norrie,et al.  Coordination Approaches for CIM , 1995 .

[45]  Paul W. P. J. Grefen,et al.  Integrity constraint checking in federated databases , 1996, Proceedings First IFCIS International Conference on Cooperative Information Systems.

[46]  Craig Schlenoff,et al.  Process Representation Using Architectural Forms: Accentuating the Positive , 1999 .

[47]  Letizia Tanca,et al.  Logic Programming and Databases , 1990, Surveys in Computer Science.

[49]  Jennifer Widom,et al.  Local verification of global integrity constraints in distributed databases , 1993, SIGMOD '93.

[50]  Michael Grüninger,et al.  The Process Interchange Format and Framework , 1998, The Knowledge Engineering Review.

[51]  Jennifer Widom,et al.  An algebraic approach to static analysis of active database rules , 2000, TODS.

[52]  Mathias Weske,et al.  Business Process Management: A Survey , 2003, Business Process Management.

[53]  Anne Doucet,et al.  Thémis: a database programming language with integrity constraints , 1993, DBPL.

[54]  Krithi Ramamritham,et al.  Failure handling and coordinated execution of concurrent workflows , 1998, Proceedings 14th International Conference on Data Engineering.

[55]  Sharma Chakravarthy,et al.  ECA rule integration into an OODBMS: architecture and implementation , 1995, Proceedings of the Eleventh International Conference on Data Engineering.