一种需求驱动、以体系结构为视图的面向软件动态演化的模型与方法
| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 目录 | 第8-12页 |
| 第1章 绪论 | 第12-24页 |
| ·研究背景 | 第12-14页 |
| ·新形势下的软件自动化 | 第12-13页 |
| ·软件发展构件化 | 第13-14页 |
| ·软件演化动态化 | 第14页 |
| ·动因 | 第14-18页 |
| ·动态演化而临的“挑战” | 第15-16页 |
| ·现有的典型研究成果的应对方法与不足 | 第16-17页 |
| ·针对动态演化本文的若干重要观点 | 第17-18页 |
| ·本文拟提出的应对之道 | 第18-21页 |
| ·以需求模型为驱动 | 第19页 |
| ·以体系结构模型为视图 | 第19页 |
| ·以行为管程为支撑 | 第19-20页 |
| ·以解决动态演化面临的挑战为导向 | 第20页 |
| ·以具有严格数学基础的形式化方法为基石 | 第20-21页 |
| ·研究意义 | 第21页 |
| ·理论意义 | 第21页 |
| ·实际意义 | 第21页 |
| ·创新点 | 第21-22页 |
| ·论文组织结构及其关系 | 第22-24页 |
| ·组织结构 | 第22-23页 |
| ·各章之间的关系 | 第23-24页 |
| 第2章 相关工作和研究基础综述 | 第24-42页 |
| ·引言 | 第24页 |
| ·软件演化综述 | 第24-28页 |
| ·软件演化的概念 | 第24-25页 |
| ·软件演化的分类 | 第25-26页 |
| ·静态演化 | 第26-27页 |
| ·动态演化 | 第27-28页 |
| ·软件需求建模综述 | 第28-29页 |
| ·需求建模概述 | 第28-29页 |
| ·面向特征的需求建模方法 | 第29页 |
| ·软件体系结构综述 | 第29-35页 |
| ·体系结构的概念 | 第29-31页 |
| ·非形式化的体系结构建模 | 第31-33页 |
| ·形式化的体系结构建模 | 第33-35页 |
| ·进程代数 | 第35-38页 |
| ·Petri网 | 第38-41页 |
| ·小结 | 第41-42页 |
| 第3章 面向动态演化的需求建模 | 第42-60页 |
| ·引言 | 第42页 |
| ·面向动态演化的需求建模要求 | 第42-43页 |
| ·面向动态演化的需求元模型的设计思路 | 第43-44页 |
| ·面向动态演化的需求元模型的框架 | 第44-45页 |
| ·面向动态演化的行为特征建模 | 第45-54页 |
| ·计算行为特征 | 第46-48页 |
| ·交互行为特征 | 第48-51页 |
| ·行为特征 | 第51-52页 |
| ·行为特征元模型的操作语义 | 第52-54页 |
| ·面向动态演化的属性特征建模 | 第54-57页 |
| ·属性特征 | 第54-56页 |
| ·面向动态演化建模的一个重要属性特征 | 第56-57页 |
| ·面向动态演化的需求模型 | 第57-58页 |
| ·需求元模型对需求建模要求的支持 | 第58页 |
| ·小结 | 第58-60页 |
| 第4章 面向动态演化需求模型的规范化 | 第60-82页 |
| ·引言 | 第60页 |
| ·行为特征模型的规范化 | 第60-70页 |
| ·行为特征规范化的要求 | 第60-61页 |
| ·行为特征的规范形 | 第61-65页 |
| ·行为特征元模型的公理系统 | 第65-68页 |
| ·行为特征可规范化的完备性定理 | 第68-70页 |
| ·属性特征模型的规范化 | 第70-80页 |
| ·属性特征模型规范化的要求 | 第70-71页 |
| ·需求模型的参照完整性 | 第71页 |
| ·需求模型的依赖一致性 | 第71-72页 |
| ·需求模型的互斥一致性 | 第72-73页 |
| ·属性特征模型范式 | 第73-80页 |
| ·小结 | 第80-82页 |
| 第5章 面向动态演化的体系结构建模 | 第82-102页 |
| ·引言 | 第82-83页 |
| ·面向动态演化的体系结构建模要求 | 第83页 |
| ·面向动态演化的体系结构元模型的设计思路 | 第83-84页 |
| ·面向动态演化的体系结构元模型的框架 | 第84-85页 |
| ·静态视图建模 | 第85-93页 |
| ·构件Petri网结构 | 第85-87页 |
| ·构件 | 第87-90页 |
| ·连接件 | 第90-93页 |
| ·动态视图建模 | 第93-96页 |
| ·动态构件系统 | 第94-95页 |
| ·动态体系结构 | 第95-96页 |
| ·动态演化建模 | 第96-99页 |
| ·构件的结构演化 | 第96-97页 |
| ·连接件的添加、删除 | 第97-98页 |
| ·构件的替换、添加和删除 | 第98-99页 |
| ·体系结构元模型对建模要求的支持 | 第99-100页 |
| ·小结 | 第100-102页 |
| 第6章 从需求模型到体系结构模型的变换 | 第102-118页 |
| ·引言 | 第102-103页 |
| ·模型变换的依据 | 第103-104页 |
| ·两类最基本特征的变换 | 第104-106页 |
| ·原子计算行为特征的变换 | 第104-105页 |
| ·主动特征和被动特征的变换 | 第105-106页 |
| ·组合和复合的变换 | 第106-110页 |
| ·顺序组合的变换 | 第106-108页 |
| ·选择组合的变换 | 第108-109页 |
| ·迭代组合的变换 | 第109页 |
| ·并行复合的变换 | 第109-110页 |
| ·变换中的抽象与细化 | 第110-112页 |
| ·抽象 | 第111页 |
| ·细化 | 第111-112页 |
| ·变换得到的体系结构模型的结构性质要求 | 第112-115页 |
| ·构件的结构性质要求 | 第113-114页 |
| ·体系结构的结构性质要求 | 第114-115页 |
| ·小结 | 第115-118页 |
| 第7章 面向动态演化的行为管程 | 第118-136页 |
| ·引言 | 第118-119页 |
| ·行为管程概述 | 第119-122页 |
| ·行为管程的概念 | 第119-120页 |
| ·行为管程在动态演化实施中所处的位置 | 第120-122页 |
| ·行为管程的管理职能 | 第122-125页 |
| ·行为管程的托肯管理 | 第122-123页 |
| ·行为管程的库所管理 | 第123-125页 |
| ·行为管程的变迁管理 | 第125页 |
| ·行为管程的监控职能 | 第125-129页 |
| ·行为管程的监视职能 | 第126-127页 |
| ·行为管程的控制职能 | 第127-129页 |
| ·行为管程的演化职能 | 第129-135页 |
| ·驱动构件进入静止管理态 | 第129-130页 |
| ·驱动构件进入活动管理态 | 第130-131页 |
| ·连接件添加操作 | 第131-132页 |
| ·连接件删除操作 | 第132-133页 |
| ·构件添加操作 | 第133-134页 |
| ·构件删除操作 | 第134-135页 |
| ·小结 | 第135-136页 |
| 第8章 面向动态演化的构件之间相关性分析 | 第136-164页 |
| ·引言 | 第136-137页 |
| ·相关性分析分类 | 第137页 |
| ·构件之间的结构相关性分析 | 第137-148页 |
| ·基本结构相关性 | 第138-145页 |
| ·复合结构相关性 | 第145-148页 |
| ·构件之间的行为关系及其相关性分析 | 第148-163页 |
| ·结构相关性对行为相关性的作用 | 第149-153页 |
| ·行为相关性的部分传递性处理 | 第153-159页 |
| ·构件行为相关性分析 | 第159-163页 |
| ·小结 | 第163-164页 |
| 第9章 动态演化实施的一致性保持 | 第164-180页 |
| ·引言 | 第164-165页 |
| ·一致性的定义 | 第165页 |
| ·构件状态迁移 | 第165-168页 |
| ·构件的状态保存 | 第166页 |
| ·基于库所映射方案的托肯更新 | 第166-168页 |
| ·构件的状态恢复 | 第168页 |
| ·构件的行为空间和行为图 | 第168-171页 |
| ·构件的行为空间 | 第169-170页 |
| ·构件的行为图 | 第170-171页 |
| ·一致性保持 | 第171-179页 |
| ·构件的内部一致性保持 | 第171-174页 |
| ·构件的外部一致性保持 | 第174-179页 |
| ·小结 | 第179-180页 |
| 第10章 案例研究 | 第180-198页 |
| ·引言 | 第180页 |
| ·面向动态演化的需求建模 | 第180-185页 |
| ·行为特征建模 | 第180-182页 |
| ·属性特征建模 | 第182-184页 |
| ·需求模型及其规范化 | 第184-185页 |
| ·面向动态演化的体系结构建模 | 第185-189页 |
| ·体系结构建模 | 第185-187页 |
| ·构件建模 | 第187-189页 |
| ·动态演化实施分析 | 第189-197页 |
| ·相关性分析 | 第190-193页 |
| ·一致性保持 | 第193-197页 |
| ·小结 | 第197-198页 |
| 第11章 工作总结与展望 | 第198-206页 |
| ·工作总结 | 第198-203页 |
| ·未来工作展望 | 第203-206页 |
| 参考文献 | 第206-210页 |
| 攻读博士学位期间主持和参与的课题 | 第210-212页 |
| 攻读博士学位期间的主要成果 | 第212-216页 |
| 1. 以第一作者身份发表和录用的学术论文 | 第212-213页 |
| 2. 以合作者身份发表和录用的学术论文 | 第213-214页 |
| 3. 攻读博士学位期间获得的奖励 | 第214-216页 |
| 致谢 | 第216-217页 |
