一种在万维网上显示Z规格说明的方法  

Presentation of Z Specifications on the World Wide Web

作　　者：陈怡海[1] 缪淮扣[1] 邵书滨[1] 

机构地区：[1]上海大学计算机工程与科学学院,上海200072

出　　处：《上海大学学报（自然科学版）》2000年第6期516-520,共5页Journal of Shanghai University:Natural Science Edition

基　　金：国家自然科学基金!(699773038);美国AM基金资助项目

摘　　要：万维网的普及和发展给软件工程师提供了交流和共享知识的场所．Ｚ是一种基于一阶谓词逻辑和集合论的形式规格说明语言．Ｚ语言用大量的数学符号和模式来构造规格说明．然而，当前的ＨＴＭＬ标准不支持在万维网上显示Ｚ规格说明所需的一些符号，此外如何在ＨＴＭＬ文件中表示模式框、公理框和类描述同样是困难的．本文实现了一种在万维网上显示Ｚ规格说明的解决方法，并给出了程序代码和实例．The wide spread of World Wide Web provides a means for software engineers to communicate and share knowledge. Z is a specification language based on first order predicate logic and set theory. It has a rich set of mathematical characters and requires graphic--rich boxes and schemas for structuring a specification document. But the current HTML standard does not support the various symbols needed to present Z specifications. Also, presentation of schema box, generic schema and axiomatic descriptions is difficult. This paper describes an implementation of a method to present Z specifications on the WWW, and gives the corresponding code and an example.

关 键 词：Z规格说明 HTML 万维网 Z语言 软件开发 显示 

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