Formal Methods for Open Object-Based Distributed Systems

6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings

  • Elie Najm
  • Uwe Nestmann
  • Perdita Stevens
Conference proceedings FMOODS 2003

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2884)

Table of contents

  1. Front Matter
  2. Invited Talk

    1. Bart Jacobs
      Pages 1-15
  3. Models

    1. Ana Paula Lüdtke Ferreira, Leila Ribeiro
      Pages 16-31
    2. Nirman Kumar, Koushik Sen, José Meseguer, Gul Agha
      Pages 32-46
    3. Andreas Prinz, Martin v. Löwis
      Pages 47-63
  4. Logic and Verification

    1. Heike Wehrheim
      Pages 79-93
    2. Matthias Colin, Xavier Thirioux, Marc Pantel
      Pages 94-108
  5. Calculi

    1. Philippe Bidinger, Jean-Bernard Stefani
      Pages 109-123
    2. Laura Bocchi, Cosimo Laneve, Gianluigi Zavattaro
      Pages 124-138
    3. Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
      Pages 139-154
  6. Java and .NET

    1. Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen
      Pages 155-169
    2. Kazuhiro Ogata, Kokichi Futatsugi
      Pages 170-184
    3. Susan Eisenbach, Vladimir Jurisic, Chris Sadler
      Pages 185-198
  7. UML

    1. Diego Latella, Mieke Massink
      Pages 199-213
    2. Christophe Lohr, Ludovic Apvrille, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
      Pages 214-228
    3. Holger Rasch, Heike Wehrheim
      Pages 229-243
  8. Composition and Verification

    1. Frédéric Tronel, Frédéric Lang, Hubert Garavel
      Pages 244-260
    2. Fernando L. Dotti, Luciana Foss, Leila Ribeiro, Osmar M. dos Santos
      Pages 261-275
    3. David Akehurst, John Derrick, A. Gill Waters
      Pages 276-292
  9. Back Matter

About these proceedings


This volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Paris, France on November 19–21, 2003. The event was the sixth meeting of this conference series, which is held roughly every year and a half, the earlier events having been held in Paris, Canterbury, Florence, Stanford, and Twente. ThegoaloftheFMOODSseriesofconferencesistobringtogetherresearchers whose work encompasses three important and related ?elds: – formal methods; – distributed systems; – object-based technology. Such a convergence is representative of recent advances in the ?eld of distributed systems,andprovideslinksbetweenseveralscienti?candtechnologicalcommu- ties, as represented by the conferences FORTE/PSTV, CONCUR, and ECOOP. The objective of FMOODS is to provide an integrated forum for the p- sentation of research in the above-mentioned ?elds, and the exchange of ideas and experiences in the topics concerned with the formal methods support for open object-based distributed systems. For the call for papers, aspects of int- est of the considered systems included, but were not limited to: formal models; formal techniques for speci?cation, design or analysis; component-based design; veri?cation, testing and validation; semantics of programming, coordination, or modeling languages; type systems for programming, coordination or modelling languages; behavioral typing; multiple viewpoint modelling and consistency - tween di?erent models; transformations of models; integration of quality of s- vice requirements into formal models; formal models for security; and appli- tions and experience, carefully described.


.NET Java Unified Modeling Language (UML) distributed systems formal method logic object oriented design verification

Editors and affiliations

  • Elie Najm
    • 1
  • Uwe Nestmann
    • 2
  • Perdita Stevens
    • 3
  1. 1.Telecom ParisTech (ENST)ParisFrance
  2. 2.Ecole Polytechnique Fédérale de Lausanne (EPFL)LausanneSwitzerland
  3. 3.School of InformaticsUniversity of EdinburghUK

Bibliographic information

  • DOI
  • Copyright Information IFIP International Federation for Information Processing 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-20491-6
  • Online ISBN 978-3-540-39958-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site