产品线的体系结构并发演化冲突检测技术的研究.docVIP

产品线的体系结构并发演化冲突检测技术的研究 　　(西北工业大学 a.软件与微电子学院；b.计算机学院, 西安 710072) 　　?? 　　摘 要：产品线体系结构定义了产品线中所有产品的公共结构及其特性，是软件产品线最重要的核心资源之一。为了满足其多个成员的特殊需求变更，产品线体系结构需要并发演化，而并发演化冲突则成为产品线体系结构演化的核心问题。应用复用契约技术检测产品线体系结构的并发演化冲突，给出产品线体系的vADL模型的类型标签图映射及约束，定义产品线体系结构的编辑命令、应用性冲突和演化性冲突，并且对该方法进行实例说明。?? 　　关键词：产品线体系结构；演化；冲突检测?? 　　中图分类号：TP311 文献标志码：A 　　 文章编号：1001?B3695(2009)02?B0577?B03 　　?? 　　Research on detecting conflicts of concurrent evolution for product line architecture 　　?? 　　ZHANG Taoa,WANG Haipengb,MA Chunyana,CHEN Yuzhena,HU Zhengguob 　　??(a.College of Software Microelectronics,b.College of Computer, Northwestern Polytechnical University, Xi’an 710072, China) 　　??Abstract:Product line architecture (PLA)is one of the most important core assets of software product line (SPL),and specifies common and special structure of all members of SPL. Evolved PLA concurrently to adapt particular requirement change of members,and solved conflicts of concurrent evolvement.Provided a method to detect conflicts of PLA evolvement with reuse contract. The vADL model of PLA could be map to labeled typed graph, and defined constrains, evolve commands, applicability conflicts and evolution conflicts.It provided a simple example to explain detecting conflicts technique.?? 　　Key words:product line architecture; evolution; conflict detection 　　?お? 　　软件产品线是一种面向特定领域、大规模系统的软件复用技术，它的特点在于一次开发一组具有大量公共特征的相似产品[1]。产品线体系结构定义了产品线中所有产品的公共结构及其独特性，是产品线成功开发的核心和基础[2]。为了满足各个成员的需求变更，产品线体系结构需要并发演化为多个分支，发现和检测并发演化冲突就成为产品线体系结构演化的核心问题。体系结构描述语言（ADL）能够形式化规约软件体系结构，是体系结构精化、分析、演化的基础。产品线体系结构描述语言Koala 基于配置管理系统管理产品线体系结构演化，不支持并发演化[3]。xADL2.0 具有版本元素管理产品线体系结构的并发演化，并且提供比较和合并算法检测简单的并发演化冲突[4]。?? 　　复用契约能够结构化描述可复用资源并基于契约增量修改可复用资源和评估可复用资源变更的影响。复用契约定义有扩展、取消、细化、粗化等基本的契约类型，并且提供扩展机制，可以定义新的契约类型和冲突，满足不同领域的特殊需求。目前，复用契约已应用于面向对象领域内的并发演化冲突检测[5]。?? 　　vADL（variabilityenabled architecture describe language）是笔者提出的一种产品线体系结构描述语言[6]。在vADL基础上，本文研究基于复用契约技术检测产品线体系结构并发演化冲突，并给出简单的实例说明。?? 　　1 vADL简介?? 　　vADL是一种显式描述变化性产品线体系结构的描述语言。它具有基于π演算的形式语义，能够描述静态和动态体系结构；