基于UML描述的“4＋1”视图模型及应用

由于软件体系结构的描述方法多种多样,各种工具不仅涉及不同领域,而且描述方法不尽相同,给系统选择一种合适工具描述体系结构带来了难度。统一建模语言The Unified Modeling Language（UML）是一种被广泛采纳的可视化建模语言,它对系统结构的共同特征用相关语义、符号、图形加以描述。本文以UML描述为基础,建立软件体系结构“4 1”视图模型,从系统的多个视图描述软件体系结构出发以后提高软件开发效率、平均软件质量与开发周期的矛盾。本文结合“4 1”视图模型给出“综合报警系统”在ROSE2000中的部分实现过程。     

基于组合连接器的动态软件体系结构规范方法

动态体系结构的建模与分析是复杂软件体系结构设计的一个重要问题.本文用组合连接器扩展了体系结构描述语言Wright,并由此提出了一种规范动态体系结构的形式化方法.为了支持动态机制,还提出了动态角色的概念.通过实例说明,该方法能将动态体系结构的两种基本形态的描述统一起来,并能为动态软件体系结构设计提供一种增量式的开发方法.由于该方法基于组合的机制,从而适用于体系结构重用.     

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

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

基于时态逻辑的软件体系结构描述语言及其可视化环境

在时态逻辑语言XYZ／E的基础上,建立了一种以可视化图形表示的软件体系结构描述语言XYZ／ADL．它可同时描述软件体系结构的静态与动态行为,能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡,从而将模块化程序设计方法和基于规范的逐步求精方法有机地结合起来。     

UML与软件体系结构描述语言之间的转换机制研究

形式化描述和可视化描述是目前主要的两类软件体系结构描述方法,形式化描述以体系结构描述语言ADL为代表,可视化描述以统一建模语言UML为代表。目前软件体系结构描述领域的热点之一是研究这二者之间的结合,转换是其中一种重要的方式。基于此,本文对UML和基于时序逻辑的体系结构描述语言XYZ/ADL之间的转换问题进行了研究,定义了二者之间的转换规则。     

形式化与可视化相结合的软件体系结构描述方法研究

软件体系结构是软件工程领域中一个重要的研究内容,研究软件体系结构的首要问题是如何描述一个软件系统的体系结构模型。本文通过集成XYZ/ADL与UML两种描述方法在软件体系结构中的应用,寻求一种基于时序逻辑理论的形式化方法与面向对象的可视化方法相结合的软件体系结构描述新途径。着重研究XYZ/ADL与UML在电梯控制系统体系结构建模中的应用问题,并运用基于构件的求精方法对该系统的主要组件进行了求精。     

一种支持软件体系结构重用的元信息模型

软件体系结构元信息组织和管理是利用反射机制实现软件体系结构重用的一个重要问题.提出了一种体系结构元信息模型,以有效地组织和管理支持体系结构重用的元信息.同时,基于XML设计了一种体系结构元信息描述语言,以充分地描述这个模型中定义的各种元信息,达到体系结构设计人员可以在软件设计阶段通过操作这些元信息高效地重用软件体系结构的目的.     

"平台/插件"软件体系结构风格

体系结构发现是软件体系结构研究领域的一个重要方向.近年出现的“平台 插件”软件设计方法,使得发布后的软件产品可以方便地通过安装插件模块而扩展其功能.然而,迄今为止,未见资料将这种结构从软件体系结构的高度进行提炼和描述.本文提出“平台 插件”的软件设计方法是一种软件体系结构风格,并将其称为“平台/插件(Platform/Plug-in)”风格,简写为“P/P风格”.由于软件体系结构和体系结构风格的概念还没有一个标准的定义,文中首先定义了本文使用的模型和概念;研究了“平台/插件”结构应用程序的特点和分类,分析了该类程序的架构,在本文定义的软件体系结构模型的基础上,用统一建模语言UML描述了P/P体系结构风格及P/P风格软件的开发过程.本文工作为需要动态扩展功能的大型软件开发提供了一种可复用的体系结构风格,可以认为,P/P风格是可扩展和可增量升级软件系统的领域体系结构模型.     

基于Object-Z的ReflectiveArchitecture形式化研究

将元信息、元建模、反射和软件体系结构结合起来,提出了一种基于反射机制的软件体系结构重用方法,该方法是一种更通用、更便捷的重用方法;该方法定义并构造了一种在设计阶段支持软件体系结构重用的反射机制RMRSA。描绘了基于反射机制RMRSA的反射式软件体系结构ReflectiveArchitecture的元级体系结构模型。运用形式规格说明语言Object-Z对元级体系结构模型进行了完整的描述;选取链接模式Link,给出了它的初始化定理及其证明过程,以此为范例证明了被形式化的反射式软件体系结构的正确性。     

软件体系结构设计方法的研究及应用

提出了一种体系结构设计方法,把需求细分为功能需求和体系结构需求,迭代增量的构建软件体系结构,并采用开发者熟悉的UML机制来描述软件体系结构,最后结合C2软件体系结构风格在Microsoft商务参考体系结构(B2C电子商务)中进行了运用。     

软件体系结构分析与评价方法评述

近年来，软件体系结构逐渐成为软件工程领域的研究热点以及大型软件系统开发和产品线开发中的关键技术．体系结构分析评价的目的是为了识别体系结构设计中的潜在风险，帮助开发人员进行设计决策．从软件体系结构的概念出发，分类介绍了体系结构描述的不同观点，评述了国内外有代表性的分析评价方法和工具．最后探讨了软件体系结构分析评价研究中存在的不足及其原因，作为总结，给出体系结构分析评价未来的发展方向．     

ABC/ADL:一种基于XML的软件体系结构描述语言

作为基于构件的软件开发过程的系统蓝图,软件体系结构(SA)扮演了非常重要的角色,其研究受到越来越多的关注．而软件体系结构描述语言(ADL)是研究和应用SA的基础．提出了一种基于XML的体系结构描述语言——ABC／ADL．ABC／ADL具备大多数ADL描述软件系统高层结构的能力,还支持系统的逐步精化与演化,并支持系统的自动化组装和验证．采用数据互操作标准XML作为元语言,不仅使ABC／ADL具有与其他ADL的互操作性,还有助于实现设计阶段的制品与其他软件生命周期阶段制品之间的可追踪性．     

软件体系结构的广义视角研究

从广义视角出发,将一些独立发展的软件领域归结到软件体系结构(SA)领域,包括UML、面向方面程序设计、面向服务体系结构、基于构件的软件工程。考虑它们之间的相互联系、共同性和独特性,给出一种分类框架。指出软件体系结构的发展方向：SA与这些领域的关系,动态SA的机理,特殊领域ADLs的设计,理论基础建立以及工具开发。     

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

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

基于ViewPoint的软件构架描述

软件构架作为系统开发的蓝图,已成为软件工程领域的热点。在软件开发实践中,许多项目更为关注的是软件构架的设计,而忽略了软件构架的描述。事实上软件构架的详细精确描述是成功开发软件的根本保证。文中以UML为构架描述语言,引用IEEE 1471标准中Viewpoint的概念,提出了基于3大Viewpoint的软件构架描述方法。基于Viewpoint的软件构架描述方法有助于开发人员在大型项目开发中从更高层次把握系统构架,从而保证软件开发过程的顺利进行。     

适用于动态软件体系结构的扩展的Z描述语言

动态软件体系结构语言已成为描述复杂软件体系结构的重要工具,然而许多描述语言都是静态的,并不能对动态软件体系进行描述。为此,对经典Z描述语言进行扩展,主要通过对构件、连接件和它们的添加以及删除来达到动态演化的目的。实例分析表明了这种扩展的可行性。     

基于SPEM的CMM软件过程元模型

软件企业在实施CMM(capability maturity modelfor software)的过程中面临最主要的障碍是如何将CMM 软件过程模型转换成可实施的、体现组织过程特征的CMM实施过程模型.可以利用模型驱动架构MDA来支持CMM模型转换,其首要问题是建立CMM软件过程元模型.通过分析CMM软件过程,给出了面向CMM的软件过程工程元模型SPEM的扩展策略,提出了一个基于SPEM的CMM软件过程元模型一-SPM-CMM.该元模型既支持CMM软件过程的抽象语法和规则语义,也支持利用UML CASE工具操作CMM软件过程模型.