| 一种在Internet环境下提交与发布Z规格说明的方法 |
| |
| 引用本文： | 羊冬昭,缪淮扣,刘玲.一种在Internet环境下提交与发布Z规格说明的方法[J].计算机应用与软件,2004,21(3):7-9,82. |
| |
| 作者姓名： | 羊冬昭 缪淮扣 刘玲 |
| |
| 作者单位： | 上海大学计算机工程与科学学院,上海,200072 |
| |
| 基金项目： | 国家自然科学基金项目 (编号 60 1 730 30 ) |
| |
| 摘 要： | 用形式方法开发软件可提高软件系统的正确性和可靠性，并可提高软件开发的效率。Z是一种基于状态的形式规格说明语言。但是一直以来形式方法在工业上不能得到普遍的应用，一个原因是它缺乏有效的支持工具以及向通用的工业标准转化的连接。本文首先用JAVA语言和XML开发了一种方法，使得用户能够在不同的平台上、不同的浏览器上利用GUI的方式编辑Z规格说明，进而转化成服务器端的以XML方式描述的Z模式。通过XSL所定义的格式，又将以XML方式描述的Z发布到网页上。从而实现了Z规格说明在WWW环境下的共享与发布。
|
| 关 键 词： | Internet Z规格说明 软件开发 软件系统 JAVA语言 XML |
AN APPROACH TO SUBMITTING AND ISSUING Z SPECIFICATIONS UNDER INTERNET |
| |
| Yang Dongzhao,Miao Huaikou,Liu Ling.AN APPROACH TO SUBMITTING AND ISSUING Z SPECIFICATIONS UNDER INTERNET[J].Computer Applications and Software,2004,21(3):7-9,82. |
| |
| Authors: | Yang Dongzhao Miao Huaikou Liu Ling |
| |
| Abstract: | 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. |
| |
| Keywords: | Z/Object-Z JAVA/XML/XSL XML Schema/DTD |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
