AOSD 2002
Program
spacerIntroduction
spacerOverview
spacerKeynotes
spacerInvited Sessions
spacerPanel
spacerPaper Sessions
spacerTutorials
spacerWorkshops
spacerDemonstrations
spacerInformal Meetings
Registration
Accommodation
Transportation
About Enschede
Student Volunteers
Organization
Sponsors
Contact
AOSD 2002
Keynotes Invited Sessions Panel Paper Sessions Tutorials Workshops Demonstrations
HyperProbe TAST GME Xlinkit CLAW/CLR Gilgul ConTraCT FEAT
Demonstration title
ConTraCT - The Conditional Transformation Composition Tool
Organizers
  • GŁnter Kniesel, Helge Koch (University of Bonn, Germany)
Day
Wednesday April 24, 2:00-2:45
Thursday April 25, 2:00-2:45
Abstract

ConTraCT and the underlying JConditioner framework enable programmers to treat program transformations as explicit first class entities. Explicit representation of transformations, of the preconditions for applying a transformation and of the effects of the tranformation, enables systematic reasoning about the composability of transformations, their (desired) interactions and (undesired) interferences.

The demonstration will explain the main concepts behind ConTraCT and will present a ConTraCT plug-in for Together Control Center that illustrates

  • the supported basic transformations on Java programs with their explicit preconditions
  • the creation of composite transformations
  • the automatic transformation and propagation of preconditions during composition
  • the application of transformations to base programs including deferred checking of conditions that cannot be automatically eliminated during the composition phase.

While ConTraCT is a practical tool that can be used instead of an aspect language, the underlying JConditioner framework provides conditional program transformations as a high level target language for the compilation of aspect languages. ConTraCT makes explicit how compiled aspects can be represented as conditional transformations and how composition of transformation specifications can be performed without access to the code of base, thus enabling separate aspect compilation and applicability to black-box components.

URL: http://javalab.cs.uni-bonn.de/research/contract/

Keynotes Invited Sessions Panel Paper Sessions Tutorials Workshops Demonstrations
HyperProbe TAST GME Xlinkit CLAW/CLR Gilgul ConTraCT FEAT