Advertisement

Rule-based object coordination

  • Jean-Marc Andreoli
  • Hervé Gallaire
  • Remo Pareschi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 924)

Abstract

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.

keywords

objects rules coordination constraints 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Andreoli, J-M., Borghoff, U., Pareschi, R. (1994). Constraint Based Knowledge Brokers. Proc. of PASCO'94, Linz., Austria.Google Scholar
  2. 2.
    Andreoli, J-M., Castagnetti, T., Pareschi, R. (1993). Abstract Interpretation of Linear Logic Proofs. Proc. of ILPS'93, Vancouver, Canada.Google Scholar
  3. 3.
    Andreoli, J-M., Ciancarini, P., Pareschi, R. (1993). Interaction Abstract Machines. In Agha, G., Yonezawa, A. and Wegner, P. Eds, Research Directions in Concurrent Object Oriented Programming. MIT Press, Cambridge, Ma.Google Scholar
  4. 4.
    Andreoli, J-M., Pareschi, R. (1991). Communication as Fair Distribution of Knowledge. Proc. of OOPSLA '91, Phoenix, Az, U.S.A.Google Scholar
  5. 5.
    Borghoff, U. (1994). LoKit, a Toolkit for building Collaborative Applications. Rank Xerox Research Centre, Grenoble, France, Technical Report.Google Scholar
  6. 6.
    Carriero, N., Gelernter, D. (1990). How to Write Parallel Programs. MIT Press, Cambridge, Ma, U.S.A.Google Scholar
  7. 7.
    Gehlen, A. (1986). Urmensch und SpÄtkultur. Philosophische Ergebnisse und Aussagen. Aula Verlag GmbH.Google Scholar
  8. 8.
    Girard, J-Y. (1987). Linear Logic. Theoretical Computer Science 50, 1–102CrossRefGoogle Scholar
  9. 9.
    Goldberg, Y., Safran, M., Shapiro, E. (1992). Active Mail, a Framework for Implementing Groupware. Proc. of the ACM Conference on Computer Supported Cooperative Work, Toronto, Canada.Google Scholar
  10. 10.
    Harel, D., Pnueli, A. (1985). On the Development of Reactive Systems. In Apt, K.R. ed, Logic and Models of Concurrent Systems, Springer Verlag, Berlin.Google Scholar
  11. 11.
    Malone, T.W., Crowstone, K. (1994). The Interdisciplinary Study of Coordination. ACM Computing Surveys 26:1, 87–119Google Scholar
  12. 12.
    Nierstrasz, O. (1994). Composing Active Objects. In Agha, G., Yonezawa, A. and Wegner, P. Eds, Research Directions in Concurrent Object Oriented Programming. MIT Press, Cambridge, Ma.Google Scholar
  13. 13.
    Saraswat, V.A., Lincoln, P. (1992). Higher Order Linear Concurrent Constraint Programming. Xerox Parc, Palo Alto, Ca, U.S.A., Technical Report.Google Scholar
  14. 14.
    Saraswat, V.A., Rinard, M., Panangaden, P. (1991). Semantic Foundations of Concurrent Constraint Programming. Proc. of 9th ACM Symposium on Principles of Programming Languages, Orlando, Fl, U.S.A.Google Scholar
  15. 15.
    Shoam, Y. (1991). Agent-Oriented Programming. Standford University, Robotics Laboratory, Stanford, Ca, U.S.A., Technical Report, To appear in the Journal of Artificial Intelligence.Google Scholar
  16. 16.
    Steels, L. (1994). Beyond Objects. Proc. of ECOOP'94, Bologna, Italy.Google Scholar
  17. 17.
    Tokoro, M. (1993). The Society of Objects. Proc. of OOPSLA '93, Vancouver, B.C., Canada.Google Scholar
  18. 18.
    Hentenryck, P. van (1989). Constraint Satisfaction in Logic Programming. MIT Press, Cambridge, Ma, U.S.A.Google Scholar
  19. 19.
    Vinoski, S. (1993). Distributed Object Computing with CORBA. C++ report 5:6, 33–38Google Scholar
  20. 20.
    Wegner, P. (1989). Conceptual Evolution of Object-Oriented Programming. Brown University, Dept. of Computer Science, Providence, RI, U.S.A., Technical Report.Google Scholar
  21. 21.
    Wegner, P. (1994). The Expressive Power of Interaction. Brown University, Dept. of Computer Science, Providence, RI, U.S.A., Technical Report.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Jean-Marc Andreoli
    • 1
  • Hervé Gallaire
    • 1
  • Remo Pareschi
    • 1
  1. 1.Rank Xerox Research CenterMeylanFrance

Personalised recommendations