带时间、资源、输入输出约束的工作流系统建模方法

发明专利无效专利

申请号：
CN201810737177.8
IPC分类号：G06F11/36
申请日期：
2018-07-06
申请人：
中国人民解放军陆军工程大学

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	带时间、资源、输入输出约束的工作流系统建模方法
申请号	CN201810737177.8	申请日期	2018-07-06
法律状态	驳回	申报国家	中国
公开/公告日	2018-12-18	公开/公告号	CN109032931A
优先权	暂无	优先权号	暂无
主分类号	G06F11/36 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F11/00 错误检测；错误校正；监控（在基于记录载体和传感器之间的相对运动而实现的信息存储中的错误检测、校正或监控所用的方法或装置入 G11B 20/18；监控，即，监控记录或重现的进程入G11B 27/36；静态存储中所用的方法或装置入G11C29/00）〔1，4，2006.01〕 G06F11/36 通过软件的测试或调试防止错误〔7〕	IPC分类号	G;0;6;F;1;1;/;3;6查看分类表>
申请人	中国人民解放军陆军工程大学	申请人地址	江苏省南京市秦淮区海福巷1号变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	中国人民解放军陆军工程大学	当前权利人	中国人民解放军陆军工程大学
发明人	郑长友;洪宇;李辉;胡斌;黄松;史涯晴;张婷婷;惠战伟;蒋园园;张赛男
代理机构	南京钟山专利代理有限公司	代理人	戴朝荣

摘要

本发明提供了一种带时间、资源、输入输出约束的工作流系统建模方法。所述带时间、资源、输入输出约束的工作流系统建模方法包括如下步骤：步骤1，将系统重新定义为带有输入输出及资源、时间约束的工作流；步骤2，定义扩展后的RTI/O_WF_Net模型；步骤3，将工作流依算法转换成I/O_WF_Net模型；步骤4，为模型中的活动迁移增加时间属性；步骤5，资源库所及对应关系建模；步骤6，对模型进行初始化标记。本发明的有益效果是：所述带时间、资源、输入输出约束的工作流系统建模方法对工作流系统测试可能出现的资源竞争或冲突的现象进行分析，建立被测系统的时延Petri网模型，达到简化工作流系统测试方法，降低测试时间，提高测试效率的目的。

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

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

我浏览过的专利

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