江西科学
江西科學
강서과학
JIANGXI SCIENCE
2006年
5期
327-331,336
,共6页
Z语言%XML模式%ZML
Z語言%XML模式%ZML
Z어언%XML모식%ZML
ISO的Z标准为Z语言工具的开发及不同Z开发工具间的互操作提供了基础,然而它所建立的只是开发工具必须遵守和使用记号,而没有说明如何实现这些记号.ZML采用XML模式文档形式来描述Z语言规范,可以实现Z语言在不同工具间的交换.本文讨论XML模式的重用、替换设计机理在ZML中的应用;并讨论了在设计ZML时,所引入的XML模型元素与Z标准对应的问题;以及随着ZML的演化,如何减少Z语言XML文档的开发维护时间问题.
ISO的Z標準為Z語言工具的開髮及不同Z開髮工具間的互操作提供瞭基礎,然而它所建立的隻是開髮工具必鬚遵守和使用記號,而沒有說明如何實現這些記號.ZML採用XML模式文檔形式來描述Z語言規範,可以實現Z語言在不同工具間的交換.本文討論XML模式的重用、替換設計機理在ZML中的應用;併討論瞭在設計ZML時,所引入的XML模型元素與Z標準對應的問題;以及隨著ZML的縯化,如何減少Z語言XML文檔的開髮維護時間問題.
ISO적Z표준위Z어언공구적개발급불동Z개발공구간적호조작제공료기출,연이타소건립적지시개발공구필수준수화사용기호,이몰유설명여하실현저사기호.ZML채용XML모식문당형식래묘술Z어언규범,가이실현Z어언재불동공구간적교환.본문토론XML모식적중용、체환설계궤리재ZML중적응용;병토론료재설계ZML시,소인입적XML모형원소여Z표준대응적문제;이급수착ZML적연화,여하감소Z어언XML문당적개발유호시간문제.
