作者:
原文服务方: 江西科学       
摘要:
ISO的Z标准为Z语言工具的开发及不同Z开发工具间的互操作提供了基础,然而它所建立的只是开发工具必须遵守和使用记号,而没有说明如何实现这些记号.ZML采用XML模式文档形式来描述Z语言规范,可以实现Z语言在不同工具间的交换.本文讨论XML模式的重用、替换设计机理在ZML中的应用;并讨论了在设计ZML时,所引入的XML模型元素与Z标准对应的问题;以及随着ZML的演化,如何减少Z语言XML文档的开发维护时间问题.
推荐文章
基于Z语言的ERP系统框架设计
Z语言
ERP
消息驱动
框架
基于Z-ADL语言的动态体系结构描述
动态演化
动态体系结构语言
Z-ADL
OpenGL图形规范的Z形式化描述
Z语言
OpenGL
形式化
基于Z语言的测试用例形式化描述方法研究
软件测试
可复用测试用例
形式化描述
Z语言
用例属性
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于ZML的Z语言规范
来源期刊 江西科学 学科
关键词 Z语言 XML模式 ZML
年,卷(期) 2006,(5) 所属期刊栏目 研究进展
研究方向 页码范围 327-331,336
页数 6页 分类号 TP3
字数 语种 中文
DOI 10.3969/j.issn.1001-3679.2006.05.020
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 黎升洪 江西财经大学信息学院 15 129 5.0 11.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (1)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
2002(1)
  • 参考文献(1)
  • 二级参考文献(0)
2006(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
Z语言
XML模式
ZML
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
江西科学
双月刊
1001-3679
36-1093/N
大16开
1983-01-01
chi
出版文献量(篇)
4032
总下载数(次)
0
总被引数(次)
17843
论文1v1指导