基于object-z的xpath形式化语义

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