RTCS：一种具有精确语义的实时构件描述机制

大规模和复杂的实时系统可以显著获益于基于构件的软件开发方法，即通过已有的经过验证的可复用构件来构造实时系统，如能将这一集成过程自动化，将会显著提高实时系统的开发效率。通过对实时任务特性的分析，在Timed CSP等形式化工具的基础上，提出了一种具有精确语义的实时构件描述机制-RTCS，并探讨了在实时COR—BA架构内利用RTCS实现构件自动生成的方法。     

实时系统构件非功能性接口语义规约

该文给出了基于构件的实时多任务应用系统图形化设计软件的具有分布式C/S关系实时构件的接口定义,主要论述实时构件非功能性接口模型,针对实时特性,提出构件的非功能性接口在时间性、调度性、合成性、同步、互斥以及资源设备控制方面的语义规约。     

基于反射的语义构件描述模型

针对构件语义描述不丰富、构件的扩展性和适应性较差的问题,提出一种基于反射的语义构件模型。该模型在传统构件模型的基础上,引入本体及反射技术,使得构件语义描述丰富,并能根据系统要求及运行环境的变化,对构件进行动态修改。同时,该模型支持自动组装和推理。通过移动应用场景对该模型进行验证,结果表明,该模型的自适应性得到较高提升。     

构件类的语法描述及构件关系的语义描述

In this paper,sameness and difference of component class and component,class and object are compared.Syntax of component class is described using BNF paradigm.After some definitions are given,semantics of component inherit and reference relationship are described.     

基于构件语义网络的分布式构件库原型系统

提出了一个用于程序挖掘的分布式构件库系统框架结构,并将构件语义网络应用到该系统框架之中,在局域网环境下,根据分布式构件库系统框架实现了一个原型系统,该系统能够实现基于语义导航的构件搜索、构件间关系的展现,以及基于移动代理的构件搜索过程,系统具有一定的智能性和良好的扩展性。     

构件库语义描述和检索技术研究

传统的构件库描述和检索方法无法对构件的语义关系进行描述,阻碍了用户对构件的应用。采用本体论的方法建立构件属性的描述模型,实现构件查询基于本体的语义扩展。给出构件属性与用户需求之间相似度的计算方法,帮助用户迅速准确找到需要的构件。     

基于反射的实时构件模型规约描述研究

以现有的构件模型为研究基点,应用反射技术,针对实时应用系统的开发,提出一类新的构件模型——反射式实时构件模型,由反射式实时构件语义模型和反射式实时构件语法模型组成。该模型在规约构件应有的功能需求特征的基础上,有效地标识构件的时间约束特征,使得与传统的功能性构件区别开来,能被系统开发者更好地选用。同时,该模型结合反射技术,能根据用户需求的变化,对实时构件进行动态修改,以便更准确地保障实时应用系统的构建与开发,并增强构件设计的活性,达到构件更好实现的效果。反射式实时构件模型既是一个构件理论模型,也是一个工程模型。     

基于构件的软件开发中对构件的研究及其合成技术

随着我国的快速发展,科学技术的发展有很大的提升.针对软件的开发和在软件的性能上,有着高质量和不同程度的要求.在现在科技迅速发展的社会,传统的软件开发,已经不能满足社会的需要,同时人们生活的快速发展在需求上也越来越多.传统的软件开发面临着被淘汰的危险.基于构件的软件开发、开发的方法和各种优势已经是现在相关研究关注的方向.通过基于构件的软件开发中对构件的开发和方法技术上以及技术合成上进行了分析和研究,为以后在软件的研究中提供一些有益的参考.     

反射式实时构件的实现

反射式实时构件的实现,是对基于反射的实时构件模型规约描述机制的进一步研究与实践,其实现过程中涉及到两个关键问题,即实时构件模型到实时构件实现体的转换,以及实时构件实现体反射动态性的体现。本文主要围绕这两个关键问题,给出反射式实时构件的实现方法。     

模拟式实时语义

程序的实时行为依赖于其所在的实时环境，诸如所采用的编译程序、调度程序、通信媒介以及主机等．本文设法甩模拟环境的手段来刻化程序的实时行为，从而为实时语义提供了一种通用的方法．文中所采用的逻辑是通常的线性时态逻辑，但引入了各种时间变量．     

基于构件库及构件组合的软件重用

介绍了一种具有动态组合特性的构件Ｐａｄ，详细说明了它如何规范重用单元的接口以及相互间可传递的消息，并进一步介绍了构件Ｐａｄ的组合规划消息传递协议，还简村介绍了一种在面向对象数据库的基础上实现构件库的方法，最后，介绍了已开发成功的一个构件重用支撑环境的原型。     

一种基于线性逻辑的构件组装方法研究

构件组装是基于构件的软件开发中的一个重要环节.本文利用线性逻辑描述了具有语义信息的构件结构,描述了独立于具体的计算环境、具有普遍适用性的三种构件组装关系,利用定理证明的方法,根据现存构件的描述和构件组装关系自动生成构件组装的方案,并从被适应的构件描述中推导出复合构件的描述,以提高对构件适应过程的描述和分析能力,为构件组装形式化分析、组装正确性的检验提供了保证,并列出了一些值得进一步研究的问题.     

基于MSC的构件及组装模式形式化描述研究

在基于构件的软件开发方法基础上,本文提出使用组装模式的方法进行构件的组装,并应用扩展的MSC对构件及构件组装模式进行描述。最后介绍用Java语言实现一种构件及组装模式描述工具。     

基于消息的构件组合运算与构件演化

根据构件能够接收和发送的消息，扩展了构件接口定义框架，给出了基于消息的构件组合模型，定义了构件的执行路径，对四种组合运算进行了形式化描述，提出并证明了六则构件演化运算．给出了一个实例：把一个没有显示语义的层次系统模型简化为语义明确的树形组合模型，并给出了模型的代数表达式和简化算法．     

一种基于分布构件装配元信息动态重构的表示方法

动态重构技术使得软件系统自身进行演进的同时，仍然能够提供服务。本文提出了一种基于构件装配元信息的动态重构操作的表示方法。该表示方法以Jeff提出的动态重构系统设定为基础，采用集合来表达构件应用中的构件、连接子和节点，为动态重构规划的生成以及等价性验证等提供了量化方法，并在基于CORBA构件模型的StaCCM分布构件平台中加以实现。     

基于构件组装的网站系统开发过程研究

如何结合实际应用要求实施基于构件组装的网站开发过程是一个值得研究的课题。文章根据构件技术的发展,提出一种基于构件组装的网站系统开发框架,并研究了网站构件的开发与组装方法,将这一技术应用到精品课程网站系统的开发中,结果表明了该方法的有效性。     

构件组装及其形式化推导研究

基于构件的软件工程(component based software engineering,简称CBSE)能够有效地提高软件开发的质量和效率.构件组装和组装推导(compositional reasoning)是CBSE的关键技术.基于软件构件的特点,借鉴进程代数中进程构造的方法,提出6种构件组装机制,能够灵活、简便地集成软件构件,并主张在构件组装的同时进行接口组装,通过生成功能更强、抽象级别更高的复合接口,提高构件组装的抽象级别和粒度.同时,基于Wright的形式化规约软件体系结构的研究,给出了复合构件和复合接口的组装推导算法,为系统行为的形式化分析、验证和仿真奠定了基础.