第8章Z语言剖析.pptVIP

Chapter 8 Z语言 （一） 概述 （二） 表示抽象 （1） 集合、关系及函数 （2） 序列和包 （3） 自由类型 （4） 公理描述 （5） 模式 （三） 操作抽象 （1）模式运算及合成 （2）通用式函数 （四） Z规格的例 （1）图书馆数据库管理 （2）自动售货机 （一） 概述 Z是在Jean Raymond Abrial等的开创性工作下，由英国牛津大学的程序设计研究小组（PGR --- Programming Research Group），于80年代初所开发的一种形式语言。 PRG与IBM的Hursley实验室合作，将Z语言用于IBM的客户信息控制系统CICS（Custom Information and Control System）的开发，使得最终的产品质量得到了全面提高，所检测出的错误数量大大减少，并且整体开发费用降低了9%。 在1986年的第一次国际Z用户会议（Z Users Meeting---ZUM）上，与会人员达成了建立Z标准的共识。1989年建立了Z方法和工作的标准。1992年12月的第七次国际Z用户会议上通过了新的标准。在ISO指导下的国际标准化Z工作已于2002年完成。 （二） 表示抽象 抽象数据类型是程序设计中十