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

Modeling and Weaving Architectural-Level Stateful Aspects——A LTS Based Approach

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

Stateful aspect is an aspect mechanism to encapsulate reactive concerns,which needs special pointcut mechanisms to track the system execution history.However,there are still no effective modeling mechanisms for stateful aspects at the architectural level to date.To address the issue,an approach to modeling and weaving stateful aspects at the architectural level is proposed.The approach has the Labeled Transition System（LTS） as the underlying formalism.In the approach,a pointcut mechanism for identifying certain patterns in the system trace is built and weaving operations that support several types of advices are defined.The approach has been implemented on a FSP based prototype tool.A case study shows the effectiveness.