[发明专利]一种基于完全有限前缀展开的行为等价过程树生成方法

权利要求书

1.一种基于完全有限前缀展开的行为等价过程树生成方法，其特征在于，包括以下步骤：

A.利用完全前缀展开法，将过程模型展开为包含截断事件的分支进程；

B.从所述分支进程中提取出满足可重构条件的活动关系组；判断活动关系组是否满足可重构关系的方法包括：

B1：从所述分支进程中提取出变迁集；

B2：根据预定可重构关系的定义，分别对所述变迁集中的每一变迁组的关系进行辨别，若辨别通过，则判定所述变迁组所对应的活动关系组满足可重构关系；

C.根据预定冲突判断条件，在判断出所提取出的所述活动关系组间不存在冲突时，执行D；所述预定冲突判断条件为：

对于过程模型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；对于任意活动a1、a2∈A，t1、t2满足下述条件时，活动关系组间不冲突：

1、a1、a2无关系或只存在一种关系；

2、当a1、a2存在可重构的顺序关系时，a1和a2与于任意a∈p.A∧a≠a1∧a≠a2之间可以存在的关系只有活动a与a1件的可重构的顺序关系，或者只有活动a2与a之间的可重构的顺序关系；

3、当a1、a2存在可重构的迭代关系时，a1和a2与于任意a∈p.A∧a≠a1∧a≠a2之间不能存在任何关系；

4、当a1、a2存在可重构的选择关系或可重构的并发关系时，a1和a2与于任意a∈p.A∧a≠a1∧a≠a2之间可以存在的关系只有选择关系或者并发关系；

D.以预定优先级判断规则，从所提取出的所述活动关系组中选择优先级最高的一组活动关系组进行重构；所述预定优先级判断规则具体为：以活动关系组所属的可重构关系的类型判断活动关系组的优先级；

重复步骤A-D直至重构完所有的活动关系组，以得到对应的过程树。

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

3.如权利要求2所述的行为等价过程树生成方法，其特征在于，所述可重构的顺序关系的判断条件为：

当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的关系相同。

4.如权利要求2所述的行为等价过程树生成方法，其特征在于，所述可重构的迭代关系的判断条件为：

当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不存在可重构的关系时，a1与a2存在可重构的迭代关系。