计算机技术与发展
計算機技術與髮展
계산궤기술여발전
COMPUTER TECHNOLOGY AND DEVELOPMENT
2009年
5期
140-142,146
,共4页
软件体系结构%管道-过滤器%Z语言%形式化
軟件體繫結構%管道-過濾器%Z語言%形式化
연건체계결구%관도-과려기%Z어언%형식화
软件体系结构风格是软件设计人员在长期开发某种类型软件经验的基础上总结出来的适合于构建某一类软件的模型,也称为构建模式.形式化则是一种基于数学的严谨的描述方式和方法.形式化不仅能够清晰地描述软件体系结构风格,并且为软件体系结构的设计提供了一种易于交流和理解的途径,因此形式化是现在软件体系结构研究的主要课题之一.文中通过Z语言描述管道一过滤器这一软件体系结构风格静态性质和动态行为来说明如何运用Z语言形式化的描述软件体系结构风格,从中可以看出Z语言的严谨、清晰、简洁.
軟件體繫結構風格是軟件設計人員在長期開髮某種類型軟件經驗的基礎上總結齣來的適閤于構建某一類軟件的模型,也稱為構建模式.形式化則是一種基于數學的嚴謹的描述方式和方法.形式化不僅能夠清晰地描述軟件體繫結構風格,併且為軟件體繫結構的設計提供瞭一種易于交流和理解的途徑,因此形式化是現在軟件體繫結構研究的主要課題之一.文中通過Z語言描述管道一過濾器這一軟件體繫結構風格靜態性質和動態行為來說明如何運用Z語言形式化的描述軟件體繫結構風格,從中可以看齣Z語言的嚴謹、清晰、簡潔.
연건체계결구풍격시연건설계인원재장기개발모충류형연건경험적기출상총결출래적괄합우구건모일류연건적모형,야칭위구건모식.형식화칙시일충기우수학적엄근적묘술방식화방법.형식화불부능구청석지묘술연건체계결구풍격,병차위연건체계결구적설계제공료일충역우교류화리해적도경,인차형식화시현재연건체계결구연구적주요과제지일.문중통과Z어언묘술관도일과려기저일연건체계결구풍격정태성질화동태행위래설명여하운용Z어언형식화적묘술연건체계결구풍격,종중가이간출Z어언적엄근、청석、간길.