A FORMAL FRAMEWORK
FOR AUTOMATED ROUND-TRIP SOFTWARE ENGINEERING IN STATIC ASPECT WEAVING AND
TRANSFORMATIONS
Abstract
Formal
framework is an improved version of an approach to Automated Round-trip
software Engineering. ARE is a demanding problem in a wide range of modeling
and programming systems. The goal of ARE is automatically assure consistency
between different interrelated systems artifacts. It is applicable to a broad
class of source level code refactoring systems where actions such as pre
processing, static action weaving, automatic rewrites and manual editing are
encoded as trees that are statically woven into core. The refactoring process
is composed of a series of weaving steps. Its transforms an initial, possibly
empty, core into a final source program. 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 oven 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 asp aspect space. Invasive
Interactive parallelization builds around interactive static preprocessing of
sequential programs where a number of parallelizing statements.
SYSTEM REQUIREMENTS
Hardware
Requirements
Processor : Pentium
III / IV
Hard Disk : 40
GB
Ram : 256 MB
Monitor : 15VGA Color
Mouse : Ball
/ Optical
Keyboard : 102
Keys
Software
Requirements
Operating System : Windows XP professional
Front End : Microsoft Visual Studio .Net 2005
Language : Visual C#.Net
Back End : SQL Server 2000
0 comments: