GROOVE 4.7.1建立20121116161011_GROOVE 4.7.1 Build 20121116161011下载地址

工具的图形和模型转换

槽是一个应用程序设计模式的转型和面向对象的验证，它是围绕着使用的面向对象的系统建模，简单的图形和图形变换模型的转换和操作语义的基础。

这需要一个正式的模型转换和动态语义的神器出山:www.shenqi73.com基础，并且能够通过自动分析所得到的图形变换系统，以验证模型的转换和动态语义，例如使用模型检查。

下面是一些关键“凹槽”的功能：

·图变换
·国家太空探索
·模型检查

要求：

·的Java

此版本中的新功能：

·Bug修正（见SourceForge上）
·现在一直停止之后1000年国家给用户的选择进行勘探
·的LTS显示总是显示使用自定义状态（禁止走了）
·的LTS和状态“选项卡是目前主要的显示选项卡
·配方的支持大大改善，配方在规则列表
·改进的显示启用/探索比赛在规则列表
·支持GROOVY增值（见http://groovy.codehaus.org/）