Rule-Based Object Coordination

We discuss a framework in which the traditional features of objects (encapsulation, communication, etc.) are enhanced with synchronization and coordination facilities, using the declarative power of rules. We propose two interpretations of rules, one re-active and the other proactive, corresponding to different kinds of interactions between the rules and the objects. Finally, we consider the problem of capturing domain specific knowledge within a general coordination framework, for which constraints offer a promising direction of research.

[1]  Jean-Marc Andreoli,et al.  Interaction abstract machines , 1993 .

[2]  Mario Tokoro,et al.  The society of objects , 1993, OOPSLA Addendum.

[3]  Krzysztof R. Apt,et al.  Logics and Models of Concurrent Systems , 1989, NATO ASI Series.

[4]  Pascal Van Hentenryck.  Constraint satisfaction in logic programming , 1989, Logic programming.

[5]  Amir Pnueli,et al.  On the Development of Reactive Systems , 1989, Logics and Models of Concurrent Systems.

[6]  Ehud Shapiro,et al.  Active mail—a framework for implementing groupware , 1992, CSCW '92.

[7]  Yoav Shoham,et al.  Agent-Oriented Programming , 1992, Artif. Intell..

[8]  Peter Wegner.  Conceptual Evolution of Object-Oriented Programming , 1989 .

[9]  Jean-Marc Andreoli,et al.  Communication as Fair Distribution of Knowledge , 1991, OOPSLA.

[10]  Patrick Lincoln,et al.  Linear logic , 1992, SIGA.

[11]  Oscar Nierstrasz,et al.  Composing active objects , 1993 .

[12]  Prakash Panangaden,et al.  The semantic foundations of concurrent constraint programming , 1991, POPL '91.

[13]  Arnold Gehlen,et al.  Urmensch und Spatkultur , 1957 .

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

[15]  Arnold Gehlen,et al.  Urmensch und Spätkultur : philosophische Ergebnisse und Aussagen , 1956 .

[16]  Luc Steels,et al.  Beyond Objects , 1994, ECOOP.

[17]  Kevin Crowston,et al.  The interdisciplinary study of coordination , 1994, CSUR.

[18]  Nicholas Carriero,et al.  How to write parallel programs , 1990 .

[19]  Vijay Saraswat Xerox.  Higher-order , linear , concurrent constraint programming , 1992 .

[20]  Steve Vinoski.  Distributed Object Computing With CORBA , 1993 .

[21]  Jean-Marc Andreoli,et al.  Constraint-Based Knowledge Brokers , 1994, PASCO.

[22]  M. Nivat.  Fiftieth volume of theoretical computer science , 1988 .