基于构件设计的思想

阐述基于构件设计的思想 .首先建立一个构件描述的模型 (接口 :描述构件的语法和语义信息 ;实现 :阐述如何利用子构件构造一个新的构件 ) .然后阐述如何将构件的接口和实现联系起来 ,最后利用Hoare逻辑验证其正确性     

基于AOP的软构件测试技术研究与应用

阐述了AOP技术的产生背景和实现原理,同时以AspectJ语言为例研究了AOP技术中比较关键的几个概念,提出了利用AOP技术辅助构件测试的思想:在JUnit框架的基础上,利用AOP技术对构件的接口编程,根据接口信息将测试方法织入到测试构件和待测构件中,实现对测试过程的监视和控制,并以此为基础设计了基于AOP技术的软构件集成测试框架.     

基于排序形式化规格说明的软构件匹配

基于排序形式化规格说明的软构件匹配是检索可重用构件的有效方法,在软件复用和库检索中,有助于确定一个构件是否可以取代另一个构件或一个构件如何通过修改以满足另一个构件的要求.利用基于排序形式化规格说明来描述软构件的行为,并在构件和方法层次上给出多种不同类型的基于排序形式化规格说明软构件匹配的定义,及其在构件检索中的应用.     

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

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

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

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

一种基于复用的构件建模方法

阐述了构件复用的优势及当前构件开发尚存在的缺陷和不足。分析了构件的体系结构、交互原理、实现机制等属性。在此基础上提出了一种用于构造可复用构件的建模方案，描述了建模的具体过程。通过该方案设计实现了一个“数据采集”构件。     

基于三层体系结构的软件应用框架分析与设计

基于构件技术的软件开发方式是软件复用的主要手段,而如何实现构件之间的交互是利用构件技术的基础.文章设计了一种可复用的基于典型三层体系结构的软件应用框架,目的是为了实现构件之间的连接交互,从而实现软件的大粒度复用,提高软件开发效率.在本应用框架中,定义了构件的接口标准,构件之间的通信机制和交互规则,定义了框架扩展点,增加了框架的可扩展性.在本框架上,能够组合符合功能需求和接口标准的构件,从而可以导出应用系统,同时本框架还为构件的设计开发者提供了构件接口的标准.     

SCI接口电路的VHDL设计与实现

该文详细阐述了SCI接口电路的设计思想，并介绍了如何以VHDL 为描述工具利用EPLD器件设计数字系统的方法。     

构件化嵌入式软件设计的能耗性质分析与验证

从嵌入式软件设计模型层对构件化实时嵌入式软件系统中能耗相关性质进行研究,包括:扩展了实时接口自动机在能耗语义方面的描述能力,通过引入状态能量消耗率,建立了能耗接口自动机形式化模型以及自动机网络,用以建模嵌入式软件设计阶段系统构件及其构件组合的能耗行为特征;对能耗接口自动机网络的状态空间进行了形式化分析,构造了相应的可兼容整型空间的可达图,并在此基础上给出了最小能耗计算和最大能耗验证的算法.     

一种改进的基于RTCOM的实时系统设计方法

对传统的TCSP进行了改进和扩充,并在改进的TCSP描述语言和业已实现的实时构件模型RTCOM的基础上,提出了一种基于构件且适合实时系统设计的五步构造方法:系统角色及业务功能描述、时间约束规范设计与业务功能的TCSP描述、功能性事件提取与转换、构件获取与生成、代码生成.给出了一个实时系统分析与设计的例子.结果表明了该设计方法正确性和实用性.