文摘
英文文摘
TABLE OF CONTENTS
缩略词对照表
第1章 绪论
1.1 研究背景
1.2 问题的提出
1.3 主要研究内容和贡献
1.3.1 主要研究内容
1.3.2 主要贡献
1.4 论文的组织
1.5 小结
第2章 相关研究
2.1 面向方面的软件体系结构设计
2.2 支持状态方面的编程技术
2.3 方面编织
2.3.1 方面编织的机制和语义
2.3.2 方面编织中的方面交互问题
2.4 小结
第3章 软件体系结构状态方面建模
3.1 标记转换系统(Labelled Transition system,LTS)
3.2 基本系统的语义模型
3.3 问题的提出
3.4 软件体系结构状态方面的表示
3.4.1 fLTS的概念和基于fLTS的切点模型
3.4.2 通知和方面的定义
3.5 小结
第4章 状态方面编织的语义和策略
4.1 关联点的确定
4.2 通知的编织规则及操作语义
4.3 编织中的语法层方面交互问题
4.3.1 语法层的方面交互问题定义及判断方法
4.3.2 不同类型方面间的语法兼容性考查
4.4 编织的特性
4.5 编织的策略
4.5.1 基于基本系统运行迹模式的切点生成机制
4.5.2 切点的判断算法
4.5.3 支持状态方面编织语义的编织算法
4.6 原型编织工具-LTSbAW
4.7 实例
4.7.1 邮件客户端
4.7.2 电子商务系统
4.8 相关工作对比
4.8.1 与ConcurrentEAOP的实现对比
4.8.2 与其它面向方面软件体系结构设计方法的比较
4.8.3 与状态方面编程方法的比较
4.9 小结
第5章 状态方面编织的语义校验和影响分析
5.1 语义的方面交互校验
5.1.1 相关定义
5.1.2 校验的方法
5.2 方面编织影响的分析和推理
5.2.1 基于语义一致性的方面编织影响分析
5.2.2 基于语义一致性的方面编织影响推理
5.3 实现及实例
5.3.1 方面编织的校验
5.3.2 方面编织影响分析
5.4 相关工作对比
5.5 小结
第6章 结论与展望
6.1 本文总结
6.2 未来工作展望
参考文献
致谢
攻读学位期间发表的学术论文目录
攻读学位期间参与科研项目情况
学位论文评阅及答辩情况
附录 英文论文