ICE-CSS: 基于交互的复杂软件系统合成演化方法
| 第一章 引论 | 第1-36页 |
| 1．1 复杂软件与系统工程 | 第13-19页 |
| 1．1．1 系统工程的观点 | 第13-15页 |
| 1．1．2 复杂系统的特征 | 第15-16页 |
| 1．1．3 体系结构的作用 | 第16-19页 |
| 1．2 背景和现状 | 第19-31页 |
| 1．2．1 相关研究努力 | 第19-23页 |
| 1．2．2 软件合成特性 | 第23-28页 |
| 1．2．3 体系结构描述 | 第28-31页 |
| 1．3 努力的方向 | 第31-33页 |
| 1．3．1 相关研究分析 | 第32-33页 |
| 1．3．2 探索新的途径 | 第33页 |
| 1．4 主要研究内容 | 第33-34页 |
| 1．5 论文组织结构 | 第34-36页 |
| 第二章 ICE-CSS的开发方法 | 第36-51页 |
| 2．1 ICE-CSS的过程 | 第36-41页 |
| 2．1．1 层次分解 | 第37-38页 |
| 2．1．2 分类交互 | 第38-39页 |
| 2．1．3 合成模式 | 第39-41页 |
| 2．2 体系结构的视图 | 第41-42页 |
| 2．2．1 功能体系结构 | 第42页 |
| 2．2．2 技术体系结构 | 第42页 |
| 2．2．3 物理体系结构 | 第42页 |
| 2．3 体系结构的模型 | 第42-48页 |
| 2．3．1 交互行为模型 | 第43-44页 |
| 2．3．2 合成结构模型 | 第44-46页 |
| 2．3．3 演化系统模型 | 第46-48页 |
| 2．4 主动规约与深化求精 | 第48-49页 |
| 2．5 本章小结 | 第49-51页 |
| 第三章 ICE-CSS形式化描述 | 第51-66页 |
| 3．1 体系结构的元素 | 第51-54页 |
| 3．1．1 功能部件 | 第51-52页 |
| 3．1．2 交互合成器 | 第52-53页 |
| 3．1．3 合成配置结构 | 第53-54页 |
| 3．2 交互风格与可合成性 | 第54-58页 |
| 3．2．1 接口的规格说明 | 第54-56页 |
| 3．2．2 交互的限定风格 | 第56-57页 |
| 3．2．3 合法性检查 | 第57-58页 |
| 3．3 操作的形式语义 | 第58-62页 |
| 3．3．1 形式化并发特性 | 第58-60页 |
| 3．3．2 通信的同步会合 | 第60-61页 |
| 3．3．3 异步控制的转移 | 第61-62页 |
| 3．4 泛化的类型元素 | 第62-65页 |
| 3．4．1 常量的参数化 | 第63页 |
| 3．4．2 类型的参数化 | 第63-64页 |
| 3．4．3 处理的参数化 | 第64-65页 |
| 3．5 本章小结 | 第65-66页 |
| 第四章 ICE-CSS的交互设施 | 第66-92页 |
| 4．1 统一的对象模型 | 第66-71页 |
| 4．1．1 变量型对象 | 第66-67页 |
| 4．1．2 单元型对象 | 第67-68页 |
| 4．1．3 并发型对象 | 第68页 |
| 4．1．4 面向对象范型 | 第68-71页 |
| 4．2 隐式调用的合成构架 | 第71-78页 |
| 4．2．1 隐式调用的交互风格 | 第72-73页 |
| 4．2．2 事件监听的结构模型 | 第73-74页 |
| 4．2．3 发布-监听的协同作用 | 第74-75页 |
| 4．2．4 合成构架的演化设计 | 第75-78页 |
| 4．3 管道过滤的合成构架 | 第78-83页 |
| 4．3．1 数据流及其交互风格 | 第78-79页 |
| 4．3．2 管道过滤的结构模型 | 第79-80页 |
| 4．3．3 流出-流入的协同作用 | 第80-81页 |
| 4．3．4 合成构架的演化设计 | 第81-83页 |
| 4．4 交互分布式合成构架 | 第83-91页 |
| 4．4．1 分布操作的交互风格 | 第84-85页 |
| 4．4．2 互操作及其结构模型 | 第85-86页 |
| 4．4．3 请求-应答的协同作用 | 第86-88页 |
| 4．4．4 合成构架的演化设计 | 第88-91页 |
| 4．5 本章小结 | 第91-92页 |
| 第五章 ICE-CSS的合成模式 | 第92-110页 |
| 5．1 合成模式的概念 | 第92-96页 |
| 5．1．1 合成模式的作用 | 第92-93页 |
| 5．1．2 复用的合成框架 | 第93-94页 |
| 5．1．3 部件的层次特性 | 第94-95页 |
| 5．1．4 合成模式的分类 | 第95-96页 |
| 5．2 合成模式的特性 | 第96-99页 |
| 5．2．1 合成的交互风格 | 第96-97页 |
| 5．2．2 合成的协同作用 | 第97页 |
| 5．2．3 合成的通信协议 | 第97-98页 |
| 5．2．4 泛化的部件残角 | 第98-99页 |
| 5．3 合成模式的描述 | 第99-103页 |
| 5．3．1 模式定义与演化 | 第99-100页 |
| 5．3．2 模式的实例研究 | 第100-101页 |
| 5．3．3 合成的配置结构 | 第101-102页 |
| 5．3．4 基于Ada的转换 | 第102-103页 |
| 5．4 典型的合成模式 | 第103-109页 |
| 5．4．1 服务请求模式 | 第103-104页 |
| 5．4．2 公告理解模式 | 第104-105页 |
| 5．4．3 管道过滤模式 | 第105-106页 |
| 5．4．4 知识解释模式 | 第106-107页 |
| 5．4．5 分布操作模式 | 第107-109页 |
| 5．5 本章小结 | 第109-110页 |
| 第六章 ICE-CSS的演化设计 | 第110-149页 |
| 6．1三 级设计层次 | 第111-126页 |
| 6．1．1 体系结构层 | 第111-116页 |
| 6．1．2 代码设计层 | 第116-122页 |
| 6．1．3 运行支撑层 | 第122-126页 |
| 6．2三 重结构视图 | 第126-129页 |
| 6．2．1 功能体系结构 | 第127-128页 |
| 6．2．2 技术体系结构 | 第128-129页 |
| 6．2．3 物理体系结构 | 第129页 |
| 6．3三 套结构模型 | 第129-140页 |
| 6．3．1 交互行为的建模 | 第129-133页 |
| 6．3．2 合成结构的建模 | 第133-138页 |
| 6．3．3 演化系统的建模 | 第138-140页 |
| 6．4三 种演化途径 | 第140-148页 |
| 6．4．1 模型转换 | 第140-142页 |
| 6．4．2 模式复合 | 第142-144页 |
| 6．4．3 演化关系 | 第144-148页 |
| 6．5 本章小结 | 第148-149页 |
| 第七章 ICE-CSS的实例研究 | 第149-166页 |
| 7．1 DAMOS应用背景 | 第149-152页 |
| 7．1．1 网络中心作战要求 | 第149-151页 |
| 7．1．2 导调监控系统功能 | 第151-152页 |
| 7．1．3 文—图互操作模型 | 第152页 |
| 7．2 DAMOS交互行为 | 第152-157页 |
| 7．2．1 顶层交互行为模型 | 第153-155页 |
| 7．2．2一 级交互行为模型 | 第155-156页 |
| 7．2．3二 级交互行为模型 | 第156-157页 |
| 7．3 DAMOS合成结构 | 第157-161页 |
| 7．3．1 分布式合成结构 | 第157-158页 |
| 7．3．2 松散式合成结构 | 第158-159页 |
| 7．3．3 互操作信息结构 | 第159-161页 |
| 7．4 DAMOS系统演化 | 第161-165页 |
| 7．4．1 分布式互操作 | 第161-162页 |
| 7．4．2 文电处置求精 | 第162-163页 |
| 7．4．3 态势处置求精 | 第163-165页 |
| 7．5 本章小结 | 第165-166页 |
| 第八章 ICE-CSS的辅助工具 | 第166-174页 |
| 8．1 SOCASS原型概述 | 第166-168页 |
| 8．2 体系结构建模工具 | 第168-169页 |
| 8．3 模式库的维护工具 | 第169-172页 |
| 8．4 应用系统生成工具 | 第172-173页 |
| 8．5 本章小结 | 第173-174页 |
| 第九章 总结 | 第174-181页 |
| 9．1 主要研究成果及创新点 | 第174-177页 |
| 9．2 相关工作分析与比较 | 第177-179页 |
| 9．3 主要问题和今后工作 | 第179-181页 |
| 参考文献 | 第181-185页 |
| 附应用工程的鉴定意见 | 第185-187页 |
| 作者近期撰写发表的论文 | 第187页 |
| 作者近期出版的学术著作 | 第187页 |
| 作者近期撰写的研究报告 | 第187-188页 |
| 致谢 | 第188页 |
