可视化UML模型验证环境研究

Research on Visual UML Model Verification Environment