Formal Methods for Open Object-Based Distributed Systems

by Ciancarini, Paolo; Fantechi, Alessandro; Gorrieri, Roberto

• ISBN13: 9780792384298
• ISBN10: 0792384296
• Format: Hardcover
• Copyright: 1999-01-01
• Publisher: Kluwer Academic Pub

Summary

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.

Table of Contents

3rd International Conference on Formal Methods for Open Object-based Distributed Systems (fmoods) : February 15-18, 1999, Florence, Italy

Preface

Languages

Piccola - A Small Compositional Language

An Algebra of Actors

Developing Object-Based Distributed Systems

Semantics I. Reasoning About Histories in Object-Based Distributed Systems

Mobile Nets

Observation Equivalences for the Semantics of Inheritance

Java and Coordination

Tools for Integrating Formal Methods into the Java Software Development Process

Design and Implementation of Coordination Protocols for Distributed Cooperating Objects: A General Graph-Based Technique Applied to CORBA

Specifying Component-Based Java Applications

Object Composition and Reuse

Object Composition: A Case Study

Specifying Reusable Controllers for Software Components

Composition and Interaction for Behavioural Specifications

Telecommunications

Distributed Feature Composition: An Architecture for Telecommunication Services

Pattern Application vs. Inheritance in SDL

Engineering Telecommunication Services with SDL

SDL in Rigorous Object-Oriented Analysis

Formal Methods

A Junction Between State Based and Behavioural Specification

Protocol Assuring Universal Language

Specification of Dynamic Reconfiguration in the Context of Input/Output Relations

Assessing Service Properties with Regard to a Requested QoS: The Service Metric

Combining Design Methods for Service Development

Emerging Standards

LSCs: Breathing Life Into Message Sequence Charts

Modular Reasoning for Actor Specification Diagrams

Towards a Formal Operational Semantics of UML Statechart Diagrams

Semantics II. Foundations for Wide-Area Systems

Calculi for Concurrent Objects

Infinite Types for Distributed Object Interfaces

Static Safety Analysis for Non-Uniform Service Availability in Actors

A Logic for the Specification of Multi-Object Systems

Semantics III. Distributed and Concurrent Objects Based on Linear Logic

Composition in Multiparadigm Specification Techniques

Formal Development of Object-Based Systems in a Temporal Logic Setting

Table of Contents provided by Publisher. All Rights Reserved.