+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
RRP $72.95
$64.95
11%
OFF
This title is not in stock at the Booktopia Warehouse and needs to be ordered from our supplier.
Click here to read more about delivery expectations.

Other Available Formats (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 University Press
Country of Publication: GB
Dimensions (cm): 25.4 x 17.8  x 2.5
Weight (kg): 0.85