XQuery语言的形式化语义

• 作者: 杨红丽 郝克刚 韩俊刚
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: XML,XPath,XML Schema,Object-Z,XQuery
• 年，卷（期）: 2004,（3）
• 页码范围: 15-18,27
• 页数: 5页
• 分类号: TP3
• 字数: 3918字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2004.03.004

摘要

XQuery语言用于查询XML文档.目前,该语言规范还是W3C的工作草稿.语言的形式化语义有助于语言的标准化,本文通过重用XML家族语言通用语义构件的方法,形式化建模XQuery语言的语义,语义的描述采用Object-Z规范语言.这种面向对象的语义描述不仅具有简洁性、可扩展性和可组合性,而且有助于规范之间的一致性和协调性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	韩俊刚	西安邮电学院计算机系	113	703	14.0	20.0
2	郝克刚	西北大学计算机科学系	122	1609	23.0	34.0
3	杨红丽	西北大学计算机科学系	2	1	1.0	1.0