Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches

Bowman, Howard and Derrick, John (2001) Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches. Cambridge University Press, Cambridge, UK, 480 pp. ISBN 0-521-77184-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

The full text of this publication is not available from this repository. (Contact us about this Publication)


This book presents the current state of the art in the application of formal methods to object-based distributed systems. A major theme of the book is how to formally handle the new 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 new notations, such as Actors, Pi-calculus and Ambients. The major specification notations and modelling techniques are introduced and compared by leading researchers, in several cases the inventors of the notations. The book also includes a description of approaches to the specification of nonfunctional requirements, which are typically needed in the specification of multimedia systems, and a discussion of security issues.

Item Type: Book
Uncontrolled keywords: Formal Methods, Object-oriented, Distributed Processing
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Systems Architecture Group
Depositing User: Mark Wheadon
Date Deposited: 24 Nov 2008 17:58
Last Modified: 12 May 2014 14:56
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year