26、工作流与软件过程建模：技术与方法

工作流与软件过程建模：技术与方法

工作流建模与验证工具 FlowMake

在工作流建模与验证领域，有一款名为 FlowMake 的工具，它为工作流分析师和设计师提供了一个明确的框架，用于对工作流的各个方面进行建模和推理。该工具旨在增强生产工作流产品的建模能力，并为扩大验证范围提供基础。

FlowMake 的组成部分

FlowMake 由四个主要组件构成：
1. 存储库（Repository） ：使用关系技术实现，用于维护工作流模型。
2. 工作流编辑器（Workflow Editor） ：提供用户友好的图形环境，用于维护大型工作流图，还可用于可视化设计中的不一致性。
3. 验证引擎（Verification Engine） ：实现用于检查工作流模型一致性的算法。
4. 接口（Interface） ：通过导入和导出工作流模型，与工作流产品建立连接。目前，该工具允许从 IBM 工作流产品 MQ Workflow（以前称为 FlowMark）导入过程模型，分析其结构冲突，然后再将其导出回该产品。

FlowMake 的功能与应用

通过 FlowMake 工具，可以对工作流模型进行有效的管理和验证。例如，在对一个过程模型应用简化过程时，它能够帮助识别模型中的结构冲突。其验证方法的基本思想是从工作流图中移除所有肯定正确的结构。如果一个工作流图没有结构冲突，该算法会将其简化为空图；而存在结构冲突的工作流图则不会被完全简化，从而使结构冲突易于识别。这种对工作流