基于csp的面向方面状态图形式化描述方法研究

摘要	第1-5页
ABSTRACT	第5-9页
第一章 引言	第9-13页
·研究背景	第9页
·国内外研究现状	第9-11页
·论文研究内容和组织	第11-13页
第二章 面向方面UML状态图与形式化	第13-24页
·AOP概述	第13-15页
·AOP的发展及优势	第13-14页
·AOP核心思想	第14-15页
·面向方面与形式化	第15-17页
·面向方面与形式化语言B	第15页
·面向方面与形式化方法AO-RT-Z	第15-17页
·扩展UML表示面向方面状态图	第17-21页
·UML的扩展机制	第17页
·UML状态图	第17-18页
·面向方面状态图的UML描述	第18-21页
·形式化UML状态图	第21-23页
·形式化面向对象状态图	第21-22页
·形式化面向方面状态图	第22-23页
·本章小结	第23-24页
第三章 基于CSP形式化面向方面状态图	第24-43页
·形式化CSP语言	第24-25页
·面向方面状态图形式化规则描述	第25-27页
·CSP形式化面向方面的状态图	第27-34页
·初始状态CSP形式化	第27-28页
·终止状态CSP形式化	第28-29页
·简单状态CSP形式化	第29-31页
·选择状态CSP形式化	第31-32页
·历史状态CSP形式化	第32-33页
·复合状态CSP形式化	第33-34页
·有限缓冲面向方面状态图CSP形式化	第34-39页
·ATM自动取款机面向方面状态图CSP形式化	第39-42页
·本章小结	第42-43页
第四章 CSP的面向方面状态图的模型检测	第43-50页
·模型检测	第43-44页
·FDR模型检测工具	第44页
·FDR验证基于CSP的面向方面状态图	第44-49页
·本章小结	第49-50页
第五章 总结和展望	第50-52页
·主要工作及创新点	第50页
·进一步工作思路	第50-52页
参考文献	第52-57页
致谢	第57-58页
攻读学位期间主要的研究成果	第58页