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 currently available from this repository. You may be able to access a copy if URLs are provided. (Contact us about this Publication)

Abstract

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: https://kar.kent.ac.uk/id/eprint/13543 (The current URI for this page, for reference purposes)
  • Depositors only (login required):