Golden Triangle of System Modeling

Approach1: Using Petri-Net to validate UML. We can find some software engineering tools to do this job.

Approach2: Generate Code in programming Language based on UML.

Rational Rose

http://www.rational.com

Modelmaker, www.modelmakertools.com, the UML case tool for Delphi

Approach3: Some Software Testing tools work through this way

JUnit is a simple framework for writing and running automated tests. As a political gesture, it celebrates programmers testing their own software

http://junit.org/index.htm

DUnit:An Xtreme testing framework for Borland Delphi programs

http://dunit.sourceforge.net/

Approach4: UML auto-generation system. It's hard but people are still tring.

Delphi's Code Insight Tools--Diagram auto-generation system