FORMAL CONSIDERATIONS OF RULE-BASED MESSAGING FOR BUSINESS PROCESS INTEGRATION

ABSTRACT In the last decade, with the expansion of organizational scope and the tendency for outsourcing, there has been an increasing need for Business Process Integration (BPI), understood as the sharing of data and applications among business processes. The research efforts and development paths in BPI pursued by many academic groups and system vendors, targeting heterogeneous system integration, continue to face several conceptual and technological challenges. This article begins with a brief review of major approaches and emerging standards to address BPI. Further, we introduce a rule-driven messaging approach to BPI, which is based on the harmonization of messages in order to compose a new, often cross-organizational process. We will then introduce the design of a temporal first order language (Harmonized Messaging Calculus) that provides the formal foundation for general rules governing the business process execution. Definitions of the language terms, formulae, safety, and expressiveness are introduced and considered in detail.

[1]  Jennifer Widom,et al.  Active Database Systems: Triggers and Rules For Advanced Database Processing , 1994 .

[2]  Robert E. Gruber,et al.  The architecture of the READY event notification service , 1999, Proceedings. 19th IEEE International Conference on Distributed Computing Systems. Workshops on Electronic Commerce and Web-based Applications. Middleware.

[3]  Maria E. Orlowska,et al.  When workflows will not deliver: The case of contradicting work practice , 2005 .

[4]  Peter Fingar,et al.  Workflow is just a pi process , 2003 .

[5]  Frank P. Coyle.  Review of 'The power of events: An introduction to complex event processing in distributed enterprise systems,' by David Luckham, Addison Wesley Professional, May 2002 , 2003, UBIQ.

[6]  David Luckham,et al.  The power of events - an introduction to complex event processing in distributed enterprise systems , 2002, RuleML.

[7]  Mike P. Papazoglou,et al.  A Survey of Web service technologies , 2004 .

[8]  Layna Fischer.  Workflow handbook 2004 : published in association with theworkflow management coalition , 2004 .

[9]  Jan Chomicki,et al.  Temporal deductive databases and infinite objects , 1988, PODS.

[10]  Guruduth Banavar,et al.  Gryphon: An Information Flow Based Approach to Message Brokering , 1998, ArXiv.

[11]  Raymond Reiter,et al.  Equality and Domain Closure in First-Order Databases , 1980, JACM.

[12]  Wil M. P. van der Aalst,et al.  Advanced Workflow Patterns , 2000, CoopIS.

[13]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[14]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[15]  Martín Abadi,et al.  Temporal Logic Programming , 1989, J. Symb. Comput..

[16]  Jeffrey D. Uuman.  Principles of database and knowledge- base systems , 1989 .

[17]  Maria E. Orlowska,et al.  Facilitating Business Process Management with Harmonized Messaging , 2004, ICEIS.