Formal Methods for Open Object-Based Distributed Systems

1. Front Matter

   Pages i-xii

   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

4. Java and Coordination

   1. Tools for Integrating Formal Methods into the Java Software Development Process (An Extended Abstract)

      • Sriram Sankar

      Pages 83-88

   2. Design and Implementation of Coordination Protocols for Distributed Cooperating Objects — A General Graph-Based Technique Applied to Corba

      • Khalil Drira, Frédéric Gouëzec, Michel Diaz

      Pages 89-104

   3. Specifying Component-Based Java Applications

      • S. Cimato

      Pages 105-112

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

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.

• CORBA
• Inform
• Java
• Processing
• QoS
• Unified Modeling Language (UML)
• communication
• configuration
• distributed systems
• information
• tools

• Università di Bologna, Italy

  Paolo Ciancarini, Robert Gorrieri

• Università di Firenze, Italy

  Alessandro Fantechi

Policies and ethics