摘要
软件体系结构已成为软件工程研究和实践的主要领域，而形式模型和形式分析技术是成熟工程学科的基石。本文论述了用形式化方法来刻画各种体系结构风格的优越性，并介绍了几种以形式化语言为理论基础的体系结构描述语言。
Nowdays,software architecture has became an main domain of software engineering,foraml model and formal analyzing technology are the foundation of engineering.this paper attempts to elaborate the priority of various architecture styles through formal mathods and introduces several architecture description languages.
作者
方风波
FANG Feng-bo （Jingzhou Institute of TechnologyJingzhou 434020,China）
出处
《电脑知识与技术》
2007年第4期159-160,共2页
Computer Knowledge and Technology
关键词
软件体系结构
形式化描述
体系结构风格
体系结构描述语言
software architecture
formalied description
architecture style
architecture description language
