Formal Methods for Distributed Processing: A Su. Bowman, Derrick<|

Formal Methods for Distributed ProcessingA Survey of Object-Oriented Approaches\nAuthor(s): Howard Bowman, John Derrick\nFormat: Hardback\nPublisher: Cambridge University Press, United Kingdom\nImprint: Cambridge University Press\nISBN-13: 9780521771849, 978-0521771849\nSynopsis\nOriginally 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,.