论文部分内容阅读
ISO的Z标准为Z语言工具的开发及不同Z开发工具间的互操作提供了基础，然而它所建立的只是开发工具必须遵守和使用记号，而没有说明如何实现这些记号。ZML采用XML模式文档形式来描述Z语言规范，可以实现Z语言在不同工具间的交换。本文讨论XML模式的重用、替换设计机理在ZML中的应用；并讨论了在设计ZML时，所引入的XML模型元素与Z标准对应的问题；以及随着ZML的演化，如何减少Z语言XML文档的开发维护时间问题。