Formal Methods for Open Object-based Distributed Systems

1. Front Matter

   Pages i-xii

   PDF

2. Mobility and Pi-Calculus

   1. Front Matter

      Pages 1-1

      PDF

   2. The Pi Calculus and its Applications

      • Robin Milner

      Pages 3-4

   3. A Calculus of Object Bindings

      • E. Najm, A. Nimour

      Pages 5-20

   4. A Calculus with Code Mobility

      • Tatsurou Sekiguchi, Akinori Yonezawa

      Pages 21-36

   5. A proof-theoretic approach to the design of object-based mobility

      • Carlos H. C. Duarte

      Pages 37-53

3. Concurrent OO Specification and Programming

   1. Front Matter

      Pages 55-55

      PDF

   2. CO-OPN/2: A Concurrent Object-Oriented Formalism

      • O. Biberstein, D. Buchse, N. Guelfi

      Pages 57-72

   3. Analysis for Concurrent Objects

      • Paolo Di Blasio, Kathleen Fisher, Carolyn Talcott

      Pages 73-88

   4. Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic

      • Grit Denker, Hans-Dieter Ehrich

      Pages 89-104

4. Actors

   1. Front Matter

      Pages 105-105

      PDF

   2. A Set-Constraint-based analysis of Actors

      • J-L. Colaço, M. Pantel, P. Sallé

      Pages 107-122

   3. Actors and Virtual Time: an Experience using Time Warp, Timed Petri Nets and Cellular Networks

      • Roberto Beraldi, Libero Nigro, Francesco Pupo

      Pages 123-138

   4. Formalizing Multimedia QoS Constraints Using Actors

      • Shangping Ren, Nalini Venkatasubramanian, Gul Agha

      Pages 139-153

5. Distributed systems: ODP and CORBA (I)

   1. Front Matter

      Pages 155-155

      PDF

   2. Invited Paper — Computational models for open distributed systems

      • Elie Najm, Jean-Bernard Stefani

      Pages 157-176

   3. Using SDL to develop CORBA object implementations

      • Morgan Björkander

      Pages 177-192

   4. Meta Information Management

      • Stephen Crawley, Scott Davis, Jaga Indulska, Simon McBride, Kerry Raymond

      Pages 193-202

   5. Improving the Development and Validation of Viewpoint Specifications

      • N. Fischbeck, J. Fischer, E. Holz, O. Kath, M. Löwis, R. Schröder

      Pages 203-212

6. OO Requirements Analysis and Design

   1. Front Matter

      Pages 213-213

      PDF

This book 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.

• CORBA
• distributed systems
• formal specification
• information
• inheritance
• object
• programming

• Computing Laboratory, University of Kent, Canterbury, UK

  Howard Bowman, John Derrick

Policies and ethics