Multiparty Negotiation of Dynamic Distributed Object Services

Abstract Object-oriented programming (OOP) has proven a very useful paradigm for supporting client-server computing within the context of local-area networks, where stable assumptions can be made about the available resources and services and where interactions between clients and servers are relatively simple. By implementing servers as objects, access to services can be kept separate from implementation, thus making client-server applications both more flexible and easier to maintain. Now that we are moving from single enterprise computing to the inter-organizational information world of the Internet and WWW, object-oriented programming must adapt itself to new client-server requirements. Specifically, there is need of coping with situations where new services can be dynamically added to servers, and where clients may need to coordinate the access to multiple services, rather than to single individual ones. In this paper, we describe the object model of the Coordination Language Facility, a programming framework that extends OOP with constructs that support dynamic services and multi-service coordination. We illustrate the use of these constructs through the application domain of distributed workflow.

[1]  Daniel Le Métayer,et al.  Gamma and the chemical reaction model: ten years after , 1996 .

[2]  Jay Earley,et al.  An efficient context-free parsing algorithm , 1970, Commun. ACM.

[3]  Jean-Marc Andreoli,et al.  The Coordination Language Facility: Coordination of Distributed Objects , 1996, Theory Pract. Object Syst..

[4]  Ahmed K. Elmagarmid,et al.  Multidatabase Transaction and Query Processing in Logic , 1992, Database Transaction Models for Advanced Applications.

[5]  Barr and Feigenbaum Edward A. Avron,et al.  The Handbook of Artificial Intelligence , 1981 .

[6]  Matthias Nussbaum Database Transaction Models for Advanced Applications , 1992 .

[7]  Jean-Marc Andreoli,et al.  Process Enactment and Coordination , 1996, EWSPT.

[8]  Jacky Estublier,et al.  ADELE-TEMPO: an environment to support process modelling and enaction , 1994 .

[9]  Charles L. Forgy,et al.  Rete: a fast algorithm for the many pattern/many object pattern match problem , 1991 .

[10]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[11]  Elisa Bertino,et al.  Towards deductive object databases , 1995 .

[12]  Akinori Yonezawa,et al.  Abstracting Object Interactions Using Composition Filters , 1993, ECOOP Workshop.

[13]  Jean-Marc Andreoli,et al.  Rule-Based Object Coordination , 1994, ECOOP Workshop.

[14]  Terry Winograd,et al.  The action workflow approach to workflow management technology , 1992, CSCW '92.

[15]  Fabio Vitali,et al.  Weaving the Web Using Coordination , 1996, COORDINATION.

[16]  David Gelernter,et al.  Generative communication in Linda , 1985, TOPL.

[17]  Roberto Gorrieri,et al.  An alternative semantics for the parallel operator of the calculus of gamma programs , 1996 .

[18]  Umeshwar Dayal,et al.  Organizing long-running activities with triggers and transactions , 1990, SIGMOD '90.

[19]  Bashar Nuseibeh,et al.  Software process modelling and technology , 1994 .

[20]  Gustavo Alonso,et al.  Exotica/FMQM: A Persistent Message-Based Architecture for Distributed Workflow Management , 1995 .

[21]  Peter C. Lockemann,et al.  Behaviorally Adaptive Objects , 1998, Theory Pract. Object Syst..

[22]  Daniel M. Yellin,et al.  Interfaces, protocols, and the semi-automatic construction of software adaptors , 1994, OOPSLA '94.

[23]  Daniel M. Yellin,et al.  Interfaces, protocols, and the semi-automatic construction of software adaptors , 1994, OOPSLA 1994.

[24]  J. Davenport Editor , 1960 .

[25]  Jay Earley,et al.  An efficient context-free parsing algorithm , 1970, Commun. ACM.

[26]  Paolo Ciancarini,et al.  Coordinating rule-based software processes with ESP , 1993, TSEM.

[27]  A. Elmagarmid Database transaction models for advanced applications , 1992 .

[28]  Gul Agha,et al.  Research directions in concurrent object-oriented programming , 1993 .

[29]  Koen De Bosschere,et al.  u2Log: Towards Remote Coordination , 1996 .

[30]  C. Hankin,et al.  Coordination programming: mechanisms, models and semantics , 1996 .

[31]  Elisa Bertino,et al.  OBJECT EVOLUTION IN OBJECT DATABASES , 1999 .

[32]  Mario Banville SONIA: An Adaptation of LINDA for Coordination of Activities in Organisations , 1996, COORDINATION.

[33]  GrassoAntonietta,et al.  Distributed Coordination and Workflow on the World Wide Web , 1997 .

[34]  Jan A. Bergstra,et al.  The TOOLBUS Coordination Architecture , 1996, COORDINATION.

[35]  Nicholas Carriero,et al.  Linda in context , 1989, CACM.

[36]  H. Nii Blackboard Systems , 1998 .

[37]  Ian M. Holland,et al.  Contracts: specifying behavioral compositions in object-oriented systems , 1990, OOPSLA/ECOOP '90.

[38]  José Meseguer,et al.  A logical theory of concurrent objects and its realization in the Maude language , 1993 .

[39]  Antonio Brogi,et al.  The concurrent language, Shared Prolog , 1991, TOPL.