Formal Methods for Distributed Processing (Paperback)

Howard Bowman

ISBN 10: 0521168759 / ISBN 13: 9780521168755

Verlag: Cambridge University Press, Cambridge, 2011

Beschreibung

Paperback. 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. 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. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.

Bestandsnummer des Verkäufers 9780521168755

Bibliografische Details

• Titel: Formal Methods for Distributed Processing (Paperback)
• Verlag: Cambridge University Press, Cambridge
• Erscheinungsjahr: 2011
• Sprache: Englisch
• ISBN-10: 0521168759
• ISBN-13: 9780521168755
• Einband: Paperback
• Zustand: new

Über diesen Titel

Inhaltsangabe

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