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