Skip to content

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

Spend $50 to get a free movie!

ISBN-10: 0521168759

ISBN-13: 9780521168755

Edition: 2010

Authors: Howard Bowman, John Derrick

List price: $61.95
Blue ribbon 30 day, 100% satisfaction guarantee!
Out of stock
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!

Description:

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…    
Customers also bought

Book details

List price: $61.95
Copyright year: 2010
Publisher: Cambridge University Press
Publication date: 7/21/2011
Binding: Paperback
Pages: 492
Size: 7.01" wide x 10.00" long x 0.98" tall
Weight: 1.870
Language: English

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