Formal Methods for Open Object-Based Distributed Systems IV

1. Front Matter

   Pages i-xii

   PDF

2. Invited Talk

   1. Front Matter

      Pages 1-1

      PDF

   2. On the Semantics of Javaspaces

      • Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro

      Pages 3-19

3. Mobility

   1. Front Matter

      Pages 21-21

      PDF

   2. Elements of an Object-Based Model for Distributed and Mobile Computation

      • Jean-Bernard Stefani, Florence Germain, Elie Najm

      Pages 23-43

   3. Specification of Mobile Code Systems Using Graph Grammars

      • Fernando Luís Dotti, Leila Ribeiro

      Pages 45-64

   4. Atomic Failure in Wide-Area Computation

      • Dominic Duggan

      Pages 65-86

4. Invited Talk

   1. Front Matter

      Pages 87-87

      PDF

   2. Rewriting Logic and Maude: A Wide-Spectrum Semantic Framework for Object-Based Distributed Systems

      • José Meseguer

      Pages 89-117

5. Java / UML

   1. Front Matter

      Pages 119-119

      PDF

   2. Requirements-Level Semantics for UML Statecharts

      • Rik Eshuis, Roel Wieringa

      Pages 121-140

   3. A Step Toward Automatic Distribution of Java Programs

      • Isabelle Attali, Denis Caromel, Romain Guider

      Pages 141-161

   4. Using Relational and Behavioural Semantics in the Verification of Object Models

      • Christie Bolton, Jim Davies

      Pages 163-182

   5. Formally Modeling UML and its Evolution: A Holistic Approach

      • Ambrosio Toval Álvarez, José Luis Fernández Alemán

      Pages 183-206

6. Invited Talk

   1. Front Matter

      Pages 207-207

      PDF

   2. Object-Oriented Programming for Wide-Area Computing

      • Jayadev Misra

      Pages 209-209

7. Refinement and Subtyping

   1. Front Matter

      Pages 211-211

      PDF

   2. Behavioural Subtyping and Property Preservation

      • Heike Wehrheim

      Pages 213-231

   3. A Practical Approach to Incremental Specification

      • Charles Lakos, Glenn Lewis

      Pages 233-256

   4. Refinement of Objects and Operations in Object-Z

      • John Derrick, Eerke Boiten

      Pages 257-277

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

• The Johns Hopkins University, USA

  Scott F. Smith

• Stanford University, USA

  Carolyn L. Talcott

Policies and ethics