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

摘要

本发明公开了一种通用工作流图形化设计和验证工具，它包括通用工作流体系结构、流程设计和验证方法的体系结构两部份。它让用户通过Web图形界面来方便地设计通用的工作流；进而为可视化流程的流程环节扩展描述信息，并通过环节控制信息到边控制信息的映射规则对组合的流程进行正确性验证，实现了一种流程正确性验证功能。该工具设计出的工作流不仅仅局限于某一个软件平台；并且该方法具有形式化基础，能够进行流程环节组合的正确性验证。

主权项

1、一种通用工作流图形化设计和验证工具，其特征在于：包括通用工作流体系结构、流程设计和验证方法的体系结构两部份：(1)、通用工作流体系结构：通过工作站的通用可视化流程设计器提供的展现层为用户提供方便的流程设计手段，即流程操作、节点操作、传输线操作、放大缩小操作、业务信息操作，然后将设计出的通用工作流保存为简单流程网模式存储的流程设计结果--XML格式的通用文档；进而为工作流运行平台开发一个流程适配器，并由流程适配器将设计好的通用工作流导入Domino平台进行运行，得到Domino平台的流程转换结果；最后实际的工作流运行实例产生的信息均保存在工作流运行平台中；(2)、流程设计和验证方法的体系结构：流程设计和验证方法的体系结构将可视化流程分为展现层、XML层和数据库层：展现层使用AJAX+VML技术，在流程、节点、连接线的操作中提供增删流程、增删节点、增删传输线、拖拽节点、拖拽传输线、复杂结构的展开与折叠、复制与粘贴、对齐和放大缩小这一系列功能，并为图形化流程的流程环节扩展业务描述信息；XML层为展现层提供了流程环节建立与组合的调用接口，负责将环节控制信息到边控制信息的映射结果转换为以XML文件格式描述的半形式化流程模型，然后对组合的流程进行正确性校验，并进行流程保存；数据库层负责设计流程的持久化，通过XMLtoNotes函数保存流程定义到Lotus数据库中供工作流引擎调用，为XML层提供了持久化服务。