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

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

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

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

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

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

基于时态逻辑语言XYZ/E的软件体系结构研究(Ⅰ)——基本组件和连接件的描述

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

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

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

基于XYZ/ADL描述的选修课管理系统体系结构

XYZ／ADL是一种基于时序逻辑语言XYZ／E的可视化体系结构描述语言。文章使用XYZ／ADL对高校选修课管理系统的体系结构、客户端组件及服务器端组件进行了抽象描述，并对服务器组件中选课这一事件进行了详细描述。     

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

XYZ／E是世界上第一个可执行的时态逻辑语言,它既能描述抽象静态语义,又表表示程序的动态语义,这一特征恰好分层描述软件体系结构。本文采用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/ADL的Web服务组合精化检验

Web服务组合的正确性验证在Web服务组合过程中至关重要.从软件体系结构角度考虑Web服务组合,可以从整体上把握系统布局.采用体系结构描述语言XYZ/ADL描述Web服务组合,并将XYZ/ADL中的XYZ/RE程序映射至时间自动机,使用精化检验方法验证Web服务组合的正确性.     

基于体系结构描述的软件测试技术

在软件结构描述语言的基础上,研究了组件之间交互所引起的错误测试,并提出静态分析和动态测试模型.静态模型通过检查组件端口及其所允许的消息类型来约束构件的交互,动态模型通过Petri网刻画组件执行过程中的动态行为,生成动态行为图.在此基础上,又提出了测试充分性准则和测试需求,根据不同的体系结构抽象层次,基于不同的路径覆盖级别,生成测试用例,由此平衡开发成本、进度与质量需求之间的关系.最后,以客户/服务器结构为例说明该方法是适用的.     

一种基于构件的软件体系结构求精方法及其应用

软件体系结构是软件工程学科中一个较新的研究领域,目前对软件体系结构的形式化描述及求精方法的研究仍处于探索阶段。本文首先分析了基于行为替代、基于风格的体系结构求精方法的特点和不足,然后提出一种基于构件的体系结构求精方法,并以时序逻辑语言XYZ/E作为软件体系结构的形式化描述语言,通过一个具体开发实例对基于构件的体系结构求精方法及过程作了进一步论述。     

基于B/S架构课堂教学评价信息系统设计

B／S架构信息系统已经成为当前信息系统设计的主流。课堂教学评价已经成为高校整体教学评价的重要组成部分。探讨了基于该架构的课堂教学评价信息系统的设计原则、系统分析与设计。     

基于多层B/S体系结构的地理信息系统构件化研究

在多层B/S体系结构下,设计了一种GIS的构件化系统模型,包括GIS应用层、GIS构件层、GIS服务层和GIS存储层,并给出了GIS在Web上的应用模型。     

基于C/S多媒体教学系统的软件体系结构分析与设计

介绍了多媒体教学系统软件的研究背景与设计目标,分析了C/S结构体系与三层C/S结构体系,重点围绕教学构件的组成和C/S结构的网络教学辅助平台构件库设计模型展开讨论,介绍了多媒体教学系统软件体系结构的设计与实现,对教育应用工程发展前景进行了展望。     

构件化软件体系结构研究

构件化软件开发是软件开发领域的一次重大变革,其系统体系结构也与传统软件系统结构不完全一致。通过对构件化软件体系结构的研究,提出了构件化软件二元体系结构模型,并分别对构件化软件的二元层次：水平层次和垂直层次进行了介绍。