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

摘要

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