一种软件体系结构并行演化冲突的检测方法技术

本发明专利技术公开了一种软件体系结构并行演化冲突的检测方法，其特征在于它包括：建立基于演化规则的软件体系结构并行演化冲突的定义和特征；建立软件体系结构并行演化的临界对定义；建立软件体系结构并行演化对冲突与临界对的对应关系；软件体系结构并行演化冲突检测的实现。本方法首先建立基于演化规则的软件体系结构并行演化冲突的定义和特征，以及软件体系结构并行演化临界对的定义，然后建立软件体系结构并行演化冲突与临界对的对应关系，接着对每对演化规则应用，检测软件体系结构并行演化过程中是否存在临界对，从而实现应用演化规则进行软件体系结构并行演化是否产出冲突的检测。本发明专利技术能为软件体系结构并行演化冲突提供一种有效的检测方法。

【技术实现步骤摘要】

本专利技术涉及计算机领域，尤其是涉及ー种软件体系结构并行演化的冲突检测方法。
技术介绍
随着计算机技术如普适计算、移动计算、云计算等的不断发展，软件的用户需求、计算环境等也不断发生改变。当面对这些不断变化的需求和环境时，软件往往变得カ不从心。为了提高适应性和增强生命力，软件必须能够随时间不断被改变。软件的这种不断被改变、调整、加强的过程就是软件演化。软件演化已经成为软件生命周期中的重要组成部分。 研究人员尝试从软件需求、体系结构、代码复用等方面掲示软件演化的规则或规律，并探索软件演化过程的描述及分析方法。现代软件的复杂性决定了软件演化研究首先应从宏观层面入手，这样避免过早陷入琐碎的细节中。软件体系结构描述了软件系统的结构组成、组成元素之间的交互、连接，及约束等。软件体系结构通常以构件、连接件的形式描述系统的组成元素及其交互等信息，为人们在全局上把握软件的演化提供了一条有效途径。如何在软件体系结构层次上刻画和分析演化已成为研究软件演化的关键问题。虽然目前研究者在软件体系结构演化方面做了较多的工作，但大多数方法都没有考虑软件体系结构演化的冲突问题。如何分析和检测软件体系结构演化冲突是保证软件体系结构演化正确的必要手段之一，对保证软件体系结构演化的正确性具有重要意义。然而，目前还很少见软件体系结构演化冲突的检测方法。
技术实现思路
本专利技术的目的是提供。本专利技术的技术方案包括(1)建立基于演化规则的软件体系结构并行演化冲突定义；(2)建立软件体系结构并行演化冲突的特征；(3)建立软件体系结构并行演化临界对的定义；(4)建立软件体系结构并行演化冲突与临界对的对应关系；(5)软件体系结构并行演化冲突检测的实现；其中，软件体系结构演化规则的定义如下设有ー个软件体系结构，它对应的超图为H,给定ー个超图产生式规则p·· Z / ，其中Z称为P的左手边(left-hand side) ,7 称/ 的为右手边(right-hand side),如果Z是//的一个子图，用超图ガ对Z替换，并保留//中其它部分不变，得到另ー个超图が，且が为另ー个软件体系结构超图，则称/7为ー个软件体系结构演化规则，此时也称演化规则/7可应用于软件体系结构超图优选通过首先建立基于演化规则的软件体系结构并行演化冲突的定义和特征，以及软件体系结构并行演化临界对的定义，然后建立软件体系结构并行演化冲突与临界对的对应关系，接着对每对演化规则A L^R1和/72: L2 R2,构造Z1和ん所有能够形成的联合超图满射(Jnl, m2)，以及所形成的体系结构超图//，最后根据软件体系结构并行演化冲突的特征，判断H~5 H1 和 H~>Bt 是否是临界对；其中//!和//2表示对软件体系结构超图"分别应用演化规则&和/72进行演化后的软件体系结构超图，从而实现应用A和/72进行软件体系结构并行演化是否产出冲突的判定。进ー步优选(I)建立基于演化规则的软件体系结构并行演化冲突定义如下设"是ー个软件体系结构超图，A和/Vん / 2是两个软件体系结构演化规则，开~^历和孖一^ A是两个单步软件体系结构演化，如果不同时满足以下条件 1)存在包含超图态射んA 私，使得ん=A*，其中 A到"的包含超图态射；2)存在包含超图态射んZ2 0，使得ん=A*叫，其中而为ん到"的包含超图态射。则称ff—f珥和F—^玛是并行冲突的软件体系结构演化。(2)建立软件体系结构并行演化冲突的特征如下设"是ー个软件体系结构超图，A和/Vん / 2是两个软件体系结构演化规则，— 7^￥1和1ー^馬是并行冲突的软件体系结构演化当且仅当以下两个条件之一成立，其中“”为集合差运算1)I1Qd2 TP2) ；2)I2Qd1 R1、讀。(3)建立软件体系结构并行演化临界对的定义如下给定两个软件体系结构演化规则A: A ベ和/V L2 R2, g <Λ, ) 和H 内,是两个单步演化，其中&为L1到H的包含超图态射，m2为L2到H的包含超图态射；如果Os1,m2)是联合超图满射，且丑一甩和H__________________________________ 是并行冲突的软件体系结构演化，则称一和一^^ち是软件体系结构并行演化临界对。(4)建立软件体系结构并行演化冲突与临界对的对应关系如下对每对并行冲突的软件体系结构演化H >gi和H 馬i，都存在一个软件体系结构并行演化临界对与之对应；其中，并行冲突的软件体系结构演化和Η——γ 与软件体系结构并行演化临界对的对应关系建立方法如下若单步软件体系结构演化I一1^禺和〃一!^是并行冲突的，则首先对％，《2，构造超图G和超图单射 :ひW，使得O1:ん ^和O2:ん知为联合超图满射，且满足叫=ο1#m，m2ニ o2mm ;然后由超图态射》和构造pushout补⑴，由超图态射/和O1构造pushout(2),得到超图态射·S1, F1和ら,贝丨J (I)也是pushout。类似地,可以构造pushout (3)和(4)；则^ー^が^和^ー^^^即为所构造的软件体系结构并行演化临界对。(5)软件体系结构并行演化冲突检测的实现方法如下首先，给定软件体系结构演化规则集/7，对/7中每对演化规则A L^R1和/72: L2 R2,构造ん和4所有能够形成的联合超图满射W 2)，以及所形成的软件体系结构超图仏然后，根据软件体系结构并行演化的冲突特征，判断I一和I一^是否是软件体系结构并行演化临界对，如果是临界对，则表明应用演化规则A和P2进行并行演化会产生冲突，否则应用演化规则P1和/72进行并行演化不会产生冲突，从而实现检测应用演化规则A和/72进行并行演化是否产出冲突。与现有技术相比，本专利技术的优点是本专利技术的方法不仅可以有效地表示软件体系结构并行演化冲突及其特征，而且可以有效地实现软件体系结构并行演化冲突检测。附图说明 图I是本专利技术的流程图。图2是本专利技术的软件体系结构并行演化冲突定义示意图。图3是本专利技术中的临界对构造示意具体实施例方式本专利技术通过下面的实施例可以对本专利技术作进ー步的描述，然而，本专利技术的范围并不限于下述实施例。实施例I :(I)建立基于演化规则的软件体系结构并行演化冲突定义设"是ー个软件体系结构超图，A和/Vん / 2是两个软件体系结构演化规则，—和耳是两个单步软件体系结构演化，如果不同时满足以下条件1)存在包含超图态射んA 私，使得ん=A*，其中 A到"的包含超图态射；2)存在包含超图态射んZ2 0，使得ん=A*叫，其中而为ん到"的包含超图态射。如图2所示，则称丑一和是并行冲突的软件体系结构演化。(2)建立软件体系结构并行演化冲突的特征设"是ー个软件体系结构超图，A和/Vん / 2是两个软件体系结构演化规则，!和一^1^是并行冲突的软件体系结构演化当且仅当以下两个条件之一成立，其中“ ”为集合差运算1)I1Qd2 ち)讀；2)I2Qd1 TP1)⑶。(3)建立软件体系结构并行演化临界对的定义给定两个软件体系结构演化规则P1:ん ·/^和/ : L2 R2, ^一J.Hi和一ノ.幵3是两个单步演化，其中&为L1到H的包含超图态射，m2为L2到H的包含超图态射；如果Os1,m2)是联合超图满射，且丑一！和是并行冲突的软本文档来自技高网...

【技术保护点】
一种软件体系结构并行演化冲突的检测方法，其特征在于技术方案包括：(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。

【技术特征摘要】

【专利技术属性】
技术研发人员：徐洪珍，朱雪琴，宋文琳，
申请(专利权)人：东华理工大学，
类型：发明
国别省市：