面向方面编程语言的形式语义研究
| 摘要 | 第1-5页 |
| Abstract | 第5-7页 |
| 目录 | 第7-9页 |
| 插图索引 | 第9-11页 |
| 1 引言 | 第11-25页 |
| ·传统软件开发中存在的问题 | 第11页 |
| ·面向方面编程 | 第11-13页 |
| ·面向方面的软件开发 | 第13页 |
| ·国内外研究现状 | 第13-22页 |
| ·研究内容和意义 | 第22-23页 |
| ·论文结构 | 第23-25页 |
| 2 函数式面向方面语言的形式语义 | 第25-35页 |
| ·语义基础和λ-演算 | 第25-27页 |
| ·λ_(ADV)-演算 | 第27-28页 |
| ·λ_(ADV)的动态语义 | 第28-31页 |
| ·λ_(ADV)的静态织入语义 | 第31-32页 |
| ·动态语义和静态织入语义的一致性 | 第32-33页 |
| ·本章小结 | 第33-35页 |
| 3 命令式面向方面语言的形式语义 | 第35-51页 |
| ·简单命令式语言SIMP | 第35-37页 |
| ·面向方面的简单命令式语言SIMP_(adv) | 第37-38页 |
| ·SIMP_(adv)的操作语义 | 第38-49页 |
| ·本章小结 | 第49-51页 |
| 4 基于面向对象语言的面向方面语言的形式语义 | 第51-79页 |
| ·面向对象语言的语义 | 第51-58页 |
| ·面向方面语言SAJ | 第58页 |
| ·SAJ的动态语义 | 第58-64页 |
| ·基于效应系统的方面机制 | 第64-74页 |
| ·对象演算(?)imp的面向方面的扩展 | 第74-78页 |
| ·本章小结 | 第78-79页 |
| 5 基于化学计算模型的统一语义描述框架 | 第79-103页 |
| ·化学计算模型与Gamma演算 | 第79-80页 |
| ·命令式语言的化学语义 | 第80-89页 |
| ·面向对象语言的化学语义 | 第89-101页 |
| ·相关工作 | 第101-102页 |
| ·本章小结 | 第102-103页 |
| 6 新型计算环境下的面向方面机制 | 第103-119页 |
| ·并发分布式演算 | 第103-110页 |
| ·方面演算μABC | 第110-113页 |
| ·面向方面的Web服务合成AO4BPEL | 第113-114页 |
| ·分布式方面演算AJoin | 第114-115页 |
| ·面向方面的协作语言AspectK | 第115-117页 |
| ·其它相关工作 | 第117-118页 |
| ·本章小结 | 第118-119页 |
| 7 总结与展望 | 第119-121页 |
| 致谢 | 第121-123页 |
| 参考文献 | 第123-135页 |
| 附录1 攻读学位期间发表的学术论文 | 第135-137页 |
| 附录2 学习期间参加的科研项目 | 第137页 |
