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
    2. Claudia Linnhoff-Popien, Dirk Thißen
      Pages 273-280
    3. Marc Born, Andreas Hoffmann, Mang Li, Ina Schieferdecker
      Pages 281-291
  8. Emerging Standards

    1. Werner Damm, David Harel
      Pages 293-311
    2. Scott F. Smith, Carolyn L. Talcott
      Pages 313-330
    3. Diego Latella, Istvan Majzik, Mieke Massink
      Pages 331-347
  9. Semantics II

    1. Luca Cardelli
      Pages 349-349
    2. Cosimo Laneve
      Pages 351-352
    3. Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani
      Pages 353-369
    4. Jean-Louis Colaco, Marc Pantel, Fabien Dagnat, Patrick Sallé
      Pages 371-386
    5. Jan Broersen, Roel Wieringa
      Pages 387-398
  10. Semantics III

    1. Naoki Kobayashi, Akinori Yonezawa
      Pages 399-400
    2. Lynne Blair, Gordon Blair
      Pages 401-417

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

  • DOI
  • Copyright Information Springer Science+Business Media New York 1999
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4757-5266-3
  • Online ISBN 978-0-387-35562-7
  • Series Print ISSN 1868-4238
  • Series Online ISSN 1868-422X
  • Buy this book on publisher's site