Synopses & Reviews
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.
Synopsis
This book presents the current state of the art in the application of formal methods to object based distributed systems. It begins with the background of modern object-oriented based distributed systems and then develops a number of themes, including dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. Researchers and practitioners in software design, object-oriented computing, distributed systems, and telecommunications systems will find this comprehensive survey invaluable.
Table of Contents
Part I. Object Oriented Distributed Systems: 1. Issues in distributed systems Peter Linington and Kerry Raymond; 2. Distributed systems, an ODP perspective Peter Linington and Kerry Raymond; 3. Howard Bowman and John Derrick; Part II. Specification Notations: 4. Finite state machine based, SDL Dieter Hogrefe; 5. Process calculi, E-LOTOS Juan Quemada; 6. State based approaches, object-Z Graeme Smith; 7. The Unified Modelling Language Alan Wills; Part III. Dynamic Reconfiguration: 8. Actors Gul Agha and Prasannaa Thati; 9. Pi Calculus Peter Sewell; 10. Mobile ambients Luca Cardelli and Andrew D. Gordon; Part IV. Subtyping: 11. Signature based subtyping Jaga Indulska; 12. Subtyping in state based approaches Barbara Liskov and Jeannette Wing; 13. Subtyping in process calculi Elie Najm; Part V. Concurrent OO Languages: 14. Reflection in concurrent object-oriented languages Hidebiko Masubara and Akinori Yonezawa; 15. Inheritance in concurrent objects Cosimo Laneve; Part VI. Nonfunctional Requirements: 16. Specifying and analysing multimedia systems Gordon Blair and Lynne Blair; 17. Multimedia in timed process algebra Guy Leduc; Part VII. Development Architectures; 18. Composition Oscar Nierstrasz; 19. Specification architectures Ken Turner and Richard Sinnott; 20. Viewpoints modelling Howard Bowman, John Derrick and Elie Najm.