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

Abstract

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 consistently be mapped back to their proper source of origin, which is either in the application core or in an element in the aspect space. The presented formalism is constructive. It frames AOP by generalizing static aspect weaving to classical tree transformations.

Empowering Non-conservative Parallelizing Refactoring by Non-monotonic Reasoning

“…In other words, we seek interpretations where the extension of the abnormality predicate is minimized [11]. In IIP it can be the expert who may interactively mark the nested L2 as abnormal [5]. Such a marking will prevent the loop from being advised by our default strategy (3).…”

“…domain specific aspects performing invasive code refactoring on the concrete syntax tree (CST) representation of the serial core C [5].…”