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

AN APPROACH TO SUBMITTING AND ISSUING Z SPECIFICATIONS UNDER INTERNET

作　　者：羊冬昭[1] 缪淮扣[1] 刘玲[1] 

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

出　　处：《计算机应用与软件》2004年第3期7-9,82,共4页Computer Applications and Software

基　　金：国家自然科学基金项目 (编号 60 1 730 30 )

摘　　要：用形式方法开发软件可提高软件系统的正确性和可靠性 ,并可提高软件开发的效率。Z是一种基于状态的形式规格说明语言。但是一直以来形式方法在工业上不能得到普遍的应用 ,一个原因是它缺乏有效的支持工具以及向通用的工业标准转化的连接。本文首先用JAVA语言和XML开发了一种方法 ,使得用户能够在不同的平台上、不同的浏览器上利用GUI的方式编辑Z规格说明 ,进而转化成服务器端的以XML方式描述的Z模式。通过XSL所定义的格式 ,又将以XML方式描述的Z发布到网页上。Developing software using formal method can improve validity,efficiency and reliability of system.Z is a kind of formal specification basing notation.But formal methods can not be used widely in industry.One of the main reasons is absence of supporting tools and connecting with industry standard.This paper presents an approach using Java and XML.User can edit Z specification using a visual tools,then the Z specification is transfered and converted to Z XML specification at server.This Z XML specification is issued through the format being defined using XSL at last.

关 键 词：INTERNET Z规格说明 软件开发 软件系统 JAVA语言 XML 

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