收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

XML家族语言语义研究

杨红丽  
【摘要】:XML技术已经成为因特网(Internet)上数据交换标准,随着XML应用越来越广泛,XML技术的迅速发展面临许多挑战:目前大多数规范还是工作草稿,规范之间的一致性问题和语言的标准化问题将是主要的挑战。这些问题主要是由于语言间的相互依赖性导致的:XML相关规范都建立在XML SCHEMA类型系统上、操作的逻辑结构是XML的文档对象模型、采用统一的表达式语言XPATH。 程序语言的形式化语义提供简洁而精确的语言定义,不仅帮助人们很好的理解语言,而且有助于语言的标准化。形式化规范语言Z和Object-Z已经用于描述程序语言语义。Object-Z对Z语言进行了面向对象扩展,包括类和继承机制,描述的语义不仅具有简洁和精确性,而且具有可组合性和可重用性。当语言加强时,其形式化语义可以很容易的进行扩展。 本文从程序语言语义的面向对象角度研究XML家族语言的形式化语义。根据XML家族语言之间互相依赖的特点,在对XML核心规范分析的基础上,首先建模XML家族语言通用语义构件库,包括XML SCHEMA类型系统、XML文档数据模型和XPATH表达式;然后重用这些语义构件描述具体XML家族语言XSLT和XQUERY的语义。形式化描述采用Z和Object-Z的符号系统。这种面向对象的语义模型建模每个语言构件的抽象语法、静态和动态语义为单个Object-Z类构件,具有简洁性、可组合性和可重用性,适应了XML家族语言不断变化发展的特点。当新的规范出现时,通过对旧的语义进行扩展,可以很容易的描述新规范的语义。 随着XML被国际上许多组织采纳作为标准数据交换格式,XML文档处理技术日益受到关注。本文通过对现有XML文档处理技术DOM和XSLT的比较,开发了一种新的XML编程语言XWALK,其命名源于应用程序遍历(Walks)XML文档树,同时修改结点的结构和内容,其处理模式类似于文档对象模型DOM。XWALK属于XML家族语言,因此其语义描述重用了XML家族通用语义构件。XWALK语言采用XML语法,具有精确的形式化语义。XWALK程序通过转换到JAVA下运行。XWALK兼具了DOM强大的编程功能和XSLT的方便编程的特点。


知网文化
【相似文献】
中国期刊全文数据库 前18条
1 贺前华;江瑾;黄翰陞;;隐标识身份认证方法及其形式化语义分析[J];计算机工程;2008年12期
2 毛新军,王怀民,陈火旺;多Agent系统中Agent计算的能力理论[J];国防科技大学学报;1999年03期
3 杨红丽;韩俊刚;郝克刚;;XQuery语言的形式化语义[J];计算机科学;2004年03期
4 李智伟;徐中伟;万勇兵;李盼;;基于ASM的元模型形式化语义的研究[J];计算机应用研究;2012年01期
5 邵维忠,蒋严冰,麻志毅;UML现存的问题和发展道路[J];计算机研究与发展;2003年04期
6 宋瑾钰;蒋国明;高会聪;;基于UML扩展机制的MDA协议建模语言研究[J];计算机工程与设计;2009年05期
7 吕盛坪;乔立红;刘威;;制造过程数据形式化语义建模[J];机械工程学报;2012年10期
8 但斌;王江平;刘瑜;;大规模定制环境下客户需求信息分类模型及其表达方法研究[J];计算机集成制造系统;2008年08期
9 郭勇;;基于语义的Web文本分析技术[J];计算机工程;2007年11期
10 董鑫,宋国新;一种Verilog的操作语义[J];华东理工大学学报(自然科学版);2005年04期
11 庞军;王云峰;郑国梁;;现有Z的工具的比较[J];计算机科学;1999年10期
12 田保军;;UML类图到CPN转化方法的研究[J];系统仿真学报;2007年S1期
13 黄春荣,李宣东,郑国梁;UML模型到COOZ规约的形式化转换[J];计算机工程与应用;2003年20期
14 谢兄;张维石;;构件适应和组装的形式化语义描述[J];计算机工程与应用;2007年21期
15 杨敬中;张广泉;戎玫;;UML2.0类图的一种形式化描述方法[J];计算机科学;2007年02期
16 刘超;眭跃飞;曹存根;;描述语义Web服务的带类型的OWL-S[J];计算机工程与应用;2012年22期
17 崔鹏;;基于形式化语义的启发式病毒检测引擎研究[J];辽东学院学报(自然科学版);2008年03期
18 安秋生,沈钧毅,王国胤;基于RSDA的RDB与Rough集关系的研究[J];计算机工程与应用;2002年17期
中国重要会议论文全文数据库 前3条
1 黄正宝;张广泉;;一种基于时序逻辑的UML 2.0形式化语义[A];2006年全国理论计算机科学学术年会论文集[C];2006年
2 陈玉泉;陈宣;陆汝占;;内涵时态逻辑的语义解释系统[A];自然语言理解与机器翻译——全国第六届计算语言学联合学术会议论文集[C];2001年
3 罗燕;肖志娇;常会友;;基于角色的工作流建模研究[A];全国第十届企业信息化与工业工程学术年会论文集[C];2006年
中国博士学位论文全文数据库 前3条
1 杨红丽;XML家族语言语义研究[D];西北大学;2003年
2 侯金奎;支持模型驱动开发的体系结构形式化语义与转换一致性研究[D];山东大学;2008年
3 蒋涛;增量式软件产品线关键技术研究[D];浙江大学;2009年
中国硕士学位论文全文数据库 前7条
1 陈武;UML状态机的形式化语义研究[D];西南师范大学;2004年
2 赵红彬;基于事件的Verilog结构化操作语义[D];兰州大学;2007年
3 崔文凯;基于UML的ATR信息处理系统建模研究[D];国防科学技术大学;2008年
4 邵飞;基于概率进程演算的安全协议自动化分析技术研究[D];中南民族大学;2011年
5 李思祺;参数化进程网络的形式化语义研究[D];华东师范大学;2016年
6 丁冲;基于MDA的服务编制方法研究[D];东北师范大学;2014年
7 徐佳琪;适用于ICONIX过程的UML图有色Petri网建模技术[D];吉林大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978