Validation of UML Models

The basic idea here is to transform a UML model of a distributed software in such a way that advanced formal validation tools (borrowed from the protocol engineering world) can be applied to it. The principle of this idea is described here.

Last update: $Date: 1999/05/27 16:00:01 $ $Revision: 1.1 $