一种基于构件的分布式软件构架描述语言

针对分布式软件系统规模和复杂性不断增大的特点，在扩展传统属性文法的基础上提出了一种基于构件的分布式软件构架描述语言（DSADL），详细描述了DSADL的设计目标、组成元素以及形式化描述基础，并实现了分布式软件构架集成开发环境（EDAD）。由于DSADL结合了SADL与构件技术，因此它既有严格的语义基础，同时又具有构件的可复用性、易移植性的特点。实践证明，DSADL能够有效辅助分布式软件设计人员在构架层次上对系统进行分析的设计，从而提高系统的开发效率。     

一种基于交互的网络服务体系结构描述语言

在面向服务的新一代网络体系结构INSA参考模型研究的基础上,提出了一种基于交互的网络服务体系结构描述语言INSADL.详细介绍了实体构件、交互连接件、端口、角色及网络体系结构配置等主要建模元素的语法定义,并基于INSADL提出了以网络体系结构为中心的网络系统开发思想,为面向服务的新一代网络体系结构的形式化建模、描述和分析等奠定了基础.     

一种基于构件的嵌入式实时软件测试方法

基于构件的嵌入式实时软件测试方法是比较新的研究热点,它面临着接口描述未标准化、实时性要求高等问题。通过提出一种基于构件的嵌入式实时软件时间自动机模型——CBESTA,能够有效地测试基于构件的嵌入式软件的实时性,提高嵌入式软件的质量。     

一种面向工程的构件式软件体系结构模型

从软件体系结构服务于软件工程出发,总结出6种基本模型元素,建立一种新的构件式体系结构模型———EOCSAM模型,给出它的形式语法和语义.与其他模型不同的是,它将构件的接口、连接模式、性能等作为体系结构的第1类模型元素,并给出计算法则.它能更好地实现从应用需求到代码实现之间的逐步过渡映射,能够从功能、结构和任意多种性能的侧面对系统进行逐层跟踪分析,并可作为软件开发全过程的协同工作框架.     

软件构架描述语言ADL的研究进展

软件构架是对子系统、软件系统构件以及它们之间相互关系的描述,已逐渐成为软件工程领域的研究热点以及大型软件系统与软件产品线开发中的关键技术之一.构架描述语言(ADLs)是具有构架结构的规范及其操作语义的形式化体系,采用形式化手段表达和推理软件构架,它提供了建模软件系统概念构架的特征.与编程语言、需求语言、建模语言、模块互连语言(MILs)等不同,ADLs形式化地描述了整个系统的构件、连接器、配置及其约束关系,除了识别系统的构件和连接器之外,还专门表达了构件的行为规范、协议规范和连接器规范.目前ADLs的研究逐步转移到移动及可视化集成框架的研究、ADLs支持工具的研究、提高支持工具的有效性等方面.融合ADL与UML进行系统建模与分析也是一个重要的研究内容.     

一种面向构件自动化组装的构件检索方法

根据构件自动化组装系统对构件语义检索的需求,介绍了一种面向组装的构件检索方法.该方法将传统的刻面算法与基于领域Ontology的检索匹配算法相结合,借以提高算法的语义检索能力,同时把构件功能采用结构化的描述方式,关联到各个接口.其中详细介绍了构件描述模型和构件检索匹配算法.     

一种面向检索的构件描述方法

基于构件的软件工程可以提高软件的质量、降低软件开发和维护的成本,构件的描述是构件检索和复用的基础,提出了一种面向检索的构件描述方法,包括接口描述、语义描述、属性描述和附带档四个部分,用于在构件库中对构件进行描述,并作为构件检索的依据,能够简化构件的语法检索,提高检索的速度和查全率;显式的描述构件、各接口元素的语义及其之间的关系。     

构件化嵌入式操作系统设计

在讨论构件机制的基础上,利用分层的设计模式对嵌入式操作系统进行功能结构的划分,并使用构件机制完成各层中功能模块的设计。对于分层的设计模式与构件机制的使用可能带来的一些异构构件的组装问题加以解决．并使用形式化方法对构件进行描述,在一定程度上有利于提高嵌入式系统的可靠性、可重用性、可维护性,使得构件技术在嵌入式系统中充分发挥其优势。     

嵌入式构件系统Pcanel平台上的构件行为控制

通过为普通构件或构件群添加接口控制构件的方法实现了构件行为运行时的动态控制和配置,对构件系统性能和安全性等非功能性问题提出解决方案,最后通过构件框架组合实现了与原构件系统的兼容.     

面向复用过程的自描述构件接口模型

为促进构件理解和复用,建立了构件复用过程模型·在此之上,提出了面向复用过程的自描述构件接口模型ＳＤＩ·ＳＤＩ模型具有可扩展性,在过程和视图两维空间内定义接口规范,提供针对复用过程不同环节的构件信息和实现约束,并支持构件语义和作用边界的理解、分析和预测·ＳＤＩ的一种具体实现证明,它有助于理解构件的语义,提高构件复用的效率     

一种支持多领域构件描述的分类描述模型

软件构件库是支持基于构件的软件开发的基础设施.在软件构件库中,构件的分类描述是复用者检索和理解构件的基础.随着构件技术的发展,构件库在不同领域的得到了应用,构件分类描述机制也面临着扩展性和变化性的挑战.提出了支持多领域构件描述的分类描述模型ECDM,并基于该模型,实现了青鸟构件库管理系统中多种分类模式的定制以及对构件描述属性扩展的支持.     

基于面向对象Petri网的软件体系结构描述语言

以面向对象Petri网为形式化理论基础 ,提出了一种基于面向对象Petri网的体系结构描述语言 (OP NADL) .与传统的体系结构描述语言相比 ,OPNADL能描述系统的静态和动态语义 ,可利用Petri网的数学分析方法对系统进行动态分析 ,能形象、直观地刻画系统的整体和个体特性 ,同时可以利用相应的Petri网支持工具对软件体系结构进行模拟、分析和验证 .通过OPNADL在公安地理信息系统和柔性制造教学系统开发中的实践证明 ,OPNADL可以有效地辅助软件设计人员在体系结构层次上对系统进行分析和设计 ,从而提高了系统的开发效率 ,具有良好的应用前景     

基于体系结构描述的软件测试技术

在软件结构描述语言的基础上,研究了组件之间交互所引起的错误测试,并提出静态分析和动态测试模型.静态模型通过检查组件端口及其所允许的消息类型来约束构件的交互,动态模型通过Petri网刻画组件执行过程中的动态行为,生成动态行为图.在此基础上,又提出了测试充分性准则和测试需求,根据不同的体系结构抽象层次,基于不同的路径覆盖级别,生成测试用例,由此平衡开发成本、进度与质量需求之间的关系.最后,以客户/服务器结构为例说明该方法是适用的.     

面向复用的软构件信息系统的设计与实现

基于软件体系结构,从需求分析出发,讨论适合此系统的体系结构设计决策,分析系统设计的实现过程,设计并实现一个面向复用的软构件信息系统.该系统能使管理人员有效地组织和管理各类软构件实体和相关角色信息等,开发者可以在此高效检索到需要的软构件,构件生产厂商可以方便提交自己生产的构件,有效管理软构件以提高软件开发效率.     

构件化软件体系结构研究

构件化软件开发是软件开发领域的一次重大变革,其系统体系结构也与传统软件系统结构不完全一致。通过对构件化软件体系结构的研究,提出了构件化软件二元体系结构模型,并分别对构件化软件的二元层次：水平层次和垂直层次进行了介绍。     

通信软件系统开发中的形式化描述技术

本文介绍了在通信软件系统开发中广泛使用的五种形式化描述技术LOTOS、Z、SDL、ESTEREL和MSCs,及情景表示方法UseCaseMaps(UCM),分析了它们的特点,并对它们进行了深入的研究和评价。     

软件扩展槽技术

软件扩展槽就是在软件成品中预留便于扩展的结构 ,目的是便于软件维护和升级。文章在面向对象、基于组件的软件工程与产品线工程基础上 ,讨论了软件扩展槽的实现原理、方法和对软件开发过程的影响     

软件安装描述语言SIDL及安装软件SETUP

从软件安装的工作原理出发，为说明安装信息，定义了安装描述语言ＳＩＤＬ，并描述了通用安装软件ＳＥＴＵＰ在ＭＳ－Ｗｉｎｄｏｗｓ环境下的实现．基于ＳＩＤＬ描述的软件的安装文本，ＳＥＴＵＰ能自动完成相应软件的安装