Formal Methods for Open Object-Based Distributed Systems V

IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20–22, 2002, Enschede, The Netherlands

  • Bart Jacobs
  • Arend Rensink
Conference proceedings FMOODS 2002

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

Table of contents

  1. Front Matter
    Pages i-x
  2. Invited Presentations

  3. Multiple Viewpoint Modelling

    1. Front Matter
      Pages 27-27
    2. Einar Broch Johnsen, Olaf Owe
      Pages 45-60
    3. Chris Taylor, Eerke Boiten, John Derrick
      Pages 61-76
  4. Types, Service Types and Subtyping

    1. Front Matter
      Pages 77-77
    2. Abhishek Singh, Jonathan Billington
      Pages 111-125
  5. Semantics of Object-Based Programming Languages

    1. Front Matter
      Pages 127-127
    2. Sébastien Briais, Uwe Nestmann
      Pages 129-146
    3. Prasannaa Thati, Reza Ziaei, Gul Agha
      Pages 147-162
  6. Verification and Validation

    1. Front Matter
      Pages 179-179
    2. Kazuhiro Ogata, Kokichi Futatsugi
      Pages 181-195
    3. Chiara Braghin, Agostino Cortesi, Riccardo Focardi
      Pages 197-212

About these proceedings

Introduction

Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields:
  • Formal methods;
  • Distributed systems;
  • Object-based technology.


Such a convergence is representative of recent advances in the field of distributed systems, and provides links between several scientific and technological communities. The wide scope of topics covered in this volume range in subject from UML to object-based languages and calculi and security, and in approach from specification to case studies and verification.
This volume comprises the proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), which was sponsored by the International Federation for Information Processing (IFIP) and held in Enschede, The Netherlands in March 2002.

Keywords

Analysis Unified Modeling Language (UML) algorithms computer distributed systems formal method model checking modeling programming programming language verification

Editors and affiliations

  • Bart Jacobs
    • 1
  • Arend Rensink
    • 2
  1. 1.University of NijmegenThe Netherlands
  2. 2.University of TwenteThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/978-0-387-35496-5
  • Copyright Information IFIP International Federation for Information Processing 2002
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4757-5268-7
  • Online ISBN 978-0-387-35496-5
  • Series Print ISSN 1868-4238
  • Series Online ISSN 1868-422X
  • About this book