Namn: Kalle Burbeck, Henrik Larsson

Titel: Automatic Model View Controller Engineering

Abstract:
Invertible transformations can be used for realizing a system where development 
is done in different views, keeping the views consistent with a common model. A 
method to realize such a system is called automatic Model-View-Controller 
engineering (MVARE). 

In this thesis important properties of general MVARE are identified and 
discussed. The invertibility of a number of rewriting formalisms is discussed. 
Invertibility of double pushout graph rewriting systems is investigated further 
when they are used for model-view transformations. A method using tags is 
presented allowing the invertible transformations to become less restricted. 
The main result of this thesis is the theoretical foundations for CODEX, an 
MVARE system. 

Future works lies in implementing a CODEX system, and by using the principles of 
CODEX to investigate more expressive rewriting formalisms.