基于约束交互自动机的构件行为一致性研究

摘要	第1-6页
Abstract	第6-10页
第1章 绪论	第10-15页
·课题的研究背景	第10页
·课题的研究现状	第10-13页
·动态演化方法的研究现状	第10-12页
·构件行为规范的研究现状	第12-13页
·存在的问题	第13-14页
·课题主要研究内容及结构	第14-15页
第2章 构件行为规范的形式化方法研究	第15-30页
·引言	第15页
·基于构件行为规范的自动机模型	第15-28页
·I/O 自动机模型	第15-16页
·接口自动机模型	第16-18页
·群组自动机模型	第18-20页
·构件交互自动机模型	第20-28页
·形式化方法的比较	第28-29页
·本章小结	第29-30页
第3章 行为一致性的形式化分析	第30-46页
·引言	第30页
·基于约束交互自动机的构件模型	第30-38页
·构件的定义及特点	第30-31页
·构件模型	第31-33页
·基于约束的构件交互自动机	第33-36页
·构件模型的行为规范研究	第36-37页
·状态转换图	第37-38页
·行为一致性的形式化分析	第38-45页
·构件与构件间的接口兼容性分析	第38-42页
·构件对外交互行为一致性的分析	第42-43页
·运行中本地行为和相互行为完整性的分析	第43-45页
·本章小结	第45-46页
第4章 行为一致性的验证	第46-65页
·引言	第46页
·行为一致性的验证方法	第46-55页
·构件与构件间接口兼容的验证方法	第46-50页
·构件对外交互一致性的验证方法	第50-51页
·运行中本地行为和相互行为完整性的验证	第51-55页
·行为一致性的算法	第55-56页
·实例验证	第56-64页
·实例分析	第56-61页
·动态演化分析过程	第61-64页
·本章小结	第64-65页
结论	第65-66页
参考文献	第66-70页
攻读硕士学位期间发表的论文和取得的科研成果	第70-71页
致谢	第71页