Skip to main content
SpringerLink
Log in

Formal Methods for Open Object-based Distributed Systems

Volume 1

  • Book
  • © 1997

Overview

Editors:
  1. Elie Najm

    1. ENST, Paris, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jean-Bernard Stefani

    1. CNET France Telecom, Issy-Les-Moulineaux, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: IFIP Advances in Information and Communication Technology (IFIPAICT)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (29 chapters)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Types and Behavior

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Processes, Types, and Observations

      • Benjamin C. Pierce
      Pages 3-3

    3. Types for Active Objects Based on Trace Semantics

      • Franz Puntigam
      Pages 4-19

    4. A type description language supporting interoperability in open distributed systems

      • Wayne Brookes
      Pages 20-35

    5. Describing behaviour in interfaces

      • Andreas Prinz
      Pages 36-43

  3. Formalizing Object-Oriented Methods

    1. Front Matter

      Pages 45-45
      Download chapter PDF

    2. Formalizing Fusion Object-Oriented Analysis Models

      • B. W. Bates, J.-M. Bruel, R. B. France, M. M. Larrondo-Petrie
      Pages 47-62

    3. An Approach to Integrate Formal Validation in an OO Life-cycle of Protocols

      • C. Jard, J.-M. Jézéquel, L. Nédelka
      Pages 63-78

    4. Introducing formal notations in the development of object-based distributed applications

      • S. Pickin, C. Sánchez, J.-C. Yelmo, J. J. Gil, E. Rodríguez
      Pages 79-95

  4. Case Studies I

    1. Front Matter

      Pages 97-97
      Download chapter PDF

    2. Refinement of Distributed Object Systems

      • K. Lano, S. Goldsack
      Pages 99-114

    3. Some Specification and Proof Steps of a Spanning Tree Algorithm with an Object-Oriented Method

      • L. Bonnet, L. Duchien, G. Florin, L. Seinturier
      Pages 115-131

  6. Open Distributed Processing I

    1. Front Matter

      Pages 187-187
      Download chapter PDF

    2. Viewpoint consistency in ODP, a general interpretation

      • H. Bowman, E. A. Boiten, J. Derrick, M. W. A. Steen
      Pages 189-204
Back to top

Keywords

About this book

Object-based Distributed Computing is being established as the most pertinent basis for the support of large, heterogeneous computing and telecommunications systems. The advent of Open Object-based Distributed Systems (OODS) brings new challenges and opportunities for the use and development of formal methods. Formal Methods for Open Object-based Distributed Systems presents the latest research in several related fields, and the exchange of ideas and experiences in a number of topics including: formal models for object-based distributed computing; semantics of object-based distributed systems and programming languages; formal techniques in object-based and object oriented specification, analysis and design; refinement and transformation of specifications; multiple viewpoint modeling and consistency between different models; formal techniques in distributed systems verification and testing; types, service types and subtyping; specification, verification and testing of quality of service constraints and formal methods and the object life cycle. It contains the selected proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems, sponsored by the International Federation for Information Processing, and based in Paris, France, in March 1996.

Editors and Affiliations

  • ENST, Paris, France

    Elie Najm

  • CNET France Telecom, Issy-Les-Moulineaux, France

    Jean-Bernard Stefani

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation