首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--计算机软件论文--程序设计、软件工程论文--软件工程论文

系统演化的形式化与具体化应用研究

摘要第4-5页
Abstract第5页
专用术语注释表第8-9页
第一章 绪论第9-18页
    1.1 研究背景第9-10页
    1.2 研究现状第10-12页
        1.2.1 系统体系应用现状第10-11页
        1.2.2 框架方法应用现状第11-12页
    1.3 典型的体系结构框架介绍第12-17页
    1.4 研究内容和组织结构第17-18页
第二章 系统体系概念综述第18-25页
    2.1 系统的概念第18-19页
    2.2 系统体系的概念与特性第19-22页
        2.2.1 系统体系的分类第20页
        2.2.2 系统体系的成员自治性和互操作性第20-21页
        2.2.3 系统体系的呈现行为和演化性第21-22页
    2.3 系统体系工程与系统工程第22-23页
        2.3.1 系统工程概述第22页
        2.3.2 系统体系工程概述第22页
        2.3.3 SE 与 SoSE 的区别第22-23页
    2.4 系统体系与传统系统的结构对比第23-24页
    2.5 SoS 在软件工程中的应用第24页
    2.6 本章小结第24-25页
第三章 系统抽象与框架方法第25-32页
    3.1 系统抽象的必要性第25页
    3.2 框架方法第25-27页
        3.2.1 框架方法概念第25-26页
        3.2.2 框架方法优点第26-27页
        3.2.3 框架的分类第27页
    3.3 软件系统中的功能框架第27-31页
        3.3.1 软件系统抽象与框架第27-28页
        3.3.2 应用软件系统的功能框架第28-29页
        3.3.3 系统体系中框架的作用第29-30页
        3.3.4 框架的制定方法第30-31页
    3.4 本章小结第31-32页
第四章 系统演化的形式化描述第32-46页
    4.1 系统演化方法第32-33页
        4.1.1 基于反射中间件的软件动态演化研究第32-33页
        4.1.2 基于软件体系结构的软件演化研究第33页
    4.2 系统演化的形式化第33-34页
        4.2.1 基于应用框架的系统演化的形式化描述第33-34页
        4.2.2 抽象代数基本理论第34页
    4.3 应用框架中服务的形式化第34-38页
        4.3.1 服务的基本运算第34-36页
        4.3.2 应用框架中服务运算的性质第36-37页
        4.3.3 运算的完整性证明第37-38页
    4.4 系统演化的形式化描述第38-45页
        4.4.1 增加服务第39-41页
        4.4.2 删除服务第41-44页
        4.4.3 修改服务运算关系第44-45页
    4.5 本章小结第45-46页
第五章 系统演化的具体化描述第46-53页
    5.1 系统工程演化的具体化第46-47页
    5.2 系统抽象描述第47-49页
    5.3 基于框架的具体化方法第49-51页
    5.4 对系统体系的具体化第51-52页
    5.5 本章小结第52-53页
第六章 Frameworx 系统演化的形式化与具体化应用第53-66页
    6.1 Frameworx 系统与功能框架的映射第53-56页
        6.1.1 eTOM 框架第53-54页
        6.1.2 SID 框架第54-55页
        6.1.3 TAM 框架第55-56页
        6.1.4 Frameworx 与系统功能框架第56页
    6.2 基于 Frameworx 的 CRM 演进形式化第56-62页
        6.2.1 CRM 系统第56-57页
        6.2.2 基于 Frameworx 的 CRM 应用框架第57-58页
        6.2.3 CRM 应用框架理论验证第58-61页
        6.2.4 CRM 系统演化的形式化描述第61-62页
    6.3 Frameworx 系统演化的具体化第62-65页
        6.3.1 Frameworx 生命周期第62-63页
        6.3.2 eTOM 框架具体化第63-64页
        6.3.3 SID 框架具体化第64-65页
    6.4 本章小结第65-66页
第七章 全文总结与研究展望第66-68页
    7.1 总结第66-67页
    7.2 展望第67-68页
参考文献第68-70页
附录 1 攻读硕士学位期间撰写的论文第70-71页
致谢第71页

论文共71页,点击 下载论文
上一篇:谐振微扰法测量各向异性微波材料复介电常数方法的研究
下一篇:基于UDDI的传感信息应用体系设计与实现