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

 
9780521771849: Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Rilegato
ISBN 10: 0521771846 ISBN 13: 9780521771849
Casa editrice: Cambridge University Press, 2001

Sinossi

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

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Descrizione del libro

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.

Contenuti

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Cambridge University Press
Data di pubblicazione
2001
Lingua
Inglese
ISBN 10 
0521771846
ISBN 13 
9780521771849
Rilegatura
Copertina rigida
Numero di pagine
492
Redattore
Bowman Howard, Derrick John
Contatto del produttore
Cambridge University Press
https://www.cambridge.org/

Via Honduras,15
Pomezia
Italia
71
Italia

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  0521168759 ISBN 13:  9780521168755
Casa editrice: Cambridge University Press, 2011
Brossura