| 摘要 | 第1-7页 |
| Abstract | 第7-13页 |
| 图目录 | 第13-16页 |
| 表目录 | 第16-17页 |
| 前言 | 第17-23页 |
| 1. 选题背景 | 第17页 |
| 2. 国内外研究现状 | 第17-18页 |
| 3. 研究的问题 | 第18-19页 |
| 4. 研究的意义 | 第19-20页 |
| 5. 研究的方法 | 第20-21页 |
| 6. 论文框架 | 第21-23页 |
| 第一章 协同学习的元模型与平台技术 | 第23-44页 |
| 第一节 协同学习的元模型 | 第23-26页 |
| 一、协同学习的一些相关概念名词 | 第23-25页 |
| 二、协同学习的元模型 | 第25-26页 |
| 第二节 协同学习的心理学(建构主义)和技术背景 | 第26-33页 |
| 一、社会认知 | 第27-28页 |
| 二、建构主义的学习观 | 第28-31页 |
| 三、计算机在教学中的应用以及与建构主义的关系 | 第31-33页 |
| 第三节 协同学习信息场与平台技术 | 第33-44页 |
| 一、协同学习信息场的隐喻与早期实践 | 第33-39页 |
| 二、协同学习技术应用的一些反思 | 第39-42页 |
| 三、平台技术对信息场的支持 | 第42-44页 |
| 第二章 协同学习平台一般模式与基本特性的研究 | 第44-53页 |
| 第一节 协同学习平台一般模式的探索(TacticalMap项目) | 第44-50页 |
| 一、目标设定 | 第44-46页 |
| 二、系统的设计 | 第46页 |
| 三、系统的开发 | 第46-47页 |
| 四、实施情况 | 第47-50页 |
| 第二节 消息技术应具备的属性 | 第50-51页 |
| 第三节 消息传递模式与系统行为等价性 | 第51-53页 |
| 一、二元消息传递模式 | 第51-52页 |
| 二、外部行为决定系统的类型:消息序列的等价“定理” | 第52-53页 |
| 第三章 消息技术与面向对象设计的结合 | 第53-69页 |
| 第一节 OOP设计的抽象化与UML标记 | 第53-65页 |
| 一、程序代码的抽象程度与被描述对象粒度的一致性 | 第53-54页 |
| 二、创建自定义数据类型 | 第54-55页 |
| 三、面向对象的抽象方法 | 第55-62页 |
| 四、面向对象设计的优化 | 第62-65页 |
| 第二节 消息技术的OOP设计模式 | 第65-66页 |
| 一、消息技术的“桥”模式 | 第65页 |
| 二、抽象类型的交集:接口类型 | 第65-66页 |
| 第三节 从OOP到SOA | 第66-69页 |
| 第四章 SOA系统整合的实践研究 | 第69-92页 |
| 第一节 基于Word的异步标注系统 | 第69-87页 |
| 一、标注功能的实现 | 第70-81页 |
| 二、系统要素的划分与组合 | 第81-83页 |
| 三、系统的实现 | 第83-86页 |
| 四、实测情况 | 第86-87页 |
| 第二节 教育技术实验示范中心实验管理平台的整合 | 第87-90页 |
| 一、背景 | 第87-88页 |
| 二、需求和问题 | 第88-89页 |
| 三、问题的解决 | 第89-90页 |
| 本章小结 | 第90-92页 |
| 第五章 协同学习平台并发性的研究 | 第92-122页 |
| 第一节 并发性的发现 | 第92-96页 |
| 一、异步协同标注系统的并发案例 | 第93-94页 |
| 二、并发案例的抽象表示 | 第94-95页 |
| 三、静态组合VS动态组合 | 第95-96页 |
| 第二节 并发性的计算 | 第96-104页 |
| 一、pi-演算综述 | 第96-101页 |
| 二、pi-演算对分布式服务调用的描述 | 第101页 |
| 三、基于pi-演算的整合结构变换函数 | 第101-102页 |
| 四、进程代数 | 第102-104页 |
| 第三节 并发性的实现 | 第104-120页 |
| 一、关于pi-Calculus作为通用编程语言的研究 | 第105-110页 |
| 二、基于消息语言的领域编程 | 第110-120页 |
| 本章小结 | 第120-122页 |
| 第六章 协同学习平台技术的其它方面 | 第122-148页 |
| 第一节协同学习平台的工作流编列 | 第122-135页 |
| 一、编列的必要性和人类工作流的特点 | 第122-123页 |
| 二、工作流编列的应用模式 | 第123-125页 |
| 三、工作流编列的实用模型 | 第125-126页 |
| 四、编列语言的形式理论 | 第126-135页 |
| 第二节 协同学习平台的数据分析技术 | 第135-136页 |
| 一、数据分析服务构架 | 第135-136页 |
| 二、标注的维度数据库 | 第136页 |
| 第三节 以用户为中心的测试方案设计 | 第136-141页 |
| 一、测试的构成要素 | 第137-139页 |
| 二、测试工具的制作 | 第139-141页 |
| 三、测试工具的使用 | 第141页 |
| 第四节 基于软件工厂模式的协同学习平台技术架构 | 第141-148页 |
| 一、软件工厂的理念 | 第141-146页 |
| 二、协同学习平台技术构架 | 第146-148页 |
| 结语 | 第148-152页 |
| 附录 | 第152-153页 |
| 参考文献 | 第153-159页 |
| 后记 | 第159页 |
