+612 9045 4394
 
CHECKOUT
Formal Methods for Distributed Processing : A Survey of Object-Oriented Approaches - Howard Bowman

Formal Methods for Distributed Processing

A Survey of Object-Oriented Approaches

By: Howard Bowman (Editor), John Derrick (Editor)

Paperback Published: 21st July 2011
ISBN: 9780521168755
Number Of Pages: 492

Share This Book:

Paperback

RRP $72.95
$64.95
11%
OFF
Ships in 10 to 15 business days

Other Available Editions (Hide)

Originally published in 2001, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book is how to formally handle the requirements arising from OO distributed systems, such as dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. These may be supported either by enhancing existing notations, such as UML, LOTOS, SDL and Z, or by defining fresh notations, such as Actors, Pi-calculus and Ambients. The major specification notations and modelling techniques are introduced and compared by leading researchers. The book also includes a description of approaches to the specification of non-functional requirements, and a discussion of security issues. Researchers and practitioners in software design, object-oriented computing, distributed systems, and telecommunications systems will gain an appreciation of the relationships between the major areas of concerns and learn how the use of object-oriented based formal methods provides workable solutions.

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.

ISBN: 9780521168755
ISBN-10: 0521168759
Audience: Professional
Format: Paperback
Language: English
Number Of Pages: 492
Published: 21st July 2011
Publisher: CAMBRIDGE UNIV PR
Country of Publication: GB
Dimensions (cm): 25.4 x 17.78  x 2.52
Weight (kg): 0.84