Skip to main content
SpringerLink
Log in

Formal Methods for Open Object-based Distributed Systems

Volume 2

  • Book
  • © 1997

Overview

Editors:
  1. Howard Bowman

    1. Computing Laboratory, University of Kent, Canterbury, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. John Derrick

    1. Computing Laboratory, University of Kent, Canterbury, UK

    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)

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
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 (31 chapters)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Mobility and Pi-Calculus

    1. Front Matter

      Pages 1-1
      Download chapter 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
      Download chapter 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
      Download chapter 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
      Download chapter 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
      Download chapter PDF
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • Computing Laboratory, University of Kent, Canterbury, UK

    Howard Bowman, John Derrick

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation