用途2.5.0_USE 2.5.0下载地址

创建您的UML图，不仅与此工具。

使用是一个方便的系统，专为信息系统的规范和验证的基于统一建模语言（UML）和对象约束语言（OCL）的一个子集。

写在对象约束语言（OCL）的表达式是用来指定在模型上的神器出山:www.shenqi73.com额外的完整性约束。可以是动画的模型验证规范，以非正规的要求。

系统状态（正在运行的系统的快照），可以在动画中创建和操纵。对于每个快照的OCL约束系统会自动检查。有关系统状态的图形视图。 OCL表达式可以输入和评估，以查询有关系统状态的详细信息。

要求：

·的Java

此版本中的新功能：

现在支持的·OrderedSets是。空的集合可以被初始化为{}，例如，集合{}。使用的聚合和组成进行了改进（检查周期等）。的新功能和修正错误的详细说明，请看看在新闻下载编程包中包含的文件。