Formal methods for distributed processing : a survey of ojbect-oriented approaches

著者

書誌事項

Formal methods for distributed processing : a survey of ojbect-oriented approaches

edited by Howard Bowman, John Derrick

Cambridge University Press, 2001

大学図書館所蔵 件 / 全13件

この図書・雑誌をさがす

注記

Includes bibliographies and indexes

内容説明・目次

内容説明

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.

目次

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

「Nielsen BookData」 より

詳細情報

ページトップへ