软件体系结构与组件技术

在理论上,软件体系结构和基于组件的开发是理想的匹配;另一方面,软件体系结构是可重用软件组件的一种自然补充.只有通过实现体系结构模型,才能体现组件互操作性模型的所有优点.首先给出了大规模复杂分布式应用程序设计和进化方法选择中的关键因素;然后讨论软件组件技术与软件体系结构方法相互之间的要求,并探论了将软件体系结构与软件组件结合起来的可能途径.     

软件体系结构与组件技术

在理论上，软件体系结构和基于组件的开发是理想的匹配；另一方面，软件体系结构是可重用软件组件的一种自然补充。只有通过实现体系结构模型，才能体现组件互操作性模型的所有优点。首先给出了大规模复杂分布式应用程序设计和进化方法选择中的关键因素；然后讨论软件组件技术与软件体系结构方法相互之间的要求，并探论了将软件体系结构与软件组件结合起来的可能途径。     

基于组件的软件可靠性模型

首先对不同的软件体系结构描述语言（ADL）进行分析，找出体系结构的共性，用抽象代数和一代阶逻辑理论对组件，连接器和软件体系结构的属性和动态行为进行讨论和描述，探讨不同连接形式下的软件体系结构，给出基于组件的软件可靠性模型，在此模型基础上，对基于组件的软件系统的可靠性计算模型进行研究，提出一种半Markov模型，并在理论上证明该模型的可用性，最后通过CORBA应用系统说明该可靠性模型在系统设计和可靠性计算方面的应用。     

一种支持设计时软件重用的反射式软件体系结构及其形式化研究

软件体系结构在软件重用中有着特殊的意义。缺乏显式的描述并使用支持体系结构重用过程的信息和缺乏有效的重用方法是软件体系结构难以重用最根本的原因。在软件设计阶段,将元信息、元建模、反射和软件体系结构结合起来,构造了一种支持软件体系结构重用的反射式软件体系结构。给出了基于反射式软件体系结构的软件体系结构重用过程。给出了反射式软件体系结构的具体化过程的基本原理和具体化操作的Object-Z形式化描述,即创建元组件、创建元连接器、创建元组合件操作的形式化描述。给出了基于反射式软件体系结构的软件体系结构重用的支撑工具的设计过程。     

基于模式的软件体系结构建模

文中给出了一种应用程序组件的领域建模方法,将组件静态方面的面向对象建模(类图)、组件行为或功能等动态方面的基于模式的建模(模式实例模型)与代码生成实现技术结合起来。并试图用模式描述组件体系结构风格,指导如何构造和组织一个系统。基于模式的软件体系结构设计方法可在很短的时间内创建各种组件,并通过改变模型中的抽象体系结构特性来满足应用程序中的体系结构要求,因而该方法是切实可行的。     

基于软件体系结构的组件集成框架

根据赵会群等提出的抽象组件定义，给出了相应的迎接件的定义。在此基础上，提出了支持接口连接式和插头插座式体系结构类型的组件模型，片对静态连接和组装给出了形式化的描述。虽然满足了静态相容性，但是系统不一定能正常工作，因此还考虑3组件的互操作性及更进一步的分布透明性，为组件的互操作提供了支持的总线机制。完成了基于软件体系结构的组件集成组装框架，为提高重用率、软件开发效率和质量提供了可能。     

基于CORBA构件的软件体系结构模型

软件体系结构使超大规模软件设计的简化成为可能，提出了基于CORBA构件模型的软件体系结构并给出了一种软件体系结构的模型，通过给出ADL的BNF语法以及扩充CIDL编译器和CORBA的服务来实现此     

一种面向方面软件体系结构中的编织机制研究

在面向方面软件体系结构设计中,通过指定注入位置、时机及约束,将封装了横切行为和特征的方面组件与组成软件体系结构(SA)的组件、连接件编织起来,形成一个有机整体,这对SA整体行为和质量特征的分析和验证具有十分重要的意义.提出一种SA层编织机制,它基于AC2-ADL建立的编织前SA模型,通过明确定义的编织过程和相关编织规则,将编织前独立设计的方面组件显式地织入到组件中,使得最终形成的仅含组件、连接件的编织后SA模型更加易于分析和验证.最后结合案例进一步对该编织机制作详细解释.     

正交软件体系结构设计和演化方法应用研究*

通过对正交软件体系结构的概念分析,给出了具体的正交软件体系结构模型,并详细介绍了其演化控制方法,最后以实例探讨了该模型和方法在实际系统中的应用。     

UML2．0顺序图的XYZ／E时序逻辑语义研究

UML2．0顺序图适合于描述软件体系结构的各个组件之间和复合组件内部各个子组件之间的动态交互行为，但由于UML2．0顺序图的语义不够精确，使得它的描述结果不利于进一步的分析和验证。基于此，本文在定义UML2．0顺序图的语法和语法约束的基础上，给出了UML2．0顺序图的XYZ／E时序逻辑语义，为使用UML2．0顺序图与XYZ／E相结合的方式来描述软件体系结构的动态交互行为奠定了基础。     

基于Web Service的机器人远程控制系统设计

介绍了一种基于WebService组件的工业机器人远程控制系统的软件设计过程。对控制系统的组成和软件体系结构进行了论述,详细讨论了WebService中控制逻辑的设计过程,并给出了一个应用实例。     

基于软件体系结构的可复用构件模型*

在分析了构件间各种操作的基础上,将软件体系结构的概念引入现有的构件模型,用于对复合构件进行描述,从而改进了现有的构件模型,给出了一种基于软件体系结构的可复用构件模型,并给出了该模型的应用.     

正交软件体系结构设计和演化方法应用研究

通过对正交软件体系结构的概念分析,给出了具体的正交软件体系结构模型,并详细介绍了其演化控制方法,最后以实例探讨了该模型和方法在实际系统中的应用.     

正交软件体系结构模型

当前对软件体系结构的描述通常都采用体系结构描述语言(ADb)，但ADb在对软件体系结构的动态、可进化和可扩充特征方面的描述能力明显不足。正交软件体系结构具有结构清晰、可维护性强、可移植性强、重用粒度大等优点。文章用代数理论对正交软件体系结构的属性和行为特征进行抽象，提出了正交软件体系结构的概念和框架结构，抽象出了正交软件体系结构的核心模型。提出了正交软件体系结构的抽象模型和非正交软件体系结构的正交化算法。给出了正交软件体系结构的一个应用实例。     

分布式软件体系结构中组件依赖的描述

分布式软件的动态配置及软件体系结构中的一个重要问题是对组件依赖的理解和描述。该文采用的方法提供了精确描述组件交互的基础,展示了分布式系统组件间的拓扑关系,进而描述了软件体系结构。该方法还对组件测试提供了有力支持,它的突出优点是用一种方法来描述体系结构并支持软件测试。     

网状软件体系结构模型

文章用代数理论对网状软件体系结构的属性和行为特征进行抽象,提出了网状软件体系结构的概念,框架结构及构件的重用度概念,抽象出了网状软件体系结果的抽象模型及相关性质。给出了网状软件体系结构的相关应用。     

一类通用的适应性软件体系结构风格研究

研究并提出一类通用的适应性软件体系结构风格.通过对适应性软件体系结构的基本特性分析,抽取适应性软件体系结构的通用框架,建立基于多视图建模理论的集成化适应性软件体系结构参考模型,给出多视图模型的演化与映射规律.基于元建模和图转换理论,提出模型映射一致性算法.最后,建立了适应性软件体系结构支撑环境.适应性软件体系结构适用于复杂软件系统,特别是网络环境下大型、开放式软件系统的开发和实施.     

用Z语言形式化扩展事件踪迹图

软件体系结构被看成是现代软件技术的重要因素之一 ,而一个软件系统结构的关键就是它可以分解成组件和组件交互的规格说明。扩展事件踪迹图 (ExtendedEventsTraces ,EETs)是一种用来描述组件交互的图形技术 ,它允许我们用图来定义结构中经常发生的交互模型 ,并且在多种上下文中可实例化 ,因而可以重用。虽然EETs的图形表示很直观 ,但是语义不够精确 ,因此 ,在本文中将使用形式规格说明语言Z来形式化EETs。并且 ,给出了形式描述EETs的几个应用例子     

软件体系结构动态模型描述及其测试中的应用

软件体系结构的动态性描述在基于软件体系结构的一致性测试中是非常件体系结构的动态性,通过对软件体系结构描述语言研究,利用带标号的转换系统来模拟软件体系结构的动态性,把带标号的转换系统作为软件体系结构动态性模型并从中选取测试序列进行测试,并通过具体实例给出了带标号转换系统这一动态模型的导出过程及利用此动态模型进行一致性测试的方法.