31、UML模型一致性检查与工作流网场景模拟分析

UML模型一致性检查与工作流网场景模拟分析

1. astah*插件实现UML模型一致性检查

1.1 一致性检查器的实现

在astah 专业版上实现了一个插件一致性检查器。开发语言选用Java，借助astah 应用程序编程接口（一组用于利用astah 模型数据的Java接口）来分析图表。编写的源代码行数约为1600行。用户可以通过astah 屏幕底部扩展选项卡上新创建的“Check”按钮来操作该检查器。

1.2 检查器的反馈机制

• 关键错误级别（Critical） ：检查结果直接输出到窗口屏幕。
• 错误级别（Error）或警告级别（Warning） ：结果以文本形式输出到扩展选项卡，并以注释形式显示在图表上。
• 复合结构图表和状态机图表的不一致性输出 ：复合结构图表中的不一致性以及状态机图表中多个元素的不一致性会输出到图表的右上角；若状态机图表中只有一个元素与不一致性相关，则注释和注释锚点会作为附加到该元素的注释输出。
• 注释的区分与调整 ：为区分用户创建的注释，输出的注释会根据错误级别进行着色，并且会调整注释的位置，以避免在创建元素之间距离较近时注释重叠。用户通过查看注释中描述的不一致性来纠正问题，当再次执行检查器时，已纠正内容的注释会被删除。

1.3 检查器的评估

通过在UML图表中故意设置一些假定的不一致性，然后检查这些不