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

摘要：

软件体系结构已成为软件工程研究和实践的主要领域,而形式模型和形式分析技术是成熟工程学科的基石.本文论述了用形式化方法来刻画各种体系结构风格的优越性,并介绍了几种以形式化语言为理论基础的体系结构描述语言.

关键词：软件体系结构、形式化描述、体系结构风格、体系结构描述语言

所属期刊栏目：2

分类号：TP311(计算技术、计算机技术)

在线出版日期：2007-06-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：159-160