层次式软件体系结构模型

当前对软件体系结构的描述通常都采用体系结构描述语言(ADLs),但ADLs在对软件体系结构的动态、可进化和可扩充特征方面的描述能力明显不足。层次结构作为一种对事物体系的描述方法,被广泛应用于计算机软件领域中。但目前对层次式软件体系结构的描述通常都是非形式化的,文献认为很难找到一个合适的、正确的层次抽象方法。文章用代数理论对层次式软件体系结构的属性和行为特征进行抽象,讨论了层次式软件体系结构的基本思想和结构框架。研究了层次式软件体系结构抽象模型,提出了“层”的抽象概念及相关性质。给出了层次式软件体系结构的一个应用实例。     

基于正交化设计思想的领域特征模型构造过程

特征模型是现阶段领域工程普遍采用的描述领域需求的方法,本文在已有研究的基础上,针对现有特征模型结构上的不足,参考正交软件体系结构的设计思想提出了正交化特征模型的思想,给出了一个正交特征模型的构造过程.实践证明正交特征模型具有结构清晰,易转化为构件模型,可保持分析阶段和设计阶段的追踪性等优点.     

网状软件体系结构模型

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

基于服务本体的可观测协同模型*

为得到在通用抽象级别上的可观测协同模型,采用描述逻辑对构件服务予以概念化而构成服务本体并将其作为构件可观测的基准,在软件体系结构的抽象级别上利用服务本体扩展了软件体系结构连接件。基于上述方法,设计了协同介质的基本结构并规范了基于脚本语言的协同规则,提出了一种通用的可观测协同模型。研究结果表明,该协同模型具有与应用无关的通用性。     

浅谈用函数描述软件体系结构模型

文章引入了代数理论和函数思想来描述软件体系结构模型,将组件间的操作抽象为嵌入组件和脱组件两大运算,提出了软件体系结构函数的概念,并给出了结构函数的Tuple模型和组件模型。最后,给出了软件体系结构函数的简单应用。     

软件体系结构建模研究

提出了软件体系结构工程的概念，建立了软件体系结构的生命周期模型并对软件体系结构进行了分类和建模，介绍了几种典型的软件体系结构语言，提出了一个基于时序逻辑的形式化体系结构语言－ＸＹＺ／ＳＡＥ．该语言可作为系列化时序逻辑语言族ＸＹＺ／Ｅ的子语言，支持对软件体系结构可的构件，连接件和配置的描述，并可在统一的框架下描述软件体系的结构静态行为和动态行为。     

服务本体驱动的构件协同模型

设计构件协同的关键在于向构件提供一种可观测的交互模式,众多协同模型虽然对此问题有所考虑,但并未将其抽象到通用级别。采用描述逻辑对构件服务予以概念化而构成服务本体,并将其作为构件可观测的基准,在软件体系结构的抽象级别上利用服务本体扩展了软件体系结构连接件。基于上述基本思路,设计了协同介质的基本结构并规范了基于脚本语言的协同规则,提出了一种通用的构件协同模型。     

形式化方法描述管道过滤器软件体系结构

体系结构形式化描述能为系统设计提供精确和抽象的模型,通过这个模型来分析体系结构的构成,分解和约束特征.利用形式化方法来描述软件体系结构中常见的管道过滤器风格.     

多级正交Agent结构模型

文章用代数理论对Agent的属性和行为特征进行抽象,寻找一种合适的描述多Agent系统的抽象方法。提出了多级正交Agent结构的概念和框架结构,给出了正交Agent结构的核心模型。提出和研究了正交Agent结构的抽象模型和非正交Agent结构的正交化算法。相对于Ferber、Zambonelli和Lesser等人的工作,这种模型使Agent组织结构清晰,易于实现,有利于研究Agent之间的协调求解能力和Agent组织结构的演化能力。     

软件体系结构描述语言ADL及其研究进展

1.引言 Perry与Wolf,Garlan与Shaw的早期研究成果发表后,软件体系结构的研究引起了学术界极大兴趣。目前,软件体系结构已经成为软件工程研究中的热点,我国学者也开始了跟踪研究。在文[3]中,Shaw与Garlan指出,软件体系结构的研究活动大致分四类:     

基于Wright的SA级测试路径生成方法

软件体系结构用来描述系统的高层结构和行为特征,软件体系结构描述语言ADLs是对软件体系结构的形式化描述.在软件体系结构描述语言Wright的基础上,引入了一种图形的表示方法,即以动态行为图(BG图)来表示相关的构件间的动态行为及它们之间的关系,并提出了软件体系结构测试覆盖准则.根据BG图中路径的定义,给出了BG图中测试路径生成算法的基本思想.以C/S体系结构为例,验证了该方法在生成SA级的测试路径上是可行的.     

软件体系结构的描述方法研究

目前关于软件体系结构的描述已有许多工具支持,但各种工具不仅是领域相关的,而且描述方法也不尽统一,这使设计人员很难选择一种合适的工具,将体系结构的共同特征提取出来,秦为体系结构描述的核心模型,为各种工具提供了共同的基础－若要用某一种工具描述,只需增加与之相关的约束,另一方面将软件体系结构与当前主流的面向对象方法相结合,利用统一建模语言ＵＭＬ的扩充机制,从多个视图描述了软件体系结构,最后结合研究工作给     

美国自动测试联合技术体系结构的发展

主要介绍美国国防部联合技术体系结构(JTA)、体系结构架构(DOD AF1.5)的发生背景、概况,及JTA联合技术体系结构下战斗支持域中自动测试系统子域描述内容、范围和适用性、技术参考模型、子域的组成,对JTA核心内容的补充等内容。对DOD AF1.5版内容作了简介,介绍了DOD AF1.5版框架概况和DOD体系结构框架作战视图(OV)、系统视图(SV)、技术标准视图(TV)之间相互关系。最后结合我国试验与综合测试技术现状和新技术发展趋势提出加强可互操作的保障系统技术研究,尤其是加强PCI-e、PXI-e、ATCA等新型总线系统,以及ATML语言等技术研究。