Object-Oriented Programming, Parallel, Distributed, and Supercomputing

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

Name: Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Author: Howard Bowman
ISBN: 9780521168755

by Howard Bowman

Available on Bookshop Write a review

Books.org participates in affiliate programs including Bookshop.org and the Amazon Services LLC Associates Program. We may earn a commission from qualifying purchases made through links on this page, at no additional cost to you.

Overview

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 appreciation of the relationships among the major areas of concerns and learn how the use of object-oriented based formal methods provides workable solutions.

Reviews

There are no reviews yet. Log in to write one.

Editorials

Bowman and Derrick (computing laboratory, U. of Kent at Canterbury) present this volume on the current state of the art in the application of formal methods to object-based distributed systems. Thirty-five international specialists contribute twenty chapters covering modern object-oriented (OO) distributed systems; major specification notations and modelling techniques; the specification of systems involving dynamic reconfiguration; the role and use of subtyping; concurrent OO languages and reflection; the specification of nonfunctional requirements, typically needed in multimedia systems; and the role of development architectures in distributed systems modelling. For researchers and practitioners in software design, objected-oriented computing, distributed systems, and telecommunications systems. Annotation c. Book News, Inc., Portland, OR (booknews.com)