基于领域本体的构件自动化组装原形系统

介绍了领域本体的概念，分析了构件自动化组装的阶段和方面，给出了一个基于领域本体的自动化构件组装原型系统（ontology based automated assembly system，OBAAS），介绍了系统整体框架，并对该系统的基于领域本体的构件分类引擎，构件检索匹配和构件接口匹配验证模块的实现思想进行了详细说明，给出了利用朴素贝叶斯分类方法在领域本体基础上对构件的分类的算法、基于领域本体的构件检索和匹配算法，以及部分数据结构的描述。     

构造基于构件依赖关系矩阵的元数据模型

构件集成到应用环境中实施集成测试时,会与其它构件产生相应的依赖关系.本文在对这些依赖关系进行概述的基础上,给出了构件直接依赖图、构件间接依赖图和构件依赖图的定义,并依据这些定义,提出了构件依赖矩阵(CmDM)的概念,用以描述构件Cm与构件系统中其它构件之间的依赖关系,接着进一步定义了复杂依赖关系矩阵(CmDDM),用以对依赖关系矩阵(CmDM)进行更为详细的描述.对依赖矩阵方法在回归测试、构件变更处理和软件重用的应用方法进行了形式化的描述,进一步将基于依赖关系矩阵的方法应用于学校内部开发的构件RegisterStuGrade 中,并另外选取了三个与之有关的构件,对其依赖关系进行分析,建立相应的构件依赖关系矩阵和复杂依赖关系矩阵,并与Orso方法、Spec方法(基于规范说明的方法)所生成的测试用例对于构件RegisterStuGrade源代码的覆盖情况进行了对比,从而证明了本方法的有效性.     

J2EE平台下的PLM构件库系统的设计与实现

软件构件库作为软件复用的一项重要基础设施,得到了产业界和学术界越来越多的重视。文中结合PLM项目背景,提出了一种在J2EE平台下的PLM构件库系统（PLMCLS）的设计和实现方案。给出了PLMCLS的整体框架,并用UML用例图说明该构件库管理系统包括的功能。PLMCLS把PLM构件整体上分为九个层次的构件,对各个层次上构件进行刻面描述并提供接口描述信息,在检索和匹配机制采用语义检索和语法匹配的模式,保证了构件的重用率并为快速掏建PLM系统提供了有效支持。     

接口自动机的良构性检测算法及其实现

针对构件式系统中任一构件的非良构性会导致系统不能正常运行的问题,提出一种基于接口自动机（IA）来分析和检测构件良构性（well-formedness）的算法,并据此实现了一个构件良构性检测原型系统。该算法首先构造与接口自动机同构的可达图;其次,基于可达图通过深度优先遍历生成一条覆盖所有迁移的有序集;最后,根据该有序集检测在外界环境满足其输入假设的情况下,每个属于方法的活动到其对应返回活动的路径的自治无异常可达性,从而实现接口自动机的良构性检测。根据所提算法在Eclipse平台设计并实现了构件良构性检测原型系统T-CWFC,该系统通过JFLAP建立构件的接口自动机模型并构造其可达图,进而对接口自动机作良构性检测并输出相关检测信息。最后通过对一组构件的良构性检测实验验证了算法的有效性。     

基于规约匹配的构件检索

在基于构件／构架的软件开发模式中，源代码级的构件组装是其中非常重要的一个环节，采用传统的构件检索技术，如刻面检索，关键词检索等来检索满足组装需求的构件存在查全率和查准率低的缺点，基于构件规约的检索是解决这些缺点的有效途径。本文在青鸟构件描述语言（JBCDL）的基础上，详细研究了规约语法匹配的基本原理和匹配策略，提出了构件接口匹配度和冗余度的概念用于评估检索结果，最后给出一种构件接口的规范化表示方法，用于提高规约语法匹配的响应速度，本文的研究结果也同样适用于Ada,COM,CORBA等构件规约。     

基于CCM的软件构件组装技术的研究

OMG在推出的CORBA3．0规范中提出了一个构件模型（CCM）。CORBA构件不仅定义了对外提供的功能，而且还定义了构件所需要的外部功能，使得构件可以利用接口进行组装。同时CCM借鉴了EJB、COM等构件模型的优点，并充分利用了CORBA的开放性。本文在对CORBA构件模型以及模型组装框架中的相关技术进行研究的基础上，努力探索基于CCM的构件组装在系统开发中的应用。     

基于构件的软件演化波及效应分析

随着新技术的采用和系统环境的变化,构件和软件系统的演化在所难免,演化会影响系统的整体行为。分析了基于构件的软件系统中的耦合性对演化波及效应的影响,对软件系统中构件内部各种依赖关系、构件与连接件之间的各种耦合关系进行矩阵表示,提出一种能够防止波及效应扩大化的软件系统动态演化的波及效应方法,实现了对软件系统的构件和连接件的演化波及效应研究。在基于构件的软件系统的动态演化中,可以根据波及效应的分析获得需要进行重新修改或演化的构件和连接件,从而保证动态演化的一致性和连续性。     

通用构件行为适应方法研究

基于构件的软件工程中,构件行为适应是一个关键的问题.目的是为了解决构件交互过程中由于行为不兼容而引起的各种不匹配问题.给出了解决构件行为不匹配的一种通用的方法.该方法首先根据给定的构件接口的行为协议描述计算构件行为之间的同步关系,得到适配器的描述.然后在构件的同步产品中,利用死锁来检测具有同步行为关系的行为之间的不匹配.利用构件及适配器描述计算同步矢量产品的过程中,根据同步矢量来计算适配器的行为协议,适配器通过一对互补事件与被适应构件进行交互.适配器适应交互的构件行为,使得构件交互过程中没有死锁发生.实现对消息顺序的重新排序,解决了具有数据传递的构件行为之间的不匹配问题.最后,用一个实例对文中所述方法进行了说明.     

本体论与构件复用

软件复用主要有两种方式,一是产品复用,二是过程复用。构件的产品复用建立在接口不变的基础上。传统的建模方法关于对象之间联系的概念存在着模糊性,为构件接口设计和构件复用带来了隐患。该文将本体论引入构件设计,对构件对象的联系进行本体分析,目的在于为构件对象建立清晰、完整的本体模型,为设计遵守接口不变性原则和具有产品复用性的构件奠定基础;同时也在理论层次上探索本体模型向构件接口定义自动映射的机制,研究构件开发的过程复用。     

基于组件的车间生产管理系统开发平台研究

该文论述了车间生产管理系统和组件技术的发展,建立了车间管理系统组件体系模型和系统功能模型,提出了基于遗传算法的计划调度算法模型,构建了车间生产管理系统通用集成开发平台,研制出了基于组件的车间生产管理系统,并在西安某发动机(集团)公司得到了应用。     

构件系统建模及其动态演化一致性验证方法

基于构件的软件开发已成为软件开发的主流方法,但针对构件系统动态演化后的一致性保持问题,目前尚缺乏统一的标准,为此提出一种验证构件系统动态演化一致性的方法。首先,应用进程代数构造构件模型,并在此基础上得到粗粒度的构件系统模型;然后,根据构件系统模型及其状态的变化,提出构件系统外部行为提取算法,并基于弱互模拟理论定义构件系统动态演化一致性的验证准则;最后,提取演化前后构件系统的行为,并将其转换成便于Pi演算自动工具MWB(Mobility Workbench)识别的格式,以进行行为一致性验证。案例研究表明,该方法是可行且有效的。     

组件软件环境下操作系统的研究

分布式计算是未来主要的计算模式,基于组件的软件体系结构能够有效支持分布式计算,因而要求操作系统为基于组件的应用提供有效的运行平台。传统操作系统的设计和实现并未充分考虑有效支持基于组件的应用,基于组件的应用在安全性、进程间保护、代码共享和用户界面设计等方面对操作系统结构提出了新的要求,文章主要探讨组件软件环境下操作系统的结构以及设计基于组件应用的操作系统的设想。     

以代理为中心的OSGi构件资源监控方法

基于构件的软件开发和复用是提高软件开发效率和质量的有效途径,OSGi(open services gateway initiative)构件平台模型为软件构件提供了良好的生命周期管理和动态依赖管理。在构件粒度上对系统的资源进行监控能够有效增强系统的可靠性,然而目前针对OSGi平台的构件资源监控技术侧重于统计整个系统的资源消耗,未能把统计的粒度细化到构件上,且不能根据各个构件的资源消耗情况对系统进行调整。提出一种基于代理的OSGi构件资源监控方法。该方法具有以下特点:在构件粒度上统计系统的资源消耗,能够统计到每一个构件所消耗的内存和CPU时间;能够发现资源消耗异常的构件,并对其进行重启或替换,从而提高系统可靠性;具有非侵入性,即不会对构件进行任何修改,不会影响到第三方应用的逻辑结构。实验表明,该方法可以准确地统计到构件的资源消耗量,并据此对构件进行有效的调整,提高系统的可靠性。     

机载PHM系统软件设计与验证

针对现有PHM系统软件开发中存在的软件模块规范性差、复用率低和鲁棒性弱等问题,提出了一种基于OSA-CBM标准的构件化机载PHM系统软件设计方法,描述了机载PHM系统软件的构件化模型定义、功能框架、分层体系结构和软件控制流程;设计了机载PHM系统的构件接口和核心功能构件;实现了符合OSA-CBM规范接口的构件化软件。通过原型系统软件验证了构件化机载PHM系统软件设计和开发方法的正确性,表明了该方法能够提升软件的规范性、复用率、鲁棒性和可扩展性。     

构件系统演化和基于消息的构件技术

本文结合企业信息系统讨论了构件系统演化的原因和表现形式,分析了传统构件技术在进行构件系统演化时遇到的构件依赖问题。由此介绍了基于消息的构件技术,可以很好地支持构件系统演化。最后给出基于消息的构件技术在企业信息系统开发中的一个应用实例。     

构件化开发模式在OA系统中的应用研究

随着电子政务的快速发展,办公自动化（OA）系统作为其重要组成部分越来越受到政府机关的重视．将构件化的开发模式融入办公自动化系统中实现了OA开发中灵活性、可靠性和低开发成本的目的。构件化的开发模式,就是在开发过程中不编码,使用构件库里现成的构件组织成用户所需要的管理系统的模式。研究了构件化开发模式的方法和特点,并成功地结合该模式在某军区办公自动化系统中的实际应用,取得了良好的效果。因此,构件化的开发模式能保证用户在快速开发应用的同时,也能快速适应业务流程变化以及业务逻辑变化,必将成为软件开发的主流。     

开放式数控系统中组件重用技术研究

介绍了组件重用技术在开放式数控系统中的应用，提出建立数控系统软件组件库，详细论述了组件分类技术和检索技术，并提出了以组件库技术为基础建立开放式数控系统开发平台的方案，用户可利用该平台从组件库中提取组件以构造所需的数控系统。     

一种支持构件动态重配置的部署框架

基于构件的开发(Component-BasedSoftwareDevelopment,简称CBSD)逐渐成为创建大型可扩展系统的一种重要的开发方式,同时对基于构件的软件系统的灵活性和适应性的要求也越来越高;而能够动态重配置的构件系统可以满足这种不断增长的需求。文章提出了一种支持系统动态重配置的构件部署框架(ComponentDeploymentFramework)和相应的构件模型,实现了在系统运行时动态地添加、删除和替换构件,而且这些任务都是由构件部署框架自动完成的,对构件开发者透明,减轻了构件开发者的负担。     

某航测相机的控制系统设计

就某航测相机控制分系统中的主要部分设计进行了比较详细的阐述。该相机控制系统主要包括测光机构控制、凸轮驱动控制、多快门同步控制、CCD相机同步控制、调光控制等部分。各部分依据控制流程,统一协调工作实现拍摄任务。