基于产品线工程方法提高组件容器的可复用性

组件容器为组件提供部署和运行环境,是基于组件的分布式应用开发的核心。近年来,开发网构软件的需求驱动着组件技术持续改进,新型组件不断涌现,这对组件容器的开发效率提出更高的要求。因此,在组件容器开发过程中大规模复用已有的软件资产变得非常重要。在许多情况下,产品线工程已被证实是有效的系统化复用的工程方法。首先探讨将产品线工程应用于组件容器开发所面临的主要困难,并提出相应的解决方案;然后给出了一个组件容器的产品线——PLACE的设计,解释了其两个主要部分:产品线体系结构和产品派生流程;最后,通过一个实际案例,展示利用PLACE设计开发组件容器的完整过程,结果证实体系结构和源代码的复用性都有一定程度的提高。     

基于容器中间件的组件系统体系结构性能评价

对组件系统性能建模时,需要考虑中间件平台的影响.基于体系结构模式,分析了容器风格中间件对组件系统结构和性能的影响,并提出了一种在组件系统UML描述中集成中间件组件及交互关系的方法.从该集成UML模型导出的性能模型,能够有效地反映中间件的影响.这样,在对组件系统性能建模时,无须了解中间件内部细节.这种基于体系结构模式的方法可以方便扩展以处理不同风格的中间件,且易于实现自动化.以EJB容器中间件为例说明并验证了所提出方法的有效性.     

产品线体系结构复杂性度量

产品线体系结构需要支持多种变化性以满足其内部成员特性，因而是重要又复杂的软件产品线子系统。本文通过分析产品线体系结构的vADL规约，充分考虑产品线体系结构变化性对其复杂性度量的影响，生成产品线体系结构信息流图PLA—IFG，基于PLA—IFG，实现自动化度量产品线体系结构复杂性，提出了支持变化性的产品线体系结构复杂性度量方法。     

产品线体系结构层次组装技术研究

产品线体系结构是软件产品线成功开发的基础,层次组装是产品线体系结构设计的重要支撑技术。在产品线体系结构描述语言vADL的基础上,针对产品线体系结构层次组装的特点,首次引入变化性组装概念,并研究了两种变化性组装技术:变量映射和守护条件约束。在传统端口绑定基础上,引入组装件技术支持多个异型组件端口组装和多种类型的端口行为组装。给出基于π演算理论的行为组装推导算法,并充分考虑变化性对行为组装的影响。     

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

产品线体系结构定义了产品线中所有产品的公共结构及其特性,是软件产品线最重要的核心资源之一。为了满足其多个成员的特殊需求变更,产品线体系结构需要并发演化,而并发演化冲突则成为产品线体系结构演化的核心问题。应用复用契约技术检测产品线体系结构的并发演化冲突,给出产品线体系的vADL模型的类型标签图映射及约束,定义产品线体系结构的编辑命令、应用性冲突和演化性冲突,并且对该方法进行实例说明。     

基于产品线体系结构的软件工程过程模型研究

在借鉴现代工业的组织体系、管理规范、生产流程的基础上,针对基于软件产品线体系结构的软件工程方法和开发过程进行了系统研究,提出了基于产品线体系结构而实现软件工程化生产的N-生命周期模型.该模型的建立,对研究基于软件产品线体系结构的集成化软件工程环境,进而实现软件产品的工业化生产是非常有益且重要的.     

CSCW系统体系结构模型的研究

本文首先介绍了当前CSCW系统体系结构的研究现状,然后提出了一个开放的CSCW系统结构模型－QC、SCW,该模型能有效地提高CSCW系统开发的效率和质量,同时能提高CSCW系统的可裁剪性、可重用性和可扩展性。     

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

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

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

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

基于Java安全体系结构的托管PaaS平台安全容器

分析了PaaS云平台的特征及其面临的一些安全问题,及现有解决方案存在的不足,在此基础上提出新的解决方案——基于Java安全体系结构的托管PaaS平台安全容器。     

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

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

基于过程驱动的集成化企业模型体系结构

探讨了企业建模的发展趋势,提出了基于过程驱动的企业模型体系结构。首先,讨论了企业视图维模型（过程、基础设施、协同、行为和信息模型）及其相互关系;接着分析了企业的全生命周期建模过程,给出了企业过程重组的方法;最后介绍了基于模型构件的企业快速建模方法,并强调应该加强行业参考模型及模型构件库建设。北航软件工程研究所开发的企业过程建模系统EPMS2．0版能够支持上述思想的企业建模,对企业过程重组和资源重组乃至企业机构重组都有一定的指导意义。     

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

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

基于组件动态多维模型的组件库架构

基于组件的软件开发是一种用来提高复用水平的最有前途的软件工程技术．而基于组件开发的最重要的问题之一就是如何能最有效的建立、维护和使用组件库．本文从不同的视角来反映组件的整体特征，每个视角称为一个“维”．又从静态和动态两个方面来阐述组件库的各个维，如描述维、部署维、案例维、测试维、需求维、创建和维护维、应用维、度量维等，提出了组件库的元模型．在此基础上又给出了基于组件动态多维模型的组件库的实现架构．     

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

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

基于进程组构件模型的软件体系结构设计方法

软件工程的有效性在于进行体系化或系统化的设计,软件体系结构的好坏对系统的成败起着举足轻重的作用。本文针对并发系统,结合面向对象、构件以及软件复用的思想,提出了一种基于进程组构件模型的软件体系结构设计方法。最后介绍了采用该方法设计的iCALL系统。