[发明专利]一种通用工作流图形化设计和验证工具

说明书

技术领域

本发明涉及一种可以不受软件平台限制的通用工作流图形化设计和验证 工具。

背景技术

在实际的企业信息化工作中，信息系统的工作流可能经常会随着业务流程 的变化而改变。如果通过修改每个系统中的程序代码来满足这种不断出现的需 求变化，很难做到及时有效，那么提供一种通用的图形化工作流设计工具将会 为用户提供很大的方便。但是一般的图形化流程普遍都缺少精确的语义定义， 例如UML(Unified Modeling Language)图、普通的流程图等，所以很难根据 流程本身进行正确性验证；而传统的形式化模型又非常的晦涩难懂，例如Petri 网、自动机等，让普通的用户很难有效地绘制业务流程图。因此，在图形化工 作流设计工具中提供相应的流程验证功能也是一件有意义的工作。

发明内容

本发明的目的在于提供一种通用性好、简易实用的对工作流进行图形化设 计和验证的通用工作流工具。

本发明的目的是这样实现的：

一种通用工作流图形化设计和验证工具，特征是包括通用工作流体系结 构、流程设计和验证方法的体系结构两部份：

1、通用工作流体系结构：通用工作流图形化设计和验证工具提供的通用 可视化流程设计器为用户提供方便的流程设计手段，即流程操作、节点操作、 连接线操作、放大缩小操作、控制信息操作；用户使用通用可视化流程设计器 进行通用工作流的设计，然后将设计出的通用工作流保存为简单流程网模式存 储的(XML(EXtensible Markup Language)格式)的通用文档；进而为每种 工作流运行平台开发一个流程适配器，并由流程适配器将设计出的通用工作流 导入Domino平台进行运行，得到Domino平台的流程转换结果；最后实际的工作 流运行实例产生的信息均保存在工作流运行平台中；

2、流程设计和验证方法的体系结构：流程设计和验证方法的体系结构将 可视化流程分为展现层、XML层和数据库层：展现层使用AJAX(Asynchronous  JavaScript and XML)+VML(Vector Markup Language)技术，在流程、节点、 连接线的操作中提供增删流程、增删节点、增删连接线、拖拽节点、拖拽连接 线、复杂结构的展开与折叠、复制与粘贴、对齐和放大缩小功能，并在控制信 息操作中为图形化流程的流程节点赋予节点控制信息；XML(EXtensible Markup  Language)层为展现层提供了流程节点建立与组合的调用接口，负责将节点控 制信息到边控制信息的映射结果转换为以XML(EXtensible Markup Language) 文件格式描述的半形式化流程模型，然后对组合的流程进行正确性校验，并进 行流程保存；数据库层负责设计流程的持久化，通过XMLtoNotes函数保存流程 定义到Lotus数据库中供工作流引擎调用，为XML(EXtensible Markup  Language)层提供了持久化服务。

本发明的通用工作流图形化设计和验证工具，让用户通过Web图形界面来 方便地设计通用的工作流；进而为可视化流程的流程节点赋予节点控制信息， 并通过节点控制信息到边控制信息的映射对组合的流程进行正确性验证，实现 了一种流程正确性验证功能，并且与一般独立的可视化流程设计工具和形式化 模型方法相比具有以下优点：

1、本发明的通用性：该工具设计出的工作流不仅仅局限于某一个软件平 台，只要开发了一种软件平台的适配器，就可以应用于这种软件平台；

2、本发明的验证方法具有易用性：支持普通用户以简单的方法进行可视 化流程的设计；

3、本发明的验证方法具有形式化基础，能够进行流程节点组合的正确性 验证。

本发明设计出的工作流不仅仅局限于一种软件平台，只要开发了适配器， 就可以应用于多个软件平台；并且该方法具有形式化基础，能够进行流程节点 组合的正确性验证。目前这种通用工作流图形化设计和验证工具已经成功应用 于Domino平台的协同工作系统。

附图说明

图1是通用工作流体系结构图；

图2是流程设计和验证方法的体系结构图。

具体实施方式

下面结合实施例对本发明作进一步详细说明。