体系结构层状态型方面的建模和编织——基于LTS的方法

摘要：

状态型方面是一种封装反应式关注点的方面,它需要专门的切点机制来跟踪系统的执行历史.然而当前在体系结构层还缺乏支持状态型方面建模的有效机制.针对这一问题,提出一种体系结构层状态型方面的建模和编织方法.它以标记转换系统(Labelled Transition System,LTS)为底层形式化,建立了用于识别系统运行轨迹中特定模式的切点机制,并定义了支持多种通知类型的编织运算.该方法当前已在一个基于FSP规范的原型编织工具上实现,并用一个实例说明了该方法的有效性.

关键词：方面、状态型方面、编织、标记转换系统、面向方面的软件开发

所属期刊栏目：34

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金60673130

在线出版日期：2011-06-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：342-352