作者：杨红丽; 韩俊刚; 郝克刚xquery语言形式化语义面向对象xml语言应用程序标准化
摘要：XQuery语言用于查询XML文档.目前,该语言规范还是W3C的工作草稿.语言的形式化语义有助于语言的标准化,本文通过重用XML家族语言通用语义构件的方法,形式化建模XQuery语言的语义,语义的描述采用Object-Z规范语言.这种面向对象的语义描述不仅具有简洁性、可扩展性和可组合性,而且有助于规范之间的一致性和协调性.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《计算机科学》（CN：50-1075/TP）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《计算机科学》报导国内外计算机科学与技术的发展动态，以其新颖、准确、及时为特色，突出动态性、综述性、学术性，“前沿学科”与“基础研究”相结合；“优秀技术”与“支撑技术”相结合；“倡导”与“争鸣”相结合。
省级期刊
人气 752892 评论 72
人气 483799 评论 71
人气 462525 评论 66
部级期刊
人气 441816 评论 69
