The Formal Semantics of XPath Based on Object-Z
Yang Hong · 2004
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.