Formal Methods for Distributed Processing

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.