did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

We're the #1 textbook rental company. Let us show you why.

9780521168755

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

by
  • ISBN13:

    9780521168755

  • ISBN10:

    0521168759

  • Edition: Revised
  • Format: Paperback
  • Copyright: 2011-07-21
  • Publisher: Cambridge University Press

Note: Supplemental materials are not guaranteed with Rental or Used book purchases.

Purchase Benefits

List Price: $58.99 Save up to $19.76
  • Rent Book $39.23
    Add to Cart Free Shipping Icon Free Shipping

    TERM
    PRICE
    DUE
    SPECIAL ORDER: 1-2 WEEKS
    *This item is part of an exclusive publisher rental program and requires an additional convenience fee. This fee will be reflected in the shopping cart.

Supplemental Materials

What is included with this book?

Summary

This important resource presents the current state of the art in the application of formal methods to object based distributed systems. A major theme is how to formally handle the new requirements arising from OO distributed systems. The major specification notations and modeling techniques are introduced and compared by leading researchers, in several cases, the inventors of the notations. The book also describes approaches to the specification of nonfunctional requirements, needed typically in the specification of multimedia systems and security issues. Professionals in software design, object-oriented computing, distributed systems, and telecommunications systems will gain an appreciation of the relationships among the major areas of concerns and learn how the use of object-oriented based formal methods provides workable solutions.

Table of Contents

Preface
Object-Oriented Distributed Systems
Issues in distributed systems
Distributed systems, an ODP perspective
Issues in formal methods
Specification Notations
Finite state machine based: SDL
Process calculi: E-LOTOS
State-based approaches: from Z to object-Z
The united modelling language
Dynamic Reconfiguration
Actors: a model for reasoning about open distributed systems
ÏÇ-calculi
Mobile mabients
Subtyping
Subtyping in distributed systems
Behavioural subtyping using invariants and constraints
Behavioural typing for objects and process calculi
Concurrent OO Language
Reflections in concurrent object-oriented languages
Inheritance in concurrent objects
Nonfunctional Requirements
Multimedia in the E-LOTOS process algebra
Specifying and analysing multimedia systems
Development Architectures
Piccola - a small composition language
Specification architectures
Viewpoints modelling
Indices
Table of Contents provided by Publisher. All Rights Reserved.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program