基于场景的系统行为建模和组合研究
| 摘要 | 第1-8页 |
| Abstract | 第8-15页 |
| 第1章 绪论 | 第15-27页 |
| ·研究背景和意义 | 第15-18页 |
| ·相关研究综述 | 第18-21页 |
| ·主要研究内容 | 第21-25页 |
| ·论文组织结构 | 第25-27页 |
| 第2章 相关背景知识和形式化方法基础 | 第27-44页 |
| ·场景的基本概念 | 第27-31页 |
| ·场景 | 第27-28页 |
| ·场景分类 | 第28-29页 |
| ·场景应用 | 第29-31页 |
| ·场景建模语言MSC | 第31-35页 |
| ·MSC 语言 | 第31-33页 |
| ·MSC 语法 | 第33-34页 |
| ·MSC 语义 | 第34-35页 |
| ·形式化方法基础 | 第35-43页 |
| ·确定有限自动机DFA | 第35-37页 |
| ·标号迁移系统LTS | 第37-39页 |
| ·模态迁移系统MTS | 第39页 |
| ·范畴论方法 | 第39-43页 |
| ·本章小结 | 第43-44页 |
| 第3章 场景及其组合的抽象语义描述 | 第44-62页 |
| ·引言 | 第44-45页 |
| ·场景的抽象 | 第45-49页 |
| ·事件结构 | 第45-46页 |
| ·时间模型 | 第46-47页 |
| ·事件轨迹 | 第47-49页 |
| ·行为的表示框架 | 第49-53页 |
| ·行为范畴 | 第49-50页 |
| ·行为模型的泛构造 | 第50-53页 |
| ·场景组合的抽象语义 | 第53-58页 |
| ·图表的运算 | 第54-55页 |
| ·基于函子的构造 | 第55-56页 |
| ·场景组合的语义模型 | 第56-58页 |
| ·场景样本的结构分析 | 第58-60页 |
| ·样本结构的完整性 | 第58-59页 |
| ·样本行为的构造性 | 第59-60页 |
| ·本章小结 | 第60-62页 |
| 第4章 基于场景的系统行为建模 | 第62-78页 |
| ·引言 | 第62-63页 |
| ·场景及其规约 | 第63-64页 |
| ·前缀树接受器 | 第64-68页 |
| ·场景正样本 | 第64-66页 |
| ·前缀树接受器 | 第66-68页 |
| ·系统行为建模 | 第68-72页 |
| ·合并PTA(S+)状态算法 | 第69-70页 |
| ·示例说明 | 第70-72页 |
| ·系统构件的实现框架 | 第72-75页 |
| ·全局LTS 映射到局部LTS | 第72-73页 |
| ·局部LTS 的实现框架 | 第73-75页 |
| ·建模方案概述 | 第75-76页 |
| ·本章小结 | 第76-78页 |
| 第5章 LTS 行为模型中状态的修饰 | 第78-86页 |
| ·引言 | 第78-79页 |
| ·流体概念 | 第79-81页 |
| ·流体定义 | 第79-80页 |
| ·状态不变式 | 第80-81页 |
| ·状态不变式的LTS 修饰 | 第81-85页 |
| ·产生状态不变式 | 第81-83页 |
| ·由流体产生状态不变式的LTS 修饰算法 | 第83-85页 |
| ·本章小结 | 第85-86页 |
| 第6章 不确定行为的合并与精化 | 第86-98页 |
| ·引言 | 第86-87页 |
| ·背景知识 | 第87-92页 |
| ·合并与精化 | 第92-97页 |
| ·现有算法的局限性 | 第92页 |
| ·改进的合并算法 | 第92-95页 |
| ·实例分析 | 第95-97页 |
| ·本章小结 | 第97-98页 |
| 第7章 系统构件的可组合性研究 | 第98-111页 |
| ·引言 | 第98-99页 |
| ·构件进程 | 第99-101页 |
| ·构件规约 | 第101-103页 |
| ·构件标识 | 第101-102页 |
| ·构件规约 | 第102-103页 |
| ·构件的可组合性分析 | 第103-110页 |
| ·规约的组合精化 | 第104-106页 |
| ·行为的协调组合 | 第106-107页 |
| ·组合性分析 | 第107-110页 |
| ·本章小结 | 第110-111页 |
| 第8章 结束语 | 第111-114页 |
| ·工作总结 | 第111-112页 |
| ·进一步研究 | 第112-114页 |
| 参考文献 | 第114-123页 |
| 作者在攻读博士学位期间发表的论文 | 第123-124页 |
| 作者在攻读博士学位期间参与的科研项目 | 第124-125页 |
| 致谢 | 第125-126页 |
