[发明专利]一种适应需求变更的形式化Petri网模型自动演化方法有效
| 申请号： | 201710719892.4 | 申请日： | 2017-08-21 |
| 公开（公告）号： | CN107479893B | 公开（公告）日： | 2020-12-22 |
| 发明（设计）人： | 李宗花;叶正伟 | 申请（专利权）人： | 淮阴师范学院 |
| 主分类号： | G06F8/20 | 分类号： | G06F8/20 |
| 代理公司： | 北京东方盛凡知识产权代理事务所(普通合伙) 11562 | 代理人： | 宋平 |
| 地址： | 223300 江苏*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种适应需求变更的形式化Petri网模型自动演化方法，包括以下步骤：S1：设计模型检查程序对原始业务过程模型和修改后的业务过程模型进行匹配检查；S2：设计模型探测程序定时检查模型修改数据文件中的内容；S3：设计模型演化程序读取模型修改数据文件的内容并完成相应的演化操作。本发明的优点在于：1、所设计的模型检测组件能够检测和记录需求变更的内容和操作，避免业务过程模型变更所带来的重复性形式化操作。2、基于模型驱动技术所设计的模型演化组件，能实现Petri网模型形式化演化操作的自动执行。3、对Petri网模型的自动演化操作的设计进一步扩展了Petri网形式化业务模型的能力，为不确定需求的业务建模提供保障。 | ||
| 搜索关键词： | 一种 适应 需求 变更 形式化 petri 模型 自动 演化 方法 | ||
【主权项】：
一种适应需求变更的形式化Petri网模型自动演化方法，其特征在于包括以下步骤：S1：设计模型检查程序对原始业务过程模型和修改后的业务过程模型进行匹配检查，检查程序需要将这两个模型中不匹配的内容记录下来，并根据内容确定执行的修改操作；S2：设计模型探测程序定时检查模型修改数据文件中的内容，如果该文件中存在新的信息，则启动所设计的模型演化程序，准备开始执行演化操作；S3：设计模型演化程序读取模型修改数据文件的内容，根据该文件中记录的更改操作和更改内容调用Petri网模型中相应的add、join、merge、update、delete等演化操作，从而实现模型演化程序的自动执行。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于淮阴师范学院，未经淮阴师范学院许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201710719892.4/，转载请声明来源钻瓜专利网。
