一个基于构件的分布式软件构架开发环境

针对分布式软件和软件构架日益复杂的特点，本文首先提出并建立了一个基于构件的分布式软件构架描述语言DSADL，然后介绍了基于DSADL的分布式软件构架开发集成环境EDAD．实践证明，EDAD能够有效辅助分布式软件设计人员在构架层次上对系统进行分析和设计，从而提高系统的开发效率．     

网络通信协议的属性文法规格说明

本文给出一个基于属性文法的网络通信协议的形式说明与自动生成的模型.首先引入了一个扩展的属性文法描述工具,讨论了用其描述协议的并行、同步、延时（时序）等特性的有关问题；然后研究了基于属性文法的网络通信协议自动生成环境及其核心算法——属性计算（即语义分析）算法.     

基于服务连接和消息连接软件构架的研究

软件构架是解决复杂大型软件开发面临的困难，提高软件质量和软件生产效率的有效方法，是软件复用和基于构件软件工程研究的重要领域，通过对软件构架风格特点的讨论和对构件之间交互方式的分析，论文提出了基于服务连接和消息连接的软件构架风格，开发了一个支持该构架风格的构件生产和组装平台，该构架风格具有以下特点，（1）支持多种可变性机制；（2）构件之间灵活和显式的服务连接和消息连接机制；（3）支持构件合成；（4）构件接口分组，成为端口。     

基于构件和总线集成的业务基础平台框架研究

为了提高软件复用的灵活性和软件的开发效率,提出了一个基于构件和总线集成的业务基础平台框架（CBBF）,以结构级的构件定制和复用生成业务过程,以体系结构支撑和集成软件系统。阐述了基于业务基础平台的开发模式;设计了CBBF的体系结构;分析了CBBF实现的关键设计,包括XML总线集成的内核引擎、构件分类、构件模型的形式化描述和构件组装;给出了CBBF的实现细节。实践表明CBBF可以简化软件开发过程,大幅提高软件开发效率。     

模型驱动的软件多质量属性仿真评估方法

分析和评估复杂分布式软件系统涉及到系统功能性需求以及性能、可用性和可靠性等多种质量属性,但目前的方法一般不能同时兼顾功能性需求和非功能性需求,且往往只能针对单个质量属性进行评估。提出一种基于Discrete Event System Specification（DEVS）模型驱动的多质量属性仿真评估方法,使用扩展的Scheduled Parallel DEVS Modeling Language (SPDML)结合软件构件错误模型进行实验框架设计,实现了从图形化建模到仿真代码自动生成的全过程。     

ABC:基于体系结构、面向构件的软件开发方法

基于构件的软件复用和开发被认为是提高软件开发效率和质量的有效途径,并在分布式系统中得到了广泛的应用.但是,目前的软件构件技术主要还是着眼于构件实现模型和运行时互操作,缺乏一套系统的方法以指导整个开发过程.近年来,以构件为基本单元的软件体系结构研究取得了较大的发展.它通过对软件系统整体结构和特性的描述,为面向构件的软件开发提供了一个自顶向下的途径.介绍了一种以软件体系结构为指导,面向构件的软件开发方法,试图为基于构件的软件复用提供一种有效的解决方案.这种方法主要是将软件体系结构引入到软件开发的各个阶段,作为系统开发的蓝图,利用工具支持的自动转换机制缩小从高层设计到实现的距离,而后在构件平台的运行支持下实现自动的系统组装生成.     

DBMS生成器DOMDG的形式化描述

为提高DBMS开发效率,实现开发过程自动化,文中提出了一种基于构件的DBMS生成器DOMDG.DOMDG提供了一种简洁的形式化语言描述DBMS的构架,系统根据形式化描述对预制构件进行选取和组装,生成相应的DBMS.文中主要介绍了DOMDG中构件、构件关系、系统操作语法和目标DBMS构架描述的形式化描述语句.     

基于模型的Fuzzing测试脚本自动化生成

针对基于知识的Fuzzing测试技术存在脚本编写工作量大的问题,提出一种基于模型的Fuzzing测试脚本自 动生成方法。方法首先以高阶属性文法形式化地描述数据模型,获取统一的、与测试环境无关的数据格式描述;然后 依据文法模型,将样本解析为带格式知识的文法分析树;最后建立文法分析树与测试逻辑的关联关系,实现自动化的 测试脚本生成。实验结果表明,所提出的方法能够自动生成有效的测试脚本,并发现软件中潜在的安全漏洞。     

构件化软件演化信息及演化相似性度量技术研究

对软件演化信息的度量能发现软件演化过程中的问题,预测其变化趋势。传统的软件演化信息度量技术主要是以文件、目录或者项目作为度量的基本单位,缺乏在较高抽象层次对软件系统进行度量的能力。在基于构件的软件配置管理模型的基础上,以构件作为软件演化度量的基本单位,提出了一组基于属性变化、适用于构件以及软件系统演化度量的公式（包括较近、较早演化度量,演化相似性度量等）,并开发了原型支撑系统。     

基于软件重用的报表构件生成系统的研究与实现

针对IS（信息系统）中报表的处理过于烦琐，本文在基于软件重用的基础上，对各类报表进行分析，提出了一个报表构件模型，使得用重用的构件组装报表成为可能，并且根据此思想，建立了报表模板库，开发出报表构件生成系统，实现了报表的构件化管理和重用，并应用于实际的IS开发中。     

构件化领域框架设计与实现

文中介绍了由东北大学软件中心研究的构件化领域框架系统ＮＥＳＣ。它以构件技术、软件体系结构技术和应用软件开发技术为基础,采用了界面、规则和存储的层次化结构,实现了规则控制、时空关系描述、可视化信息表达、构件静态组合、功能动态组合、分布式构件管理等功能。框架体系结构设计通过应用－技术二维划分、功能提取、局部封闭和全局分层等技术实现,可望达到合理规划设计构件,简化依赖关系,提高运动效率,增强构件通用性以     

ABC/ADL:一种基于XML的软件体系结构描述语言

作为基于构件的软件开发过程的系统蓝图,软件体系结构(SA)扮演了非常重要的角色,其研究受到越来越多的关注．而软件体系结构描述语言(ADL)是研究和应用SA的基础．提出了一种基于XML的体系结构描述语言——ABC／ADL．ABC／ADL具备大多数ADL描述软件系统高层结构的能力,还支持系统的逐步精化与演化,并支持系统的自动化组装和验证．采用数据互操作标准XML作为元语言,不仅使ABC／ADL具有与其他ADL的互操作性,还有助于实现设计阶段的制品与其他软件生命周期阶段制品之间的可追踪性．     

XSSRA/ADL:一种基于XML的安全需求体系结构描述语言

在开发基于Internet的大型复杂软件系统时,应该在体系结构层次上考虑业务需求和安全需求,而安全需求的体系结构描述语言(SRADL)是研究和应用安全需求体系结构的基础传统的体系结构描述语言没有专门针对安全需求的构件、连接件和体系结构风格的描述,因此,在体系结构层次上描述安全需求还比较困难提出了一种基于XML的安全需求体系结构描述语言--XSSRA/ADL,它引入了安全构件、半安全构件、安全连接件、半安全连接件等设计单元,不仅能够描述安全需求的体系结构,而且也较好地解决了软件系统中业务需求与安全需求在高层的交互和依赖关系另外,XSSRA?ADL采用数据互操作标准XML作为元语言,这使得它具有与其他ADL的互操作性,并便于支持系统的精化和演化.     

基于Agents的软件合成框架ABFSC

通过软件合成来开发分布计算环境下的开放性集成化应用系统正在成为软件工程研究的新热点,软件体系结构的透明描述是支持软件合成的主要手段,但现行体系结构形式描述抽象程度太低,无法清晰说明软构件间的协作和语义互操作。