模型检查器 Checker

求知

文章

文库

Lib

咨询

会员

订购 \| 案例 \| 建模扩展语言 \| 模型框架 \| 学习资源 \| 培训&咨询 \| 解决方案 \| 用户组 \| 客户专区 \| 联系我们

工具

课程

3529 次浏览

11 次

模型检查器
视频&文章

模型检查器 Checker

作者	俎涛
日期	2023年7月21日

7.Sequence diagram 检查

1、模型检查器Checker简介

《Checker》是由火龙果软件开发的EA插件，目的是增强EA的建模功能，目前提供的功能如下：

下面对《模型检查器》的功能进行简要介绍，视频：《模型检查器-Checker》

2、元素检查

Checker 可以对元素进行检查，可以检查元素的如下方面
• 未命名：列出所有没有名字的元素列表
• 重名：列出所有重名的元素列表。

3、Class检查

4、Use Case 检查

5、图检查

6、State diagram 检查

7、Sequence diagram 检查

如果您需要购买模型检查器 Checker，欢迎联系我们：

• teacher@uml.net.cn ，010-62670969

3529 次浏览

11 次