基于Object-Z的XPath形式化语义

• 作者: 杨红丽 郝克刚 韩俊刚
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 可标记语言(XML) XPath XML Schema Object-Z 形式化语义
• 年，卷（期）: 2004,（2）
• 所属期刊栏目: 软件工程
• 页码范围: 175-180
• 页数: 6页
• 分类号: TP3
• 字数: 4893字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2004.02.050

摘要

本文描述了XPath语言的形式化语义.一个统一的面向对象的语义视角用于建模所有XPath语言构造.语义的表示采用形式化规范语言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