© 1999

Formal Methods for Open Object-Based Distributed Systems

IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy

  • Paolo Ciancarini
  • Alessandro Fantechi
  • Robert Gorrieri
Conference proceedings FMOODS 1999

Part of the IFIP — The International Federation for Information Processing book series (IFIPAICT, volume 10)

Table of contents

  1. Front Matter
    Pages i-xii
  2. Languages

    1. Oscar Nierstrasz
      Pages 1-1
    2. Mauro Gaspari, Gianluigi Zavattaro
      Pages 3-18
    3. Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere
      Pages 19-34
  3. Semantics I

    1. Nadia Busi
      Pages 51-66
    2. Claudia Balzarotti, Fiorella De Cindio, Lucia Pomello
      Pages 67-82
  4. Java and Coordination

  5. Object Composition and Reuse

    1. Dunia Ramazani, Discreet Logic, Gregor v. Bochmann
      Pages 113-130
    2. José M. Troya, Antonio Vallecillo
      Pages 131-148
    3. Simone Veglioni, Francesco Parisi-Presicce
      Pages 149-159
  6. Telecommunications

    1. Birgit Geppert, Frank Rößler, Reinhard Gotzhein
      Pages 171-186
    2. Richard Sinnott, Mario Kolberg
      Pages 187-203
    3. Robert G. Clark, Ana M. D. Moreira
      Pages 205-212
  7. Formal Methods

    1. Rick van Rein, Maarten M. Fokkinga
      Pages 241-258

About these proceedings


Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject.
Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods.
This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999.
Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government.


CORBA Inform Java Processing QoS Unified Modeling Language (UML) communication configuration distributed systems information tools

Editors and affiliations

  • Paolo Ciancarini
    • 1
  • Alessandro Fantechi
    • 2
  • Robert Gorrieri
    • 1
  1. 1.Università di BolognaItaly
  2. 2.Università di FirenzeItaly

Bibliographic information

Industry Sectors
IT & Software
Energy, Utilities & Environment