| 基于Object-Z的XPath形式化语义 |
| |
| 引用本文： | 杨红丽,郝克刚,韩俊刚.基于Object-Z的XPath形式化语义[J].计算机科学,2004,31(2):175-180. |
| |
| 作者姓名： | 杨红丽 郝克刚 韩俊刚 |
| |
| 作者单位： | 西北大学计算机科学系,西安710069;西安邮电学院计算机系,西安710061;西北大学计算机科学系,西安710069;西安邮电学院计算机系,西安710061 |
| |
| 摘 要： | 本文描述了XPath语言的形式化语义。一个统一的面向对象的语义视角用于建模所有XPath语言构造。语义的表示采用形式化规范语言Object-Z的符号系统。这种高度结构化的语义模型具有简洁、可组合性和可复用性的特点。
|
| 关 键 词： | 可标记语言(XML) XPath XML Schema Object-Z 形式化语义 |
The Formal Semantics of XPath Based on Object-Z |
| |
| YANG Hong-Li HAO Ke-Gang HAN Jun-Gang.The Formal Semantics of XPath Based on Object-Z[J].Computer Science,2004,31(2):175-180. |
| |
| Authors: | YANG Hong-Li HAO Ke-Gang HAN Jun-Gang |
| |
| Abstract: | This paper describes the formal semantics of XPath language. A unifying Objected-Oriented semantic view has been used to model all language constructs of XPath. The presentation of semantics uses formal specification language Object-Z notation. This highly structured semantic model is concise, composable and extensible. |
| |
| Keywords: | extensible Markup Language (XML) XPath XML schema Object-Z Formal semantics |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
