| 基于ZML的Z语言规范 |
| |
| 引用本文： | 黎升洪.基于ZML的Z语言规范[J].江西科学,2006,24(5):327-331,336. |
| |
| 作者姓名： | 黎升洪 |
| |
| 作者单位： | 江西财经大学信息学院,江西,南昌,330013 |
| |
| 摘 要： | ISO的Z标准为Z语言工具的开发及不同Z开发工具间的互操作提供了基础,然而它所建立的只是开发工具必须遵守和使用记号,而没有说明如何实现这些记号。ZML采用XML模式文档形式来描述Z语言规范,可以实现Z语言在不同工具间的交换。本文讨论XML模式的重用、替换设计机理在ZML中的应用;并讨论了在设计ZML时,所引入的XML模型元素与Z标准对应的问题;以及随着ZML的演化,如何减少Z语言XML文档的开发维护时间问题。
|
| 关 键 词： | Z语言 XML模式 ZML |
| 文章编号： | 1001-3679（2006）05-0327-05 |
| 收稿时间： | 2006-06-29 |
| 修稿时间： | 2006-06-292006-08-14 |
The Z Specification Based on ZML |
| |
| LI Sheng-hong.The Z Specification Based on ZML[J].Jiangxi Science,2006,24(5):327-331,336. |
| |
| Authors: | LI Sheng-hong |
| |
| Abstract: | The Z specification Standard of ISO provides the fundamentals of developing Z specification tools and inter-operations between different Z specification tools.The standard just established the Z notations which are conformed by different Z specification tools,but did not say how to implement the notations.The Z notations can be exchanged between different Z tools based on ZML that is a XML schema file.Basically,ZML takes advantage of the XML principles of reuse and substitution.The main problems are alignment between ZML notations and Z specification,and reduction of maintenance time of XML document about Z language when a ZML document is evolving. |
| |
| Keywords: | Z Language XML Schema ZML |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
