Bowman, H. and Derrick, J., eds. (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 available from this repository. (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: | 30 Jul 2009 11:09 |
| Resource URI: | http://kar.kent.ac.uk/id/eprint/13543 (The current URI for this page, for reference purposes) |
- Depositors only (login required):
