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

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

基于C/S关系的实时系统构件交互规约

给出了基于构件的实时多任务应用系统图形化设计软件的构件接口定义。为解决基于构件的分布式C/S关系的实时软件构件的重用及装配问题,提出了构件相互交互的文本描述语言语法语义规约,其主要刻画了分布式实时构件之间的交互协议及其实时特性。     

基于XML的实时系统构件规约

给出了基于XML描述的实时多任务应用系统图形化设计软件的构件接口语义规约。在基于刻面描述的实时软构件的基础上引入XML Schema技术,全面描述了实时构件的静态属性和接口行为,以方便构件在Web中进行信息交换与处理,方便系统之间的互操作。     

一种基于XML的统一构件匹配技术

构件检索和匹配是CBSD和软件复用的关键技术。目前构件库所采用的关键字、刻面、规约、行为等匹配技术都存在两个问题：1）构件表示方法各异，理解和共享构件困难；2）每个查询匹配算法侧重点不同，关键字和刻面匹配侧重构件的语义，而规约匹配侧重构件的结构，造成单独使用一种匹配算法或多或少产生一些冗余或无关构件。本文提出一个XML统一构件描述模型，该模型利用XML模式对构件进行层次化的组织，采用一种最大权匹配算法，从语法和语义两方面计算两个构件间的匹配度，有效地解决了上述问题。通过实验证明，该技术在保证构件查全率的基础上有效地提高了查准率。     

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

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

反射式实时构件的实现

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

基于场景构件式实时软件设计的一致性检验

在复杂的实时软件系统中使用构件式设计方法,已成为目前软件工程中的研究热点.如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一.通过在接口自动机模型中添加时间区间标记,来扩展其对实时系统接口行为的表达能力;使用实时接口自动机网络来描述实时软件系统的构件式设计模型;使用带布尔不等式时间约束的UML顺序图表示基于场景的需求规约,对系统设计阶段实时软件构件的动态行为进行形式化分析与检验.通过对实时接口自动机网络状态空间的分析,构造了其可兼容的整型状态等价类空间的可达图,并在此基础上给出了验证算法,以检验构件式实时软件系统的设计与带时间约束的场景式规约之间的一致性.     

实时嵌入式构件模型组装方法及时间性推理

针对实时嵌入式系统特点,提出一种可行的具有较好普适性的软构件模型及构件组装机制,使用形式化方法描述构件接口规约及组装规约,并给出构件时间性的推理方法,旨在实时嵌入式系统中构建更加通用、简易、开放的构件模型和更加合理的构件组装推理机制。     

基于J2EE平台的Java构件库的研究和实现

构件库是构件复用的重要部分。以项目为背景，提出了一种Java构件库系统的设计与实现方案。介绍了基于MVC（Model View Control）的构件分类树结构，描述了该结构下的构件表示模型，阐述了分类树深度优先遍历的构件检索方法和结合构件规约和可控词汇表的规范函数匹配方法。该构件库系统提供了一种语义和语法相结合的经验模型。     

面向体系结构的构件接口模型及其形式化规约

借鉴软件体系结构的思想，提出了面向体系结构的构件接口模型，它既能表达体系结构设计的高层抽象构件，又能表达底层代码级别的实现构件。同时基于该模型，运用顺序通信进程，提出了两级构件接口行为协议规约方法，能够有效规约大粒度复杂软件构件的行为交互协议。     

面向对象的组合软件工程研究

组合软件工程技术是当今软件工程技术发展的主流。本文综述了作者在基于对象的组合软件工程研究方面的最新进展，包括语义模型、描述语言、设计方法学和支持环境等方面。     

基于本体的构件描述与检索

软件复用技术是近年来国内外软件界研究的热点之一.以网络教育应用为背景,提出了基于OWL的构件服务描述方法,对构件的静态特性和动态行为作出了较为准确、全面的描述,构建了一个基于本体的构件知识库,提供了良好的检索方法支持,达到了教学资源的重用和共享,具备了以语义为目标的智能化查找,显示出基于本体技术的构件描述与检索的优越性与可行性.     

构件组装实时系统行为相容性测试用例产生

虽然构件技术在软件开发过程中得到了越来越广泛的应用,但是实时系统是一类设计、实现和验证工作都相当复杂的系统,其构件化远比普通软件复杂,组装仍有许多困难。分析了常见的组装相容性错误,提出了一种实时系统的构件组装行为相容性测试用例产生方法。首先对时间自动机进行扩展,给出了描述实时构件的模型;然后定义了相容性覆盖标准,并把构件行为相容性测试用例生成转化为可被模型检验支持的可达性分析,同时给出了算法;最后用一个实例展示了该方法的具体使用。     

基于XML的具有性能约束构件的组装技术

采用在软总线TAO(The ACE ORB)上利用XML文档中所包含的语义化的抽象数据类型对构件对象进行操作,从而实现语义化的性能约束构件组装。建构的XML模式描述了构件组装相关的构件接口、交互及配置规约,并通过接口显式地表达构件对环境的依赖,使得能在一个分布式的网络环境里,将多个处于不同节点、提供紧密相关服务的构件在运行时动态地组装成功能系统。在给出的示例中,实现了将三个分布在不同节点的性能约束构件通过它们接口的交互及配置,实现在运行时开放的松散式组装。最后给出了下一步研究工作的重点及方向。     

基于JavaBeans的软件构件复用技术研究

软件构件技术作为一种软件复用技术，旨在解决软件系统开发所面临的困境。大多数构件组装工具都是基于某种特定的构件模型，选取JavaBeans 构件模型作为研究对象，分析了其与软件复用相关的特征，探讨了其对软件复用的支持程度，并对其中的一些特征进行了扩展。     

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

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

新型构件化组态软件中实时数据库设计与实现

针对传统组态软件扩展性差、实时性不强等缺陷,提出了构件化组态软件模型,基于.NET构件设计并实现了组态软件的核心部分实时数据库构件.从组态软件中的数据分析入手,利用XML文件、内存缓冲区和关系数据库多种存储介质相结合来构造实时数据库,实现过程中利用.NET程序集和反射机制将实时数据库的功能构件化,从而使实时数据库具有更强的扩展性和实时性,提高了组态软件的性能.