软件体系结构形式描述研究(摘要) 朱雪阳.pdf

中国科学院软件研究所博士论文 摘要 软件体系结构形式描述研究(摘要) 朱雪阳 体系结构设计在软件开发整个过程中扮演着重要角色。工程中常用直观、半形 式化的图形建模的方法对软件体系结构进行描述，但这些建模语言的缺点是语义不 够精确，难以对它们所表示的模型进行分析，这一点上形式化方法可与之互补。如 何结合二者之长以提高软件的可靠性，是工业界和学术界共同关心的问题。 为此，我们提出了双重软件体系结构描述框架 XYZ/ADL ：支持工程中关于软 件体系结构的基本概念，前端用一般的体系结构框图作为结构描述，抽象行为用 UML 活动图、状态图表示，以便于软件工程师的使用和交流；后端用时序逻辑语 言 XYZ/E 作为一致的语义基础，以支持进一步的形式化分析验证。 本文主要贡献在于：  结合体系结构框图、UML活动图、状态图等图形语言和时序逻辑语言XYZ/E 作为双重软件体系结构描述框架。该框架包括一套完整的图形语言，并以 一套完整的形式化文本语言(XYZ/E的扩充)作为语义支持。  用XYZ/E作为软件体系结构各部分的语义基础；对XYZ/E进行扩充，在语 言上提供对软件体系结构基本概念的显式支持，并对扩充部分给予严格的 形式定义，使XYZ/ADL具备广泛认可的软件体系结构描述语言的特征。  定义UML活动图、状态图的时序逻辑语义。使得它们不仅在我们的描述框 架下，具有严格的语义，而且由于 UML 活动图、状态图可用于软件开发的 其它阶段，这一语义定义也有益于对其它阶段模型进行形式化分析验证。 关键词：软件体系结构，体系结构描述语言，双重描述框架，XYZ 系统，XYZ/E ， UML 活动图，状态图，形式化语义。 I 中国科学院软件研究所博士论文 图表索引 目 录 摘 要I 目 录V 图表索引IX 第一章 引言1 1.1 软件开发过程1 1.2 形式化方法1 1.3 形式化方法在软件开发过程中的应用4 1.4 本文目标与贡献6 1.5 本文组织9 第二章 软件体系结构研究领域11 2.1 什么是软件体系结构11 2.2 软件体系结构研究范畴13 2.2.1 模型与视图14 2.2.2 描述语言15 2.2.3 体系结构风格17 2.2.4 软件体系结构的形式化研究20 2.3 软件体系结构研究现状21 2.4 本章小结22 第三章 XYZ系统介绍23 3.1 XYZ 系统概述23 3.2 线性时序逻辑简介26 3.3 XYZ/E 介绍29 3.3.1 条件元和单元29 3.3.2 XYZ/E 程序框架30 3.3.3 选择语句与并行语句31 3.3.4 通信命令31 3.3.5 本文用到的语言成分说明33 III 中国科学院软件研究所博士论文