一种基于完全有限前缀展开的行为等价过程树生成方法技术

本发明专利技术公开了一种基于完全有限前缀展开的行为等价过程树生成方法。包括：利用完全前缀展开法，将过程模型展开为包含截断事件的分支进程；从分支进程中提取出满足可重构条件的活动关系组；根据预定冲突判断条件，在判断出所提取出的所述活动关系组间不存在冲突时，将所提取出的所述活动关系组按预定规则进行重构，以得到对应的过程树。本发明专利技术可将非BSPM类型的过程模型转化为行为等价的过程树，转换效率高、准确率高，转换结果结构精简。

A method of generating behavior equivalent process tree based on fully finite prefix expansion

【技术实现步骤摘要】
一种基于完全有限前缀展开的行为等价过程树生成方法
本专利技术涉及过程模型领域，尤其是一种将用Petri网描述的过程模型转化为用过程树描述的过程模型算法。
技术介绍
过程模型是一种既有图形表示，又存在行为语义的特殊数据。目前Petri网是描述一个过程模型时最常用到的建模语言，但是使用Petri网来表示过程模型，难以避免模型中出现死锁、活锁以及其他异常。其次在分析使用Petri网描述的过程模型的行为结构时，观察Petri网中一组活动间的行为关系相对容易，但是观察整个Petri网的行为结构会变的十分困难，特别是当Petri网非常复杂时，会形成“意大利面式”的过程模型。使用过程树来表示过程模型不仅可以避免这些不合理的构造，还可以兼具过程模型的行为，简化模型的复杂度。并且过程树作为一种树形结构的表示，利用它来描述一个过程模型，其优势在于结构清晰简单、结构与行为统一、确定的活动间行为语义、能满足Petri网的基本性质。使用过程树来表示一个Petri网的结构信息是有很多优势，一个BSPM能够与过程树进行行为等价的转换，也就是可以直接通过结构进行分析来本文档来自技高网...

【技术保护点】
1.一种基于完全有限前缀展开的行为等价过程树生成方法，其特征在于，包括以下步骤：/nA.利用完全前缀展开法，将过程模型展开为包含截断事件的分支进程；/nB.从所述分支进程中提取出满足可重构条件的活动关系组；/nC.根据预定冲突判断条件，在判断出所提取出的所述活动关系组间不存在冲突时，执行D；/nD.以预定优先级判断规则，从所提取出的所述活动关系组中选择优先级最高的一组活动关系组进行重构；/n重复步骤A-D直至重构完所有的活动关系组，以得到对应的过程树。/n

【技术特征摘要】
1.一种基于完全有限前缀展开的行为等价过程树生成方法，其特征在于，包括以下步骤：
A.利用完全前缀展开法，将过程模型展开为包含截断事件的分支进程；
B.从所述分支进程中提取出满足可重构条件的活动关系组；
C.根据预定冲突判断条件，在判断出所提取出的所述活动关系组间不存在冲突时，执行D；
D.以预定优先级判断规则，从所提取出的所述活动关系组中选择优先级最高的一组活动关系组进行重构；
重复步骤A-D直至重构完所有的活动关系组，以得到对应的过程树。


2.如权利要求1所述的行为等价过程树生成方法，其特征在于，所述步骤B中，判断活动关系组是否满足可重构关系的方法包括：
B1：从所述分支进程中提取出变迁集；
B2：根据预定可重构关系的定义，分别对所述变迁集中的每一变迁组的关系进行辨别，若辨别通过，则判定所述变迁组所对应的活动关系组满足可重构关系。


3.如权利要求2所述的行为等价过程树生成方法，其特征在于，所述可重构关系包括可重构的顺序关系、可重构的迭代关系、可重构的选择关系和可重构的并发关系。


4.如权利要求3所述的行为等价过程树生成方法，其特征在于，所述可重构的顺序关系的判断条件为：
对于过程模型p＝(C,A；F,M0)，Π＝(o,h)为过程模型p对应的一个包含截断事件的分支进程，其中，o＝(S,T；F')是一个出现网，h是从变迁集到活动集的一个映射函数，C是条件集，A是活动集，称作一个活动，M0为p的初始情态，S是库所集，T是变迁集，称作一个变迁，对于任意其映射到过程模型中的活动分别为a1、a2；当t1、t2满足以下条件时，活动a1和a2存在可重构顺序关系：
1、t1的配置与t2的配置只相差t2：[t1]＝[t2]-{t2}；.
2、配置[t1]映射到过程模型中的活动集合不包含事件t2映射到过程模型中的活动：
3、若存在t2'∈T，满足t2'≠t2∧h(t2')＝h(t2)，则对于所有满足[t1']∪{t2'}＝[t2']的t1'，必有h(t1')＝h(t1)；
4、不存在t∈T，满足corr(t)＝t1，除非h(t)＝h(t1)∧[t2]＝[t]-{t}；
5、对于所有t∈T，当t≠t1∧t≠t2时，事件t和事件t1在的展开网上的关系，与事件t和事件t2的关系相同。


5.如权利要求3所述的行为等价过程树生成方法，其特征在于，所述可重构的迭代关系的判断条件为：
对于过程模型p＝(C,A；F,M0)，Π＝(o,h)为过程模型p对应的一个包含截断事件的分支进程，其中，o＝(S,T；F')是一个出现网，h是从变迁集到活动集的一个映射函数，C是条件集，A是活动集，称作一个活动，M0为p的初始情态，S是库所集，T是变迁集，称作一个变迁，对于任意其映射到过程模型中的活动分别为a1、a2，即h(t1)＝a1,h(t2)＝a2；当t1、t2满足以下条件时，活动a1和a2存在可重构迭代关系：
1、t1的配置和t2的配置只相差t2：[t1]＝[t2]-{t2}；
2、t2是一个截断事件，且它的对应事件corr(t2)的配置和t1的配置只相差corr(t2)，即[t1]＝[corr(t2)]-{corr(t2)}；
3、若h(t2)≠h(corr(t2))，则a1与a2存在可重构的迭代关系，否则只有对于所有t∈T，且t≠t1∧t≠t2时，且t与t1、t2不存在可重构的关系...

【专利技术属性】
技术研发人员：朱锐，黄月，李彤，唐明靖，马自飞，郑明，汤雅惠，
申请(专利权)人：云南大学，
类型：发明
国别省市：云南;53