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

• 作者: 刘玲 缪淮扣 羊冬昭
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: Z/Object-Z JAVA/XML/XSL XML Schema/DTD
• 年，卷（期）: 2004,（3）
• 所属期刊栏目: 基金项目论文
• 页码范围: 7-9,82
• 页数: 4页
• 分类号: TP31
• 字数: 2764字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2004.03.004

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	缪淮扣	上海大学计算机工程与科学学院	100	1030	16.0	26.0
2	刘玲	上海大学计算机工程与科学学院	20	211	8.0	14.0
3	羊冬昭	上海大学计算机工程与科学学院	1	0	0.0	0.0