模型驱动的软件动态演化过程与方法

第一章绪论第一节研究背景一、新形势下的软件自动化二、软件发展构件化三、软件演化动态化第二节研究动因一、动态演化面临的“挑战”二、现有的典型研究成果的应对方法与不足第三节拟提出的应对之道一、以需求模型为驱动二、以体系结构模型为视图三、以行为管程为支撑四、以解决动态演化面临的挑战为导向五、以具有严格数学基础的形式化方法为基石第四节研究意义和创新点一、理论意义二、实际意义三、创新点第五节全书组织结构及其内部关系一、组织结构二、各章之间的关系第二章相关研究综述第一节软件演化综述一、软件演化的概念二、软件演化的分类三、静态演化四、动态演化第二节软件需求建模综述一、需求建模概述二、面向特征的需求建模方法第三节软件体系结构综述一、体系结构的概念二、非形式化的体系结构建模三、形式化的体系结构建模第四节进程代数第五节Petri网第六节综述小结第三章面向动态演化的需求建模第一节面向动态演化需求建模的思路与框架一、面向动态演化的需求元模型的设计思路二、面向动态演化的需求元模型的框架第二节面向动态演化的行为特征建模一、计算行为特征二、交互行为特征三、行为特征四、行为特征元模型的操作语义第三节从面向动态演化的属性特征建模一、属性特征二、面向动态演化建模的一个重要属性特征第四节面向动态演化的需求模型一、需求元模型对需求建模要求的支持二、需求模型小结第四章面向动态演化需求模型的规范化第一节行为特征模型的规范化一、行为特征规范化的要求二、行为特征的规范形三、行为特征元模型的公理系统四、行为特征可规范化的完备性定理第二节属性特征模型的规范化一、属性特征模型规范化的要求二、需求模型的参照完整性三、需求模型的依赖一致性四、需求模型的互斥一致性五、属性特征模型范式六、小结第五章面向动态演化的体系结构建模第一节面向动态演化体系结构建模的思路与框架一、面向动态演化的体系结构元模型的设计思路二、面向动态演化的体系结构元模型的框架第二节静态视图建模一、构件Petri网结构二、构件三、连接件第三节动态视图建模一、动态构件系统二、动态体系结构第四节动态演化建模一、构件的结构演化二、连接件的添加、删除三、构件的替换、添加和删除四、体系结构元模型对建模要求的支持五、小结第六章从需求模型到体系结构模型的变换第一节基本变换一、原子计算行为特征的变换二、主动特征和被动特征的变换第二节组合和复合的变换一、顺序组合的变换二、选择组合的变换三、迭代组合的变换四、并行复合的变换第三节变换中的抽象与细化一、抽象二、细化第四节变换得到的体系结构模型的结构性质要求一、构件的结构性质要求二、体系结构的结构性质要求三、小结第七章面向动态演化的行为管程第一节行为管程概述一、行为管程的概念二、行为管程在动态演化实施中所处的位置第二节行为管程的管理职能一、行为管程的托肯管理二、行为管程的库所管理三、行为管程的变迁管理第三节行为管程的监控职能一、行为管程的监视职能二、行为管程的控制职能第四节行为管程的演化职能一、驱动构件进入静止管理态二、驱动构件进入活动管理态三、连接件添加操作四、连接件删除操作五、构件添加操作六、构件删除操作七、小结第八章面向动态演化的构件之间相关性分析第一节相关性分析分类第二节构件之间的结构相关性分析一、基本结构相关性二、复合结构相关性第三节构件之间的行为关系及其相关性分析一、结构相关性对行为相关性的作用二、行为相关性的部分传递性处理三、构件行为相关性分析四、小结第九章动态演化实施的一致性保持第一节一致性的定义第二节构件状态迁移一、构件的状态保存二、基于库所映射方案的托肯更新三、构件的状态恢复第三节构件的行为空间和行为图一、构件的行为空间二、构件的行为图第四节一致性保持一、构件的内部一致性保持二、构件的外部一致性保持三、小结第十章案例研究第一节面向动态演化的需求建模一、行为特征建模二、属性特征建模三、需求模型及其规范化第二节面向动态演化的体系结构建模一、体系结构建模二、构件建模第三节动态演化实施分析一、相关性分析二、一致性保持三、小结第十一章结语一、主要研究总结二、未来展望参考文献