Previous [ 1] [ 2] [ 3] [ 4] [ 5] [ 6] [ 7] [ 8] [ 9] [ 10] [ 11] [ 12] [ 13] [ 14] [ 15] [ 16] [ 17] [ 18]

@

Journal of Information Science and Engineering, Vol. 27 No. 4, pp. 1395-1411 (July 2011)


An Approach to Weaving Stateful Aspects using LTS*

BCHUN-HUA YANG AND HAI-YANG WANG+
School of Information Science and Technology
Shandong Institute of Light Industry
Shandong, 250353 P.R. China
+School of Computer Science and Technology
Shandong University
Shandong, 250100 P.R. China

Stateful aspects is a recent topic in AOSD. As the trigger of a stateful aspect depends on the system execution trace, it needs complicate modeling mechanisms for the pointcuts and weaving operations. We present an approach to weaving stateful aspects using Labelled Transition System (LTS). In the approach, the base system is specified as a LTS. The pointcut is modeled as an extended LTS that observes the trace of the base system and decides the activation points for the advices. The composition of the pointcut and the base system can achieve a LTS that is semantically consistent with the base system. The advice weaving is modeled as transformation operations on the composition of the base system and the pointcut. These weaving operators can preserve the semantic equivalence between systems. The approach has been implemented on a FSP based prototype tool.

Keywords: stateful aspects, aspects, weaving, labeled transition system, aspect-oriented software development

Full Text () Retrieve PDF document (201107_13.pdf)

Received October 26, 2009; revised December 20, 2010 & January 13, 2011; accepted February 8, 2011.
Communicated by Chih-Ping Chu.
* This work was also partially supported by the National Natural Science Foundation of China under grant No. 60673130.