Modeling and Weaving Architectural-Level Stateful Aspects——A LTS Based Approach
Zhi Yang · Chinese Journal of Computers · 2011
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.