一种通用工作流图形化设计和验证工具

发明专利有效专利

申请号：
CN200910115270.6
IPC分类号：G06F9/44
申请日期：
2009-05-04
申请人：
江西省电力信息通讯有限公司

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	一种通用工作流图形化设计和验证工具
申请号	CN200910115270.6	申请日期	2009-05-04
法律状态	授权	申报国家	中国
公开/公告日	2009-09-23	公开/公告号	CN101539861
优先权	暂无	优先权号	暂无
主分类号	G06F9/44 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F9/00 程序控制设计，例如，控制单元（用于外部设备的程序控制入G06F13/10）〔1，4，2006.01，2018.01〕 G06F9/06 使用存储的程序，即使用处理设备的内部存储来接收程序或者保留程序〔1，2006.01〕 G06F9/44 执行特定程序的设计〔3，2006.01，2018.01〕	IPC分类号	G;0;6;F;9;/;4;4查看分类表>
申请人	江西省电力信息通讯有限公司	申请人地址	江西省南昌市湖滨东路666号变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	江西省电力信息通讯有限公司	当前权利人	江西省电力信息通讯有限公司
发明人	刘显明;陶振文;王琛;付萍萍;马勇;梁文
代理机构	江西省专利事务所	代理人	黄新平;张文

摘要

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

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有引用任何外部专利数据！

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有被任何外部专利所引用！

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供