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

摘要：

本文描述了XPath语言的形式化语义.一个统一的面向对象的语义视角用于建模所有XPath语言构造.语义的表示采用形式化规范语言Object-Z的符号系统.这种高度结构化的语义模型具有简洁、可组合性和可复用性的特点.

关键词：可标记语言(XML)、XPath、XML Schema、Object-Z、形式化语义

所属期刊栏目：31

分类号：TP3(计算技术、计算机技术)

在线出版日期：2004-06-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：175-180