一种在Internet环境下提交与发布Z规格说明的方法

用形式方法开发软件可提高软件系统的正确性和可靠性 ,并可提高软件开发的效率。Z是一种基于状态的形式规格说明语言。但是一直以来形式方法在工业上不能得到普遍的应用 ,一个原因是它缺乏有效的支持工具以及向通用的工业标准转化的连接。本文首先用JAVA语言和XML开发了一种方法 ,使得用户能够在不同的平台上、不同的浏览器上利用GUI的方式编辑Z规格说明 ,进而转化成服务器端的以XML方式描述的Z模式。通过XSL所定义的格式 ,又将以XML方式描述的Z发布到网页上。