[发明专利]一种软件体系结构并行演化冲突的检测方法

权利要求书

1.一种软件体系结构并行演化冲突的检测方法，其特征在于技术方案包括：

(1) 建立基于演化规则的软件体系结构并行演化冲突定义；

(2) 建立软件体系结构并行演化冲突的特征；

(3) 建立软件体系结构并行演化临界对的定义；

(4) 建立软件体系结构并行演化冲突与临界对的对应关系；

(5) 软件体系结构并行演化冲突检测的实现；

其中，软件体系结构演化规则的定义如下：

设有一个软件体系结构，它对应的超图为H，给定一个超图产生式规则p: L?R，其中L称为p的左手边(left-hand side)，R称p的为右手边(right-hand side)，如果L是H的一个子图，用超图R对L替换，并保留H中其它部分不变，得到另一个超图H'，且H'为另一个软件体系结构超图，则称p为一个软件体系结构演化规则，此时也称演化规则p可应用于软件体系结构超图H。

2.如权1所述，其特征在于：

通过首先建立基于演化规则的软件体系结构并行演化冲突的定义和特征，以及软件体系结构并行演化临界对的定义，然后建立软件体系结构并行演化冲突与临界对的对应关系，接着对每对演化规则p₁: L₁?R₁和p₂: L₂?R₂，构造L₁和L₂所有能够形成的联合超图满射(m₁, m₂)，以及所形成的体系结构超图H，最后根据软件体系结构并行演化冲突的特征，判断                                                和是否是临界对；

其中H₁和H₂表示对软件体系结构超图H分别应用演化规则p₁和p₂进行演化后的软件体系结构超图，从而实现应用p₁和p₂进行软件体系结构并行演化是否产出冲突的判定。

3.如权1或2所述，其特征在于所述建立基于演化规则的软件体系结构并行演化冲突定义如下：

设H是一个软件体系结构超图，p₁: L₁?R₁和p₂: L₂?R₂是两个软件体系结构演化规则，和是两个单步软件体系结构演化，如果不同时满足以下条件：

1) 存在包含超图态射h₁: L₁?H₂，使得h₁=p₂*?m₁，其中m₁为L₁到H的包含超图态射；

2) 存在包含超图态射h₂: L₂?H₁，使得h₂=p₁*?m₂，其中m₂为L₂到H的包含超图态射；

则称和是并行冲突的软件体系结构演化。