“管道-过滤器”软件体系结构风格的形式化  

FORMALIZATION OF SOFTWARE ARCHITECTURE STYLE

作　　者：杨世瀚[1] 王灏[1] 

机构地区：[1]武汉水利电力大学计算机科学系,武汉430072

出　　处：《小型微型计算机系统》2000年第11期1214-1216,共3页Journal of Chinese Computer Systems

摘　　要：许多软件系统是从体系结构的设计开始的 ,然而这些体系结构的设计是非形式化的 .为了使软件体系结构的设计有更科学的理论基础 ,一个合适的形式化系统是必不可少的 .而且形式化也是研究体系结构其它方面 (如 :软件体系结构的演化、描述语言、重用等 )的最根本的基础 .文章用 Z语言 〔4〕形式化符号系统实现了“管道 -过滤器”这一常用的软件体系结构风格的形式化 .A lot of software systems begin with architectural design, which is always informal for the present. In order to make the software architectural design more scientific, an appropriate formal system is essential. Furthermore, the formalization is the most important foundation of correlative researching, such as SAs evolution, description language and reusing.

关 键 词：软件体系结构(SA) 软件体系结构风格 形式化 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]