期刊文献+

XQuery语言的形式化语义

The Formal Semantics of XQuery Language
下载PDF
导出
摘要 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
基金 联合国大学软件技术研究所资助项目
关键词 XQUERY语言 形式化语义 面向对象 XML语言 应用程序 标准化 XML. XPath ,XML schema ,Object-Z .XQuery
  • 引文网络
  • 相关文献

参考文献1

二级参考文献15

  • 1[1]XQuery 1.0 and XPath2.0 Data Model.2002.http://www.w3.org/TR/querydatamodel/. 被引量:1
  • 2[2]Boag S,et al.Anders Berglund.XML Path Language (XPath) 2.0,2002.http://www.w3.org/TR/xpath20/. 被引量:1
  • 3[3]Clark J.XSL Transformations (XSLT) Version 2.0.2002.http://www.w3.org/TR/xslt20/. 被引量:1
  • 4[4]Dong J S.Formal Object Modelling Techniques and Denotational Semantics Studies:[PhD thesis].University of Queensland, 1995 被引量:1
  • 5[5]Dong J S,Duke R,Rose G.An object-roiented approach to the semantics of programming languages. Australian Computer Science Communications,1994,16 被引量:1
  • 6[6]Duke R,Rose G. Formal Object Oriented Specification Using Object-Z. Macmillan, 2000 被引量:1
  • 7[7]Draper D,et al.XQuery 1.0 and XPath 2.0 Formal Semantics,2002.http://www.w3.org/TR/query-semantics/. 被引量:1
  • 8[8]Hinchey M. The Object-Z Specification Language. Kluwer Academic Publishers, 1999 被引量:1
  • 9[9]Cowan R T J.XML Information Set, 2001.http://www.w3.org/TR/xmlinfoset/. 被引量:1
  • 10[10]Biron A M P V. XML Schema Part 2: Datatypes, 2001.http://www.w3.org/TR/2001/REC-xmlschema-2-20010502/. 被引量:1
;
使用帮助 返回顶部