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

说明书

技术领域

本发明涉及计算机领域，尤其是涉及一种软件体系结构并行演化的冲突检测方法。

背景技术

随着计算机技术如普适计算、移动计算、云计算等的不断发展，软件的用户需求、计算环境等也不断发生改变。当面对这些不断变化的需求和环境时，软件往往变得力不从心。为了提高适应性和增强生命力，软件必须能够随时间不断被改变。软件的这种不断被改变、调整、加强的过程就是软件演化。软件演化已经成为软件生命周期中的重要组成部分。研究人员尝试从软件需求、体系结构、代码复用等方面揭示软件演化的规则或规律，并探索软件演化过程的描述及分析方法。

现代软件的复杂性决定了软件演化研究首先应从宏观层面入手，这样避免过早陷入琐碎的细节中。软件体系结构描述了软件系统的结构组成、组成元素之间的交互、连接，及约束等。软件体系结构通常以构件、连接件的形式描述系统的组成元素及其交互等信息，为人们在全局上把握软件的演化提供了一条有效途径。如何在软件体系结构层次上刻画和分析演化已成为研究软件演化的关键问题。

虽然目前研究者在软件体系结构演化方面做了较多的工作，但大多数方法都没有考虑软件体系结构演化的冲突问题。如何分析和检测软件体系结构演化冲突是保证软件体系结构演化正确的必要手段之一，对保证软件体系结构演化的正确性具有重要意义。然而，目前还很少见软件体系结构演化冲突的检测方法。

发明内容

本发明的目的是提供一种软件体系结构并行演化冲突的检测方法。

本发明的技术方案包括：

(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。

优选：

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

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

进一步优选：

（1）建立基于演化规则的软件体系结构并行演化冲突定义如下：