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

Couverture rigide

ISBN 10 : 0521771846 ISBN 13 : 9780521771849

Editeur : Cambridge University Press, 2001

Synopsis

A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques.

A propos du livre

Présentation de l'éditeur

Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book is how to formally handle the 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 fresh notations, such as Actors, Pi-calculus and Ambients. The major specification notations and modelling techniques are introduced and compared by leading researchers. The book also includes a description of approaches to the specification of non-functional requirements, and a discussion of security issues. Researchers and practitioners in software design, object-oriented computing, distributed systems, and telecommunications systems will gain an appreciation of the relationships between the major areas of concerns and learn how the use of object-oriented based formal methods provides workable solutions.

Détails de l'édition

• Éditeur: Cambridge University Press
• Date d'édition: 2001
• Langue: anglais
• ISBN 10: 0521771846
• ISBN 13: 9780521771849
• Reliure: Relié
• Nombre de pages: 492
• Éditeur: Bowman Howard, Derrick John
• Coordonnées du fabricant: Cambridge University Press; https://www.cambridge.org/; ; Via Honduras,15; Pomezia; Italia; 71; Italie