Models, Formalisms and Methods for Object-Oriented Distributed Computing

  • Rémi Bastide
  • Didier Buchs
Conference paper

DOI: 10.1007/3-540-69687-3_45

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1357)
Cite this paper as:
Bastide R., Buchs D. (1998) Models, Formalisms and Methods for Object-Oriented Distributed Computing. In: Bosch J., Mitchell S. (eds) Object-Oriented Technologys. ECOOP 1997. Lecture Notes in Computer Science, vol 1357. Springer, Berlin, Heidelberg

Abstract

This report is a presentation of the contributions to the workshop on Models, Formalisms and Methods for Object-Oriented Distributed Computing. The goal of the workshop was to bring together researchers interested in the the foundations and in the practice of concurrent and distributed object-oriented computing. Two main directions of concurrent system description have been studied during the workshop: the methodological and implementation oriented models and the formal modeling techniques. In order to compare the various approaches the organizers have proposed to share a common case study: A Distributed Diary which was presented by the contributors as an illustration of their respective approaches. The workshop was divided into three part, first a summary of all approaches was given, then according to the kind of approaches two sessions were simultaneously organized for presenting the respective contributions, finally summaries of the discussions were given at the end of the workshop.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Rémi Bastide
    • 1
  • Didier Buchs
    • 2
  1. 1.LIS, Université de Toulouse IToulouseFrance
  2. 2.LGL-DI, Swiss Federal Institute of TechnologyLausanneSwitzerland

Personalised recommendations