一种动态适应性连接器设计实现关键问题研究

连接器对软件的适应性具有重要影响.为正在研发的适应性软件开发平台-smartFramework提出一种动态适应性连接器模型.针对该模型设计实现存在的一系列关键问题,基于实例化方法和反射技术,并融合所提出的动态设定通信缓冲区方法和使用主题描述与匹配数据方法,给出支持不同构件间连接机制、构件间动态连接机制、传输和匹配异类数据机制,形成完整的解决方案,设计实现了该模型.应用该模型进行的示例开发实验进一步证实了解决方案可行有效,为适应性软件支撑工具开发提供了支持.     

基于交叉熵方法构件软件可靠性优化

研究了构件软件可靠性的多目标优化问题中,如何实现最大化构件软件可靠性估计值的同时最小化构件软件可靠性估计方差。将可靠性优化过程转换成组合优化问题,设计出其重要抽样模型,运用交叉熵方法寻找最优重要抽样分布函数,解决构件软件多目标优化问题。最后给出交叉熵方法算法实现方案。     

基于率的构件软件可靠性过程仿真

与传统的基于模型的构件软件可靠性分析方法相比,基于率的仿真方法由于可以灵活地跟踪软件动态失效过程,近年来开始用于分析构件软件的可靠性过程.但是,目前已经提出的仿真方法对构件软件测试中的故障排除过程做了过分简化的假设,而未能描述软件系统实际的可靠性过程.针对这个问题,提出了一种仿真方法.该方法采用一个混合排队模型建模故障排除过程,其中考虑到了排错策略和排错资源的局限性问题.在此基础上开发出仿真过程,实现对构件软件可靠性过程的仿真.实验结果表明了该仿真方法的有效性.     

不规则网络中基于拐弯模型的路由算法的设计

由虫孔路由交换器连接而成的不规则拓扑网络，越来越多地用于构建工作站机群系统（NOWs），以实现高性能价格比的并行处理．采用虫孔路由技术，网络中容易发生死锁．交换器之间连接的不规则性，使路由避免死锁问题变得更加复杂．本文给出了在不规则网络中，设计基于拐弯模型的无死锁路由算法的一般方法，并采用扩展链路方向的方法得到多种路由策略，确定了up-first与down-last两种性能较优的路由算法．最后通过模拟实验，评价了算法的性能．     

XML多值依赖及其消除冗余模式的算法

从消除XML文档内数据冗余的角度出发研究了文档的规范化问题.首先引入XML上的数据冗余及其消除处理示例,同时基于函数依赖,提出了规范化的DTD概念和XML DTD 规范化处理规则;其次通过XML多值依赖的定义,给出用于消除冗余模式的算法;最后给出用于XML模式及其消除冗余模式的算法.该算法相应于其他XML模式的研究,在算法产生的层次模式中,完全MVD和嵌入MVD的集合由给出的MVD集合导出;并且产生的XML模式具有消除冗余模式和满足无损连接的特性.     

基于构件影响因子的软件可靠性评估方法

为提高构件式软件系统可靠性评估的准确性,使软件系统的优化效率得到提高,提出一种基于构件影响因子的软件可靠性评估方法.基于构件式软件系统具有的复杂网络特性,使用引入构件转移概率的加权PageRank算法评估构件的影响因子,将构件的影响因子引入到离散时间马尔科夫链的可靠性评估模型中,评估软件系统的可靠性.实验结果表明,该方...     

基于软件体系结构连接器的构件组装技术研究

构件是为了复用和可组装的目的而设计的,但是在构件的组装过程中常常会碰到组装不匹配的问题。从软件体系结构层次出发,可以找出组装不匹配的症结所在。在对软件体系结构和构件组装技术进行分析研究的基础上,提出了基于软件体系结构连接器的构件组装技术,并给出了相关实例。     

基于XML的构件自动组装系统的设计与实现

该文利用基于XML和Java的程序自动生成技术给出了一个构件组装系统的设计,提出了SAML应用模板语言的定义。连接器利用了消息总线的思想,通过共享消息资源的方式连接构件,从而将构件之间的连接关系解耦。在自动生成应用系统时对SAML模板文件进行分析、转换,自动生成消息分发器和最终可执行应用程序,并结合B2C电子购物领域给出一个原型实现。该设计方法为实现自动的构件组装技术提出了一种解决方案。     

多计算机互连网通信中关于死锁问题的一种理论

如何获得死锁而且通信性能良好的选路算法始终是人们十分关心的问题。本文提出了纯分流点的概念并证明了选路算法无死锁的充要条件，从理论上解决了死锁关系问题，为死锁的判定，消除和设计无死锁的算法提供了有力的依据。     

一个改进的基于构架的软件可靠性模型

本文通过对Wen-LiWang等人提出的基于构架的软件可靠性模型的改进,克服了该模型在不同结构中存在的对连接器的可靠性考虑不足的问题,同时,还提出了在混合结构中如何构造状态转换矩阵的方法,极大的拓宽了模型的应用范围,为分析构件、连接器和某种结构对整个构架可靠性的影响提供了一定的理论基础。     

连接件模型与分类研究

连接件对于基于软件体系结构的软件开发具有重要意义,该文根据连接件在软件体系结构中所承担的责任以及它对构件交互的支持,建立了连接件模型,进而根据软件开发中的连接实现以及软件体系结构风格的研究,对连接件进行了分类,包括过程调用等11类连接件,不同类型的连接件支持不同的实现映射和复用途径。     

基于通用连接器模型的复合构件的组装

基于构件的软件体系结构(SA)由构件与连接器组成,连接器作为构件间的交互实体在SA中扮演着重要角色。现有的连接器模型只能支持特定软件体系结构风格的组装,该文针对构件组装的核心问题：构件间交互的不匹配,采用复合构件组装的方法,提出一种通用连接器模型用以对不同连接器模型进行描述。给出4种复合构件组装机制及各种机制的组装方式,并对复合构件进行扩展,使其具有动态性,能较方便地实现动态体系结构。     

Proving Total Correctness of Parallel Programs

An approach to proving paralel programs correct is presented. The steps are 1) model the paralel program, 2) prove partial correctness (proper synchronization), and 3) prove the absence of deadlock, livelock, and infinite loops. The parallel program model is based on KeUler's model. The main contributions of the paper are techniques for proving the absence of deadlock and livelock. A connection is made between Keler's work and Dijkstra's work with serial non-deterministic programs. It is shown how a variant function may be used to prove finite termination, even if the variant function is not strictly decreasing, and how finite termination can be used to prove the absence of livelock. Handling of the finite delay assumption is also discussed. The illustrative examples indude one which occurred in a commercial environment and a classic synchronization problem solved without the aid of special synchronization primitives.     

大型复杂软件系统安全需求的体系结构模型

在开发基于Internet的大型复杂软件系统时,应该在体系结构层次上考虑业务需求和安全需求,而传统的体系结构没有专门针对安全需求的构件、连接件和体系结构风格的描述,因此在体系结构层次上描述安全需求还比较困难。本文首先论述了在体系结构层次上描述安全需求的必要性。然后,在传统体系结构单元——部件／连接件的基础上,引入了安全构件、半安全构件、安全连接件、半安全连接件等新的设计单元,并给出了这些设计单元形式化的语义和约束以及图形模型,解决了软件系统安全需求的构件表示方式。最后,用一个实例展示了软件系统安全需求的体系结构模型。     

基于语义的软构件检索

通过对传统的软构件检索技术的研究,在刻面分类检索方法的基础上,提出了一种基于语义的软构件检索方法,这种方法利用领域模型和领域本体对构件检索进行语义上的扩展。具体描述了该方法的设计思想和过程模型,然后利用该方法构造出了基于语义的软构件检索体系构架,实现了对领域构件进行语义查询的目的,提高了构件检索的查全率和查准率。     

地铁车辆车顶吊挂元件动态试验工装设计

为研究地铁车顶吊挂元件所用连接件的连接参数和疲劳特性,设计一套地铁车辆车顶吊挂元件动态试验工装。工装固定在振动试验台上,模拟地铁车辆车顶局部吊挂梁的安装结构,测试车顶吊挂梁连接件在模拟振动环境下的连接参数,为地铁车辆常用紧固件连接参数的选定提供依据。为验证工装的力学特性是否满足试验要求,利用有限元软件校核工装强度,并在其频域内进行随机振动疲劳分析,计算结果表明工装的静强度和疲劳寿命均满足试验要求。     

实时构件合成的语义研究

实时构件合成是实时应用系统中软件合成的基础,是实现软件复用思想的软件生产活动,其语义研究从实时构件的反射式语义模型、实时构件合成的适配性验证和合成构件的语义规约机制三个方面展开,规约为实时构件合成中的分析理论。     

Automated resolution of connector architectures using constraint solving (ARCAS method)

In current software systems, connectors play an important role by encapsulating the communication and coordination logic. Since they share common patterns (elements) depending on characteristics of the connections, the elements can be predefined and reused. A method of connector implementation based on a composition of predefined elements naturally comprises two steps: resolution of the connector architecture, and creation of the actual connector code based on the architecture. However, manual resolution of a connector architecture is very difficult due to the number of factors to be considered. Thus, the challenge is to come up with an automated method, able to address all the important factors. In this paper, we present a method for automated resolution of connector architectures based on constraint solving techniques. We exploit a propositional logic with relational calculus for defining a connector theory, a constraint specification reflecting both the predefined parts and the important resolution factors, and employ a constraint solver to find a suitable connector architecture as a model of the theory. As a proof of the concept, we show how the theory can be captured in the Alloy language and resolved via the Alloy Analyzer.     

Foundations of a simple and unified component-oriented language

Component-oriented programming (COP) is actually a key research track in software engineering. A variety of component-oriented languages (COLs) have been proposed with new or adapted abstractions and mechanisms to support this new paradigm. However, the proposed features vary quite widely from one proposal to another. There is a need for a closer analysis and synthesis of these features to really discover the new possibilities of COP. In this article we present SCL, our proposition of simple language dedicated to COP. Through the presentation of SCL, we discuss and compare the main features of COLs such as component class, component, interface, port, service or connector. But these features are not enough to build a COL. Indeed, unanticipated connection of independently developed components is one of the key issues of COP. Most approaches use language primitives or connectors and shared interfaces to connect components. But shared interfaces are in contradiction with the philosophy of independently developed components. The approach of SCL is to provide a uniform component connection mechanism based on special components called connectors. SCL also integrates component properties which enable connections based on component state changes with no requirements of specific code in components.