基于代数理论的软件体系结构描述及软件演化方法研究

摘要	第1-6页
ABSTRACT	第6-13页
第一章 软件体系结构研究综述	第13-27页
·课题研究的意义	第13-14页
·软件体系结构的定义	第14-15页
·软件体系结构的发展史	第15页
·软件体系结构的研究和应用现状	第15-25页
·软件体系结构建模	第16-18页
·软件体系结构描述方法	第18-20页
·软件体系结构分析、设计与验证	第20-21页
·软件体系结构发现、演化与重用	第21-22页
·基于体系结构的软件开发方法	第22页
·特定领域的体系结构框架	第22-23页
·软件体系结构支持工具	第23页
·软件产品线体系结构	第23-24页
·建立评估软件体系结构的方法	第24-25页
·软件体系结构研究中存在的问题	第25-26页
·本文的工作	第26-27页
第二章 构件运算关系及其性质研究	第27-44页
·构件与软件重用	第27-29页
·构件及其关系的抽象描述	第29-35页
·构件运算组合问题的讨论	第35-40页
·顺序运算与选择运算的组合	第35-37页
·顺序运算与循环运算的组合	第37-39页
·选择运算与循环运算的组合	第39-40页
·简单运算之间的组合	第40页
·构件运算的性质及其完整性证明	第40-43页
·构件运算的性质	第40-41页
·构件运算的完整性证明	第41-43页
·小结	第43-44页
第三章 软件演化方法研究	第44-59页
·软件演化研究简介	第44-45页
·基于反射中间件的软件动态演化研究	第44-45页
·基于软件体系结构的软件演化研究	第45页
·基于构件的系统的抽象	第45-46页
·增加构件	第46-49页
·增加顺序运算构件	第47页
·增加选择运算构件	第47-48页
·增加循环运算构件	第48-49页
·删除构件	第49-52页
·删除顶层构件	第49页
·删除选择运算构件	第49-50页
·删除循环运算构件	第50-51页
·删除顺序运算构件	第51页
·连带删除问题	第51-52页
·修改构件关系	第52-54页
·修改顶层构件关系	第53页
·修改非顶层构件关系	第53-54页
·软件演化的核心算法	第54-56页
·构件运算表达式的图形化	第56-58页
·小结	第58-59页
第四章 层次式软件体系结构模型	第59-65页
·层次式软件体系结构框架	第59-61页
·层次式软件体系结构抽象模型	第61-64页
·小结	第64-65页
第五章 正交软件体系结构模型	第65-72页
·正交软件体系结构的概念	第65-66页
·正交软件体系结构的核心模型	第66-68页
·正交软件体系结构的抽象模型	第68-69页
·软件体系结构的正交化	第69-70页
·小结	第70-72页
第六章 基于代数理论的软件体系结构的 XML描述	第72-97页
·XML语言与软件体系结构	第72-73页
·构件与连接件的 XML描述	第73-77页
·构件的 XML描述	第73-76页
·连接件的XML描述	第76-77页
·构件运算关系的XML描述	第77-81页
·顺序运算关系的XML描述	第77-78页
·选择运算关系的XML描述	第78-79页
·循环运算关系的XML描述	第79-81页
·软件体系结构的XML描述	第81-84页
·构件运算表达式转换为 XML文档的算法及原型	第84-94页
·构件运算表达式转换为 XML文档的算法	第84-93页
·算法的原型实现	第93-94页
·软件演化的XML描述	第94-96页
·小结	第96-97页
第七章 总结和展望	第97-99页
参考文献	第99-108页
致谢	第108-110页
攻读学位期间主要的研究成果	第110页