A Formal Framework for Automated Round-Trip Software Engineering in Static Aspect Weaving and Transformations

@article{Chalabine2007AFF,
  title={A Formal Framework for Automated Round-Trip Software Engineering in Static Aspect Weaving and Transformations},
  author={Mikhail Chalabine and Christoph W. Kessler},
  journal={29th International Conference on Software Engineering (ICSE'07)},
  year={2007},
  pages={137-146}
}
We present a formal framework for a recently introduced approach to Automated Round-trip Software Engineering (ARE) in source-level aspect weaving systems. Along with the formalization we improve the original method and suggest a new concept of weaving transactions in Aspect-oriented Programming (AOP). As the major contribution we formally show how, given a tree-shaped intermediate representation of a program and an ancillary transposition tree, manual edits in statically woven code can… CONTINUE READING
Highly Cited
This paper has 19 citations. REVIEW CITATIONS

References

Publications referenced by this paper.
Showing 1-3 of 3 references