面向模型的组合理论研究

摘要	第1-8页
Abstract	第8-12页
第一章 绪论	第12-24页
·基于模型的研究现状	第14-17页
·程序统一理论	第17-20页
·基于字母表的程序理论	第18-19页
·程序理论的联接	第19-20页
·本文的主要工作	第20-24页
第二章 模型表示框架	第24-50页
·模型的概念	第25-30页
·模型的形式表示	第30-37页
·模型表示框架的应用	第37-47页
·状态转换模型	第38-41页
·事件反应模型	第41-46页
·结构模型	第46-47页
·本章小结	第47-50页
第三章 模型组合理论	第50-74页
·模型扩展	第52-59页
·横向扩展	第52-54页
·纵向扩展	第54-59页
·模型补全	第59-68页
·模型信息转换	第60-62页
·模型晋升	第62-68页
·模型融合	第68-72页
·正交融合	第69-71页
·非正交融合	第71-72页
·本章小结	第72-74页
第四章 理论应用:ORC程序语言的语义模型	第74-96页
·Orc语言的指称语义模型	第75-88页
·Orc模型属性集	第76-80页
·Orc模型论域	第80-84页
·Orc模型特征映射定义	第84-88页
·Orc程序理论	第88-93页
·本章小结	第93-96页
第五章 理论应用:基于总线的服务系统模型	第96-110页
·服务计算行为模型	第99-102页
·总线状态转换模型	第102-104页
·总线系统事件反应模型	第104-107页
·总线系统融合模型	第107-109页
·本章小结	第109-110页
第六章 总结与展望	第110-114页
参考文献	第114-124页
致谢	第124-126页
攻读博士学位期间发表论文和参与科研情况	第126-128页