Formal Methods for Distributed Processing

Erscheinungsjahr 2016
ISBN: 978-0-521-77184-9
Verlag: Cambridge University Press

Buch, Englisch, 490 Seiten, Format (B × H): 183 mm x 260 mm, Gewicht: 1112 g

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. 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.

Autoren/Hrsg.

Bowman, Howard

Derrick, John

Fachgebiete

• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Funktionale, Logische, Parallele und Visuelle Programmierung
• Mathematik | Informatik EDV | Informatik Technische Informatik Grid-Computing & Paralleles Rechnen
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Objektorientierte Programmierung
• Mathematik | Informatik EDV | Informatik Computerkommunikation & -vernetzung Verteilte Systeme (Netzwerke)

Inhaltsverzeichnis

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.