摘要
XQuery语言用于查询XML文档。目前,该语言规范还是W3C的工作草稿。语言的形式化语义有助于语言的标准化,本文通过重用XML家族语言通用语义构件的方法,形式化建模XQuery语言的语义,语义的描述采用Object-Z规范语言。这种面向对象的语义描述不仅具有简洁性、可扩展性和可组合性.而且有助于规范之间的一致性和协调性。
XQuery language is used to search XML document. The specification of the language is W3C working draft now. The formal semantics will help to the standization of the language. This paper models the semantics of XQuery language by reusing the common semantic construct of XML family languages. The presentation of semantics uses formal specification language Object-Z notation. This object-oriented description is not only concise. extensible and composable.but also consistency between specifications.
出处
《计算机科学》
CSCD
北大核心
2004年第3期15-18,27,共5页
Computer Science
基金
联合国大学软件技术研究所资助项目