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

Klappentext A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques. Zusammenfassung This 2002 collection of comprehensive surveys by leading researchers presents techniques in the application of formal methods to object-based distributed systems! including sections on dynamic reconfiguration! encapsulation! subtyping! inheritance! and real-time aspects. Inhaltsverzeichnis Preface; Part I. Object-Oriented Distributed Systems: 1. Issues in distributed systems P. F. Linington; 2. Distributed systems, an ODP perspective P. F. Linington; 3. Issues in formal methods H. Bowman and J. Derrick; Part II. Specification Notations: 4. Finite state machine based: SDL R. O. Sinnott and D. Hogrefe; 5. Process calculi: E-LOTOS T. Robles, G. Huecas, J. Quemada, A. Verdejo and L. F. Llana-Dìaz; 6. State-based approaches: from Z to object-Z G. Smith; 7. The united modelling language S. Kent; Part III. Dynamic Reconfiguration: 8. Actors: a model for reasoning about open distributed systems G. A. Agha, P. Thati and R. Ziaei; 9. ¿-calculi P. Sewell; 10. Mobile mabients l. Cardelli and A. D. Gordon; Part IV. Subtyping: 11. Subtyping in distributed systems J. Indulska; 12. Behavioural subtyping using invariants and constraints B. H. Liskov and J. M. Wing; 13. Behavioural typing for objects and process calculi E. Najm, A. Nimour and J-B. Stefani; Part V. Concurrent OO Language: 14. Reflections in concurrent object-oriented languages H. Masuhara and A. Yonezawa; 15. Inheritance in concurrent objects C. Laneve; Part VI. Nonfunctional Requirements: 16. Multimedia in the E-LOTOS process algebra G. Leduc; 17. Specifying and analysing multimedia systems L. Blair and G. Blair; Part VII. Development Architectures: 18. Piccola - a small composition language F. Achermann, M. Lumpe, J.-G. Schneider and O. Nierstrasz; 19. Specification architectures K. J. Turner and R. O. Sinnott; 20. Viewpoints modelling H. Bowman and J. Derrick; Indices....

Product details

• Authors: Howard Bowman, Howard (University of Kent Bowman, Howard Derrick Bowman
• Assisted by: Howard Bowman (Editor), John Derrick (Editor), Derrick John (Editor)
• Publisher: Cambridge University Press ELT
• Languages: English
• Product format: Paperback / Softback
• Released: 21.07.2011
• EAN: 9780521168755
• ISBN: 978-0-521-16875-5
• No. of pages: 492
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > Programming languages; COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Object Oriented, COMPUTERS / Programming / General, Computer programming / software engineering, Programming & scripting languages: general, Programming and scripting languages: general, Computer Programming / Software Development, COMPUTERS / Languages / General, Object-oriented programming (OOP)