XYZ/ADL到UML的一种映射方法

分析了软件体系结构描述语言XYZ／ADL的体系结构设计元素和UML中的建模元素的语义相似性，并对UML的建模元素经过一定的扩展和约束，实现了从XYZ／ADL到UML的映射．     

可视化软件体系结构描述工具XYZ／ADL的设计与实现

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

UML与ADL在软件体系结构建模中的应用研究

通过软件体系结构理论在实践中的应用,探讨了统一建模语言UML与体系结构描述语言ADL在软件体系结构建模中结合使用的方法和途径.着重研究了UML与XYZ/ADL在电梯控制系统体系结构建模中的应用问题,并运用基于构件的求精方法对该系统的主要组件进行了求精.     

基于时态逻辑语言XYZ／E的软件体系结构（Ⅱ）——常见体系结构风格的描述

XYZ／E是世界上第一个可执行的时态逻辑语言，它既能描述抽象静态语义，又能表示程序的动态语义，这一特征恰好适合分层描述软件体系结构，文[1]采用XYZ／E语言刻画了软件体系结构的基本组件与连接件。本文讨论如何通过对这些组件及连接件进行特定的组合，来表示几种重要的软件体系结构风格。     

基于时态逻辑语言XYZ／E的软件体系结构研究（Ⅰ）－－基本组件和连接件的描述

XYZ／E是世界上第一个可执行的时态逻辑语言，它既能描述抽象静态语义，又表表示程序的动态语义，这一特征恰好分层描述软件体系结构。本文采用XYZ／E语言刻画了软件体系结构的基本组件与连接件；它为进一步描述体系结构风格提供了一个基础。     

可视化软件体系结构描述工具XYZ/ADL的设计与实现

在时态逻辑语言XYZ/E的基础上,建立一种以可视化图形表示的软件体系结构描述工具XYZ/ADL,它采用组件、连接件及交互端等基本设计单元,可同时描述软件体系结构的静态与动态行为,该语言能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡,从而将模块化程序设计方法和基于规范的逐步求精方法有机地结合起来.     

面向方面的软件体系结构建模研究

分析了面向方面编程的核心思想及其概念,指出了编码阶段所存在的代码散射和缠结现象同样存在于软件体系结构中。在软件体系结构描述语言XYZ/ADL的基础上,通过增加一阶实体来表示Aspect概念,并对连接件作相应的修改,同时定义Aspect与组件之间的复合机制,提出了一种面向方面的软件体系结构建模语言AO-ADL。     

基于XYZ/E的CA系统体系结构描述

XYZ/E是一种面向软件工程的时序逻辑语言,它在统一的逻辑框架下既能表示静态语义又能表示动态语义,在很多领域得到了广泛应用,但是能够同时结合XYZ/E的静态语义和动态语义在网络领域具体系统中的应用还不多见.本文用XYZ/E对CA系统的CA组件和RA组件之间的体系结构关系进行了抽象描述,并对CA和RA组件中的部分子组件进行了详细描述,从而为XYZ/E在CA系统中的应用提供了一个范例.     

基于时序逻辑语言XYZ/E的软件体系结构描述方法

XYZ/E是世界上第一个可执行的时序逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构,本文采用XYZ/E语言刻画了软件体系结构的基本组件与连接件,并通过对这些组件及连接件进行特定的组合,来表示几种重要的软件体系结构风格.     

基于时态逻辑语言XYZ/E的软件体系结构(Ⅱ)——常见体系结构风格的描述

XYZ/E是世界上第一个可执行的时态逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构,文[1]采用XYZ/E语言刻画了软件体系结构的基本组件与连接件.本文讨论如何通过对这些组件及连接件进行特定的组合,来表示几种重要的软件体系结构风格.     

UML 2．0状态图的XYZ/E时序逻辑语义研究

UML2.0状态图适合于描述软件体系结构中组件内部的动态行为及组件端口的行为,但UML2.0状态图的语义不够精确,使得它的描述结果不利于进行进一步的分析和验证。基于此,本文在定义UML 2.0状态图的语法的基础上,给出了UML 2.0状态图的XYZ/E时序逻辑语义,为使用UML 2.0状态图与XYZ/E相结合的方式来描述软件体系结构中组件内部的动态行为及组件端口的行为奠定了基础。     

基于时序逻辑语言XYZ/E的实时系统应用研究

针对实时系统在计算机系统应用中的重要性,采用形式化方法是保证实时系统软件开发正确性的一种重要途径,而时序逻辑这种形式化方法是研究实时系统的一个重要的理论基础。本文给出了时序逻辑语言XYZ/E的相关介绍,并利用XYZ/E的子语言XYZ/RBE与XYZ图描述了煤气炉实时控制问题。     

UML 2.0的形式化语义研究

由于UML 2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证.基于此,在描述UML 2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML 2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础.     

一种改进的XYZ视频编码算法

XYZ视频编码算法是一种三维DCT变换算法,由于量化后非零系数不集中,导致压缩率不高．提出了一种改进的XYZ视频编码算法,对变换后的数据采用一种更合理的扫描顺序,可以使量化后非零系数相对集中,在不损失压缩质量的前提下提高了视频文件的压缩率．     

具有长程相互作用S-1/2 Heisenberg反铁磁体链研究

采用平均场Jordan-Wigner变换分析方法,研究了外场中且具有Z方向均匀长程相互作用自旋-1/2Heisenberg XYZ反铁磁体链的热力学性质.得到了系统格点的亥姆赫兹自由能、内能、比热、磁化强度、磁化率等热力学量的解析表达式及其数值解,在退化条件下与其它文献的结果相符.