Joinpoint inference from behavioral specification to implementation

  • Authors:

  • Thomas Cottenier;Aswin van den Berg;Tzilla Elrad

  • Affiliations:

  • Motorola Software Group, Motorola, Schaumburg, IL and Illinois Institute of Technology, Chicago, IL;Motorola Software Group, Motorola, Schaumburg, IL;Illinois Institute of Technology, Chicago, IL

  • Venue:
  • ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

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.