一种适用于软件产品线的特征模型

针对传统的特征模型中存在的对软件产品线可变性需求表达不准确、缺乏特征描述方法的问题,在FODA等方法的研究基础上,从特征模型的层次分解、特征间依赖关系、变化性表示方法等方面进行描绘,提出一种适用于软件产品线的特征模型和特征描述方法．该特征模型能够帮助产品设计人员和开发人员正确理解产品需求,也是为后续实现软件产品线自动化生产打下基础．     

基于特征切片的软件产品线模型检测

特征模型是一种描述软件产品线中共性和可变性特征的通用形式。特征模型象征着所有可能的应用程序配置空间,是实现个性化产品定制的基础。随着软件产品线的规模和复杂程度的增加,如何有效支持以用户需求为基础以及根据特定需求和利益相关者的目标进行个性定制开发是亟待解决的实际问题。提出一种根据用户需求对特征模型进行切片,进一步结合三值逻辑对行为模型进行抽象,最后利用模型检测技术对软件产品线进行验证的方法。实验结果证实了该方法的有效性。     

基于特征模型的软件产品线可变性建模方法

特征建模是软件产品线开发中的一项关键活动,对特征可变性和特征依赖的建模是特征模型中最重要的组成部分。阐述了特征模型的元模型,着重讨论了特征可变性建模过程,详细分析了特征可变性、特征之间关系、特征依赖类型的识别方法和使用特征依赖矩阵的表示方法。在此基础上,还通过一个库房监视系统应用软件的产品线可变性建模实例验证了该方法的有效性。     

通用的软件产品线领域与应用特征模型演化同步框架

软件产品线领域特征模型和应用特征模型都会发生独立的演化,在产品线的整体演化过程中必须使其始终保持一致,然而,分别为基于不同描述方式的特征模型创建同步设施往往费时、容易出错。因此,提出一个通用的软件产品线领域与应用特征模型的演化同步框架,该框架提供一套统一的特征模型元模型描述方式,并且基于该元模型提出了演化同步规则。 不同的软件产品线开发组织使用该框架时仅需定义特定的特征描述与通用描述方式之间的转换。最后,通过一个实例对框架的可用性进行了验证。     

一种基于横切特征分析的软件体系结构自动重构方法

软件体系结构中的横切关注点增加了软件体系结构的复杂性,从而加剧了体系结构演化与维护的困难.这种设计问题可以通过体系结构层面的重构来进行改善.在已有的横切特征分析方法基础上,提出了一种面向横切特征分析的体系结构自动重构方法.该方法首先基于特征与构件之间的追踪关系分析横切特征,然后将与横切特征有直接追踪关系的构件从初始体系结构中提取出来,实现方面构件,完成体系结构重构.在面向方面体系结构描述语言AO-ADL基础上开发了相应的体系结构重构工具,并针对一个业务系统进行了体系结构重构实验.实验结果表明,该方法能有效地实现体系结构横切特征的自动化重构.     

一种自适应软件体系结构框架模型的建立

针对网络动态变化的环境和用户需求的变化,提出了一种动态自适应软件体系结构模型,然后在此基础上给出了自适应系统的适应过程,通过调整自身的行为,使得系统具有一定的自适应能力。最后,通过一个简单的实例验证该模型,结果表明该模型具有适应复杂多变的网络环境的能力。     

基于组件模型分析的组件容器产品线体系结构

组件容器为组件提供部署和运行环境,是基于组件分布式应用开发的核心.近年来分布式组件的多样化和快速演化对组件容器的开发方法提出了挑战.产品线工程是基于公共的核心资产开发特定领域内软件产品系列的软件工程方法,产品线体系结构是其中最重要的部分.进行组件容器产品线体系结构的研究能够提高组件容器的结构复用性,获得更高的生产效率和质量.由于组件模型是组件容器设计的基础,在领域分析阶段引入组件模型分析,提出了组件模型分析框架,通过组件模型元素到领域需求元素的映射,建立组件容器领域模型.提出了组件容器设计的基本原则,并根据变化性封装原则,提出了组件容器产品线体系结构PLACE,通过引入可选属性、模块层次结构和决策模型,实现组件容器的领域需求.PLACE产品线体系结构已在网驰平台的多个组件容器设计中得到应用.     

基于双格的软件产品线模型检测

软件产品线在保留每个产品的可变性前提下通过最大化产品间的共性实现资源的再利用,从而提高生产效率和节约生产成本。近年来,基于特征的状态迁移系统应用于软件产品线的建模和验证中。然而现有的方法不能很好地支持软件产品线中存在的信息不确定和不一致的情况。为此,首先提出一种基于双格的特征迁移系统,用于软件产品线的行为建模,采用投影的方法定义产品的行为模型;然后采用动作计算树逻辑描述系统的时序属性,并且给出它在新系统上的语义,用于支持基于双格的模型检测;最后,采用多值模型检测工具χchek对方法的有效性进行实验分析。     

基于GRoundTram的软件产品线设计模型的同步方法

领域设计模型与应用系统设计模型是软件产品线开发与定制阶段的重要产物。在产品线的生命周期中,为 了保证这两个模型之间的一致性,需要采用自动化或半自动化的手段实现模型之间的同步。针对该问题,提出了一种 基于GRoundTram的软件产品线设计模型的同步方法,称为SPLSync-GRoundTram。该方法将领域设计模型与应用 系统设计模型之间的同步问题转换为基于图的模型双向变换问题,并使用GRound"hram实现自动化的同步操作。 出了该模型同步方法的具体操作步骤,并通过一个“网上书城”的设计模型实例展示其有效性。     

从领域需求到产品线体系结构的映射——一种面向特征的方法

领域需求之间的依赖关系对软件产品线的体系结构有很大的影响,在已有的面向特征的管理产品线需求依赖的方法中很少有研究从需求到产品线体系结构的映射.基于一种特征依赖的分类方法,提出了从领域需求到特征,以及从特征到产品线体系结构的映射规则.通过这些映射规则,一致的需求通过映射得到一致的产品线核心资产,从而减少产品线中核心资产的不一致性并增加产品线的复用程度.用金融领域的现货交易产品线作为实例说明这个方法的实用性.     

基于软件体系结构的组件集成框架

根据赵会群等提出的抽象组件定义,给出了相应的迎接件的定义。在此基础上,提出了支持接口连接式和插头插座式体系结构类型的组件模型,片对静态连接和组装给出了形式化的描述。虽然满足了静态相容性,但是系统不一定能正常工作,因此还考虑3组件的互操作性及更进一步的分布透明性,为组件的互操作提供了支持的总线机制。完成了基于软件体系结构的组件集成组装框架,为提高重用率、软件开发效率和质量提供了可能。     

一种生产线架构中的工作流过程定义复用方法

针对工作流管理系统在实际应用中面临的过程定义低效、复杂的问题,借鉴软件复用的思想,提出了一种生产线架构下的工作流过程定义复用方法.该方法建立在领域业务本体和工作流模板这两类可复用资产之上,尝试建立特定领域工作流过程定义的复用机制,以提高过程定义的效率.着重探讨了可复用资产的构建、描述和检索等问题.介绍了基于复用的工作流过程定义方法,并开发了相应的实用工具以验证该方法的有效性.     

一种基于JNDI的分布式软件架构模型

本文基于JNDI技术,提出了一种新的分布式软件架构模型。它与其它分布式软件架构相比,具有同样良好的扩展性、可维护性以及跨平台性。此外,它更适合于架构小中型分布式软件且具有更高的安全性。     

支持渐变过程的软件产品线框架的研究

产品线工程是一种正在出现的软件工程范型,用于开发相同领域的类似产品.在介绍了产品线框架相关的概念之后,根据产品线生命周期的特点,提出了框架从低级框架渐变为高级框架的过程,并在此基础上描述了框架元模型;为了支持从这种渐变,在组件库的基础上建立了视图机制,即原始映射视图、频繁组件项集视图和组件关联视图.这种基于组件库的视图机制,可以指导用户在框架实例化中的组件选取决策,促进了框架的成熟,提高了组件库的复用性能.     

基于模型驱动的软件体系结构

介绍了一种基于模型驱动的软件体系结构。该体系结构将与实现技术无关的功能模型及基于某一特定技术的实现模型分离 ,通过不同模型之间的变换 ,使系统能适应技术的进步 ,解决系统在不同中间件平台上的集成、互操作性、可移植性等问题。此外 ,也讨论了这种体系结构的优缺点及今后需要解决的问题。     

一种用于软件通信体系结构的构件模型

软件通信体系结构(SoftwareCommunicationsArchitecture,简称SCA)已被软件无线电(SoftwareDefinedRadio,简称SDR)论坛采纳为嵌入式系统的标准通信软件结构。SCA提供了一种支持通信软件和硬件可移植、可配置、可扩充和可重用的软件平台,但作为构件框架时仍显不足,主要是缺乏明确的构件模型。在研究CORBA构件模型(CORBAComponentModel,简称CCM)基础上,提出了适用于SCA的轻量级(Lightweight,简称Lw)CORBA构件模型———LwCCM。     

基于产品线N-生命周期模型的集成化软件工程环境研究

为实现软件的工业化生产,我们对日渐成熟的软件产品线体系结构、构件技术和产品线开发方法进行了分析和研究,并借鉴现代工业生产体系和自动化生产方式,提出了基于产品线体系结构的软件工程过程模型--N-生命周期模型。以此模型为基础,提出了基于产品线开发过程模型的集成化软件工程环境模型和构架,并对此环境模型和构架的实实现进行了系统的理论、技术和配置研究。文中的研究思想和成果对于基于产品线的集成化软件工程环境研究具有一定的参考和借鉴作用。     

基于CORBA构件的软件体系结构模型

软件体系结构使超大规模软件设计的简化成为可能，提出了基于CORBA构件模型的软件体系结构并给出了一种软件体系结构的模型，通过给出ADL的BNF语法以及扩充CIDL编译器和CORBA的服务来实现此