软件体系结构的形式化描述

摘要

本项目的研究目的就是使目标软件系统的设计更好地被理解、被实现，而从软件的可靠性、非形式化描述的歧义性来说本项目的研究具有重要的意义。本文主要阐述了形式化方法几种类别、形式化规格说明语言的语义基础及几种不用的规格说明语言，用数学集合论思想描述了排课算法，用WRIGHT语言描述了基于管道-过滤器(pipe-filter)模式的微软的媒体播放器，通过本文的启示，用数学有关的知识研究软件体系结构，是一种发展研究方向。

目录

文摘

英文文摘

第一章绪论

1.1论文提出的背景

1.2目前国内外的研究现状

1.3研究目的及意义

第二章软件体系结构

2.1什么是软件体系结构

2.2软件体系结构属性

2.3软件体系结构的构建模式

2.3.1模式的起源

2.3.2模式的目的

2.3.3模式的构成

2.3.4模式的分类

2.3.5模式间的关系

2.3.6模式的描述

2.3.7模式、模式系统、软件体系结构

第三章软件体系结构的形式化描述

3.1形式化方法

3.1.1形式化方法定义

3.1.2形式化方法有分类

3.1.3目前形式化方法存在的问题

3.2形式化规格说明语言

3.2.1规格说明语言的语义基础

3.2.2规格说明语言简介

第四章实例

4.1系级排课算法

4.2微软的媒体播放器

结论

参考文献

独创性声明

致谢