Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

COMPSAC
2007
IEEE

favoriteEmaildiscussreport

89views Software Engineering» more COMPSAC 2007»

Specifying Pointcuts in AspectJ

13 years 10 months ago

Specifying Pointcuts in AspectJ

Download cse.sjtu.edu.cn

Program verification is a promising approach to improving program quality. To formally verify aspectoriented programs, we have to find a way to formally specify programs written in aspect-oriented languages. Pipa is a BISL tailored to AspectJ for specifying AspectJ programs. However, Pipa has not provided specification method for pointcuts in AspectJ programs. Based on the exist work of Pipa, and related issues, this paper proposes an approach to specifying pointcuts using purity conception in JML. This paper also provides several examples to illustrate our pointcut specification approach.

Yi Wang, Jianjun Zhao

Real-time Traffic

Aspectj Programs | COMPSAC 2007 | Pipa | Promising Approach | Software Engineering |

claim paper

Related Content

» A TestDriven Approach to Developing Pointcut Descriptors in AspectJ

» Temporal Assertions using AspectJ

» Automated Generation of Pointcut Mutants for Testing Pointcuts in AspectJ Programs

» Formalizing AspectJ Weaving for Static Pointcuts

» APTE automated pointcut testing for AspectJ programs

» Testbased pointcuts for robust and finegrained join point specification

» SCoPE an AspectJ compiler for supporting userdefined analysisbased pointcuts

» Semantics of static pointcuts in aspectJ

» A case for statically executable advice checking the law of demeter with AspectJ

Post Info
More Details (n/a)

Added	02 Jun 2010
Updated	02 Jun 2010
Type	Conference
Year	2007
Where	COMPSAC
Authors	Yi Wang, Jianjun Zhao

Comments (0)