Formal Methods for Open Object-Based Distributed Systems IV

IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA

  • Scott F. Smith
  • Carolyn L. Talcott
Conference proceedings FMOODS 2000

Part of the IFIP Advances in Information and Communication Technology book series (IFIPAICT, volume 49)

Table of contents

  1. Front Matter
    Pages i-xii
  2. Invited Talk

    1. Front Matter
      Pages 1-1
    2. Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
      Pages 3-19
  3. Mobility

    1. Front Matter
      Pages 21-21
    2. Jean-Bernard Stefani, Florence Germain, Elie Najm
      Pages 23-43
    3. Fernando Luís Dotti, Leila Ribeiro
      Pages 45-64
    4. Dominic Duggan
      Pages 65-86
  4. Invited Talk

  5. Java / UML

    1. Front Matter
      Pages 119-119
    2. Rik Eshuis, Roel Wieringa
      Pages 121-140
    3. Isabelle Attali, Denis Caromel, Romain Guider
      Pages 141-161
    4. Ambrosio Toval Álvarez, José Luis Fernández Alemán
      Pages 183-206
  6. Invited Talk

    1. Front Matter
      Pages 207-207
  7. Refinement and Subtyping

    1. Front Matter
      Pages 211-211
    2. Charles Lakos, Glenn Lewis
      Pages 233-256
    3. John Derrick, Eerke Boiten
      Pages 257-277
  8. Invited Talk

    1. Front Matter
      Pages 279-279
  9. Time

    1. Front Matter
      Pages 283-283
    2. Yunming Wang
      Pages 285-304
    3. Dino Distefano, Joost-Pieter Katoen, Arend Rensink
      Pages 305-325
    4. Lynne Blair, Trevor Jones, Gordon Blair
      Pages 327-347
  10. Components

    1. Front Matter
      Pages 349-349
    2. Tomasz Janowski, Wojciech I. Mostowski
      Pages 351-370
    3. Rémi Bastide, Ousmane Sy, David Navarre, Philippe Palanque
      Pages 371-395
    4. Scott F. Smith, Carolyn L. Talcott
      Pages E1-E1

About these proceedings


Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented 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.
Papers in this volume focus on the following specific technologies:
  • components;
  • mobile code;
  • Java®;
  • The Unified Modeling Language (UML);
  • refinement of specifications;
  • types and subtyping;
  • temporal and probabilistic systems.
This volume comprises the proceedings of the Fourth International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), which was sponsored by the International Federation for Information Processing (IFIP) and held in Stanford, California, USA, in September 2000.


CORBA Inform Java Processing Unified Modeling Language (UML) code distributed systems information object-oriented programming

Editors and affiliations

  • Scott F. Smith
    • 1
  • Carolyn L. Talcott
    • 2
  1. 1.The Johns Hopkins UniversityUSA
  2. 2.Stanford UniversityUSA

Bibliographic information

  • DOI
  • Copyright Information IFIP International Federation for Information Processing 2000
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4757-1018-2
  • Online ISBN 978-0-387-35520-7
  • Series Print ISSN 1868-4238
  • Series Online ISSN 1868-422X
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment