| 1 引言 | 第1-14页 |
| ·研究背景 | 第10-12页 |
| ·XML技术发展 | 第10-11页 |
| ·面临的挑战 | 第11页 |
| ·相关研究 | 第11-12页 |
| ·本文的工作 | 第12页 |
| ·本文的组织和内容安排 | 第12-14页 |
| 2 形式化语义及规范语言 | 第14-22页 |
| ·形式化方法 | 第14-16页 |
| ·形式化规范 | 第14-15页 |
| ·形式化证明 | 第15-16页 |
| ·形式化语义 | 第16页 |
| ·规范语言Z和Object-Z | 第16-21页 |
| ·Z语言 | 第16-18页 |
| ·Object-Z语言 | 第18页 |
| ·类 | 第18-19页 |
| ·继承 | 第19页 |
| ·操作模式(Schema) | 第19-21页 |
| ·小结 | 第21-22页 |
| 3 XML家族语言介绍 | 第22-32页 |
| ·XML Schema语言 | 第22-24页 |
| ·XPath语言 | 第24-26页 |
| ·XSLT转换语言 | 第26-28页 |
| ·XQuery查询语言 | 第28-29页 |
| ·语言相互依赖性分析 | 第29-30页 |
| ·小结 | 第30-32页 |
| 4 XML家族通用语义构件 | 第32-54页 |
| ·XML Schema数据类型 | 第32-34页 |
| ·相关研究及其比较 | 第34页 |
| ·XML文档数据模型 | 第34-37页 |
| ·数据模型介绍 | 第34-35页 |
| ·数据模型建模 | 第35-37页 |
| ·XPath表达式 | 第37-48页 |
| ·表达式语义 | 第37-48页 |
| ·相关研究及比较 | 第48页 |
| ·小结 | 第48-50页 |
| ·附录:辅助函数 | 第50-54页 |
| 5 XSLT语言的形式化语义 | 第54-68页 |
| ·面向对象的语义描述 | 第54-65页 |
| ·重用语义构件 | 第54-55页 |
| ·指令(Instructions) | 第55-62页 |
| ·模板(Templates)和样式单(Stylesheets) | 第62-65页 |
| ·相关研究及比较 | 第65页 |
| ·小结 | 第65页 |
| ·附录:辅助函数 | 第65-68页 |
| 6 XQuery语言的形式化语义 | 第68-80页 |
| ·面向对象的语义描述 | 第68-76页 |
| ·重用的表达式 | 第68-69页 |
| ·typeswitch表达式 | 第69-70页 |
| ·FLWR表达式 | 第70-72页 |
| ·构造器 | 第72-76页 |
| ·相关研究及比较 | 第76-78页 |
| ·相关研究 | 第76页 |
| ·XQuery与XSLT的比较 | 第76-78页 |
| ·小结 | 第78-80页 |
| 7 形式化开发XWalk编程语言 | 第80-106页 |
| ·开发背景 | 第80-81页 |
| ·XWalk的形式化语义 | 第81-89页 |
| ·操作的语义 | 第81-85页 |
| ·语句的语义 | 第85-87页 |
| ·过程和程序的语义 | 第87-89页 |
| ·XWalk的语法表示 | 第89-92页 |
| ·过程和程序元素 | 第89页 |
| ·语句元素 | 第89-91页 |
| ·操作元素 | 第91-92页 |
| ·XWalk的应用编程 | 第92-96页 |
| ·VISA票单文档 | 第92-94页 |
| ·票单Schema文档 | 第94页 |
| ·预处理文档 | 第94-96页 |
| ·XWalk处理程序 | 第96页 |
| ·XWalk到Java的转换 | 第96-103页 |
| ·DOM接口 | 第98-100页 |
| ·Java应用程序 | 第100-101页 |
| ·转换规则 | 第101-103页 |
| ·小结 | 第103页 |
| ·附录:辅助函数 | 第103-106页 |
| 8 总结 | 第106-116页 |
| ·本文的工作 | 第106页 |
| ·进一步的工作 | 第106-116页 |