Z语言和软件体系结构风格的形式化.pdfVIP

第 19卷 第5期 计 算 机 技 术 与 发 展 ＼7ol19 NO．5 2009年 5月 COMPUrrER TECHNOI(X Y AND DEVEI．OPIVIENT M 2009 Z语言与软件体系结构风格的形式化 郭广义，李代平，梅小虎 (广东工业大学计算机学院，广东广州 510075) 摘 要：软件体系结构风格是软件设计人员在长期开发某种类型软件经验的基础上总结出来的适合于构建某一类软件的 模型，也称为构建模式。形式化则是一种基于数学的严谨的描述方式和方法。形式化不仅能够清晰地描述软件体系结构 风格 ，并且为软件体系结构的设计提供了一种易于交流和理解 的途径 ，因此形式化是现在软件体系结构研究的主要课题 之一。文中通过 z语言描述管道一过滤器这一软件体系结构风格静态性质和动态行为来说明如何运用z语言形式化的 描述软件体系结构风格 ，从中可以看出z语言的严谨 、清晰、简洁。 关键词：软件体系结构；管道 一过滤器；Z语言；形式化 中图分类号 ：11)3l1 文献标识码：A 文章编号：1673—629X(2009)05—0140—03 Z LanguageandFormalizationofSoftwareArchitectureStyle GUO Guang—yi，LIDai—ping，MEIXiao-hu (ComputerAcademyofGuangdongUniversityofTechnolc~y，Guangzhou510075，China) Abstract： estyleofosftwraearchitectureisthedesignersofsoftwraewhoSHillupfrom theirexperiences．Itisfitforonekindofmodel ofsoftware，intheotherword，alos allconsturctionmode．Formalizationisonekindofprceiesdescriptionwaywhichisbasedonmath． Thestyleofosftwareafchiteceurecanbedescribedclearlybyformalmethods．Formalmethodmakesthedesing ofosftwarerachitcetures easilytounderstandnadcommutation．Formalizationisonemainstudytopicofosftwrae~chitcetures．Describesthestaticcharacterna d dynamicactionofpiles—filtersstylethroughZlanguagetoillustratehow todescribetheformalizationofosftwraearchitceturestyleuseZ lan~ age．Andthisway isprecies，clearnadstraightforwrad． Keywords：osftwarerachitceture；pipe～filters；Zlanguage；formalization O 引 言 学模型[5l。文中将用形式化语言Z语言描述管道 一过 软件体系结构分为两大组成部分l1]：组件和连接 滤器这一软件体系结构风格 [6～B】。Z语言是应用广泛 件。在管道一过滤器风格中，过滤器为组件，用来转换 的形式化规格语言。Z语言描述包括数据抽象[9]和过 和处理数据流。每个过滤器有一组输入端 口用于读人 程抽象[10l，即分别描述系统的静态性质和动态行为。 数据，一组输出端 口用于输出已处理的数据。而管道 为连接件，用于控制系统的数据流，每个管道有一个输 入端口和输出端口，用于实现数据传输。通过管道连 接的过滤器序列称为处理流水