一种适应需求变更的形式化Petri网模型自动演化方法

发明专利有效专利

申请号：
CN201710719892.4
IPC分类号：G06F8/20
申请日期：
2017-08-21
申请人：
淮阴师范学院

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	一种适应需求变更的形式化Petri网模型自动演化方法
申请号	CN201710719892.4	申请日期	2017-08-21
法律状态	授权	申报国家	中国
公开/公告日	2017-12-15	公开/公告号	CN107479893A
优先权	暂无	优先权号	暂无
主分类号	G06F8/20 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F8/00 软件工程设计（测试或调试入G06F 11/36；软件项目管理、规划或组织入G06Q 10/06）〔2018.01〕 G06F8/20 软件设计〔2018.01〕	IPC分类号	G;0;6;F;8;/;2;0查看分类表>
申请人	淮阴师范学院	申请人地址	江苏省淮安市淮阴区长江西路111号变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	淮阴师范学院	当前权利人	淮阴师范学院
发明人	李宗花;叶正伟
代理机构	北京东方盛凡知识产权代理事务所（普通合伙）	代理人	暂无

摘要

本发明公开了一种适应需求变更的形式化Petri网模型自动演化方法，包括以下步骤S1设计模型检查程序对原始业务过程模型和修改后的业务过程模型进行匹配检查；S2设计模型探测程序定时检查模型修改数据文件中的内容；S3设计模型演化程序读取模型修改数据文件的内容并完成相应的演化操作。本发明的优点在于1、所设计的模型检测组件能够检测和记录需求变更的内容和操作，避免业务过程模型变更所带来的重复性形式化操作。2、基于模型驱动技术所设计的模型演化组件，能实现Petri网模型形式化演化操作的自动执行。3、对Petri网模型的自动演化操作的设计进一步扩展了Petri网形式化业务模型的能力，为不确定需求的业务建模提供保障。

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

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

我浏览过的专利

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