基于B-Method的XML语义分析与描述
| 摘要 | 第1-4页 |
| ABSTRACT | 第4-5页 |
| 目录 | 第5-8页 |
| 第1章 引言 | 第8-11页 |
| 1．1 研究背景 | 第8-10页 |
| 1．1．1 XML技术的发展 | 第8-9页 |
| 1．1．2 XML技术面临的问题 | 第9页 |
| 1．1．3 XML技术的相关研究 | 第9-10页 |
| 1．2 本文的工作和内容组织 | 第10-11页 |
| 第2章 相关的技术和理论 | 第11-25页 |
| 2．1 XML技术 | 第11-17页 |
| 2．1．1 XML Infoset | 第11页 |
| 2．1．2 XML Schema | 第11-13页 |
| 2．1．3 XPath | 第13-14页 |
| 2．1．4 XSLT | 第14-17页 |
| 2．1．5 其它技术及依赖性分析 | 第17页 |
| 2．2 B-METHOD | 第17-25页 |
| 2．2．1 形式化方法 | 第17-18页 |
| 2．2．2 B-Method及其理论基础 | 第18-20页 |
| 2．2．3 AMN | 第20-22页 |
| 2．2．4 AMN的结构化机制 | 第22-23页 |
| 2．2．5 B-Method语义分析的优势 | 第23-25页 |
| 第3章 XML基础构件的B-METHOD描述 | 第25-47页 |
| 3．1 概论 | 第25-26页 |
| 3．1．1 数据模型、数据类型和表达式 | 第25-26页 |
| 3．1．2 基础构件描述的一些说明 | 第26页 |
| 3．2 基础构件的数据类型 | 第26-30页 |
| 3．2．1 基本集合 | 第26-27页 |
| 3．2．2 联合类型和列表类型 | 第27-28页 |
| 3．2．3 派生类型 | 第28-30页 |
| 3．3 基础构件的数据模型 | 第30-34页 |
| 3．3．1 XML文档数据模型 | 第30-31页 |
| 3．3．2 数据模型的B-Method描述 | 第31-34页 |
| 3．4 基础构件的表达式 | 第34-47页 |
| 3．4．1 基本集合 | 第34-35页 |
| 3．4．2 基本表达式 | 第35-38页 |
| 3．4．3 路径表达式 | 第38-41页 |
| 3．4．4 逻辑表达式 | 第41页 |
| 3．4．5 比较表达式 | 第41-45页 |
| 3．4．6 算术表达式 | 第45-47页 |
| 第4章 XSLT的B-METHOD描述 | 第47-65页 |
| 4．1 概论 | 第47-48页 |
| 4．1．1 XSLT与基础构件的关系 | 第47页 |
| 4．1．2 XSLT的描述的一些说明 | 第47-48页 |
| 4．2 重用基础构件 | 第48-51页 |
| 4．2．1 模式的描述 | 第48-49页 |
| 4．2．2 变量与参数 | 第49-51页 |
| 4．3 样式单和模板 | 第51-53页 |
| 4．3．1 样式表的描述 | 第51-52页 |
| 4．3．2 模板的描述 | 第52-53页 |
| 4．4 指令的描述 | 第53-65页 |
| 4．4．1 基本集合 | 第53-55页 |
| 4．4．2 简单指令 | 第55-57页 |
| 4．4．3 创建指令 | 第57-60页 |
| 4．4．4 条件指令 | 第60-61页 |
| 4．4．5 重复指令 | 第61-62页 |
| 4．4．6 模板指令 | 第62-65页 |
| 第5章 总结 | 第65-66页 |
| 5．1 本文的工作 | 第65页 |
| 5．2 进一步的工作 | 第65-66页 |
| 致谢 | 第66-67页 |
| 参考文献 | 第67-71页 |
| 攻读硕士期间发表论文目录 | 第71-72页 |
| 附录1：本论文用到的数学符号 | 第72-74页 |
| 附录2：XPATH辅助对象 | 第74-78页 |
| 附录3：XSLT辅助对象 | 第78-81页 |
