ABSTRACT

Verification of Distributed Object Systems Design

Nima Kaveh, Department of Computer Science, UCL

The topic of this seminar will be based on the design verification of object-oriented distributed systems, in particular oo-middleware systems. The complexity of the synchronization behaviour of parallel executing objects/components makes traditional methods of testing and design analysis redundant. Our approach addresses this problem by generating process algebra specification from annotated UML design models, for the purpose of rigorous verification. The verification is done against safety and liveness properties provided by the designer. Any violations of these properties are demonstrated back to the designer in UML notation. The strength of this approach is its exploitation of oo-middleware characteristics and the complete transparency of the process algebra to the designer.
Maintained by rbennett@cs.ucl.ac.uk