软件体系结构精化和代码生成的自动化

摘要	第1-5页
Abstract	第5-9页
1 绪论	第9-13页
·论文的研究背景	第9-10页
·研究的目的及意义	第10页
·本文的主要研究内容和内容组织	第10-13页
2 相关工作	第13-24页
·软件体系结构概述	第13-15页
·软件体系结构的形式化描述概述	第15-17页
·软件体系结构的CSP描述	第17-21页
·使用模式精化软件体系结构	第21-24页
·模式精化构件	第21-22页
·模式精化连接子	第22-24页
3 消解原理精化软件体系结构的一般方法	第24-35页
·消解原理	第24-26页
·消解原理概述	第24页
·命题逻辑的消解原理	第24-25页
·一阶逻辑的消解原理	第25-26页
·从消解证明树中抽取程序	第26-34页
·抽取算法的描述	第27-28页
·算法的正确性证明	第28-29页
·应用举例	第29-34页
·体系结构的精化	第34-35页
4 体系结构构件的精化	第35-41页
·精化算法	第35-36页
·构件的精化	第36-41页
5 体系结构连接子的精化	第41-46页
·连接子精化方法	第41-43页
·并发系统体系结构的语义描述	第43-46页
6 自动精化过程的实现	第46-62页
·定理证明器的实现	第46-56页
·消解过程的实现	第46-52页
·消解控制策略	第52-56页
·精化过程的实现	第56-62页
·消解证明树的转化	第57-59页
·从转化的消解证明树中抽取胶合代码	第59-62页
总结	第62-63页
参考文献	第63-65页
攻读硕士学位期间发表学术论文情况	第65-66页
致谢	第66-67页
大连理工大学学位论文版权使用授权书	第67页