Title
Joinpoint inference from behavioral specification to implementation
Abstract
Aspect-Oriented Programming languages allow pointcut descriptors to quantify over the implementation points of a system. Such pointcuts are problematic with respect to independent development because they introduce strong mutual coupling between base modules and aspects. This paper introduces a new joinpoint selection mechanism based on state machine specifications. Module interfaces include behavioral specifications defined as protocol state machines. These specifications are not defined with respect to potential aspects, but are used to model and simulate the architecture of a system and act as behavioral contracts between the modules of the system. We show how a smart joinpoint selection mechanism is able to infer points that might be located deep inside the implementation of a module, given pointcuts that are expressed entirely in terms of behavioral specification elements. We present a tool, the Motorola WEAVR, which implements this technique in a Model-Driven Engineering environment.
Year
DOI
Venue
2007
10.1007/978-3-540-73589-2_23
ECOOP
Keywords
Field
DocType
module interface,behavioral specification,state machine specification,protocol state machine,behavioral specification element,joinpoint inference,base module,behavioral contract,smart joinpoint selection mechanism,new joinpoint selection mechanism,implementation point,model driven engineering,aspect oriented programming,state machine
Architecture,Programming language,Computer science,Inference,Aspect-oriented software development,Finite-state machine,Model driven software engineering,Pointcut
Conference
Volume
ISSN
ISBN
4609
0302-9743
3-540-73588-7
Citations 
PageRank 
References 
27
1.25
14
Authors
3
Name
Order
Citations
PageRank
Thomas Cottenier114811.02
Aswin Van Den Berg21158.95
Tzilla Elrad364670.65