Skip to main content
SpringerLink
Log in
Book cover

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

  • Conference proceedings
  • © 1999

Overview

Editors:
  1. Paolo Ciancarini

    1. Università di Bologna, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alessandro Fantechi

    1. Università di Firenze, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Robert Gorrieri

    1. Università di Bologna, Italy

    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, volume 10)

Included in the following conference series:

Conference proceedings info: FMOODS 1999.

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
Softcover Book USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
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 (33 papers)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Languages

    1. Piccola — A Small Composition Language

      • Oscar Nierstrasz
      Pages 1-1

    2. An Algebra of Actors

      • Mauro Gaspari, Gianluigi Zavattaro
      Pages 3-18

    3. Developing Object-Based Distributed Systems

      • Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere
      Pages 19-34

  3. Semantics I

    1. Reasoning About Histories in Object-Based Distributed Systems

      • F. S. de Boer
      Pages 35-49

    2. Mobile Nets

      • Nadia Busi
      Pages 51-66

    3. Observation Equivalences for the Semantics of Inheritance

      • Claudia Balzarotti, Fiorella De Cindio, Lucia Pomello
      Pages 67-82

  5. Object Composition and Reuse

    1. Object Composition: A Case Study

      • Dunia Ramazani, Discreet Logic, Gregor v. Bochmann
      Pages 113-130

    2. Specifying Reusable Controllers for Software Components

      • José M. Troya, Antonio Vallecillo
      Pages 131-148

    3. Composition and Interaction for Behavioural Specifications

      • Simone Veglioni, Francesco Parisi-Presicce
      Pages 149-159

    4. Formal Specification of Discrete Systems by Active Predicates and Dynamic Constraints

      • Tommaso Bolognesi, Andrea Bracciali
      Pages 161-168

  6. Telecommunications

    1. Distributed Feature Composition: An Architecture for Telecommunication Services

      • Pamela Zave
      Pages 169-170

    2. Pattern Application VS. Inheritance in SDI

      • Birgit Geppert, Frank Rößler, Reinhard Gotzhein
      Pages 171-186

    3. Engineering Telecommunication Services with SDL

      • Richard Sinnott, Mario Kolberg
      Pages 187-203

    4. SDL in Rigorous Object-Oriented Analysis

      • Robert G. Clark, Ana M. D. Moreira
      Pages 205-212

  7. Formal Methods

    1. A Junction Between State Based and Behavioural Specification

      • H. Bowman, J. Derrick
      Pages 213-239

    2. Protocol Assuring Universal Language

      • Rick van Rein, Maarten M. Fokkinga
      Pages 241-258
Back to top

Other volumes

  1. Formal Methods for Open Object-Based Distributed Systems

Keywords

About this book

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.

Editors and Affiliations

  • Università di Bologna, Italy

    Paolo Ciancarini, Robert Gorrieri

  • Università di Firenze, Italy

    Alessandro Fantechi

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation