Tiago Massoni |
Research |
|
I
am currently a Ph.D. candidate at CIn-UFPE, main topic software engineering (supervised
by Prof. Paulo Borba). I am part
of the Software Productivity Group (SPG), whose
mission is to devise techniques and tools for improving productivity
in software development with
high emphasis on software quality. My general research interests include refactoring, modeling languages (Alloy, UML), development processes (RUP, XP), model and program transformation and separation of concerns. Our work is strongly related to Alloy, a lightweight modeling language conceived by Daniel Jackson, Software Design Group (MIT). Alloy is a object-oriented modeling language, similar to UML, yet simpler and more precise. In addition, Alloy is amenable to fully automatic analysis. Our aim at defining and analyzing laws for transforming Alloy models, applying those laws to widely-adopted transformations, such as refactorings and MDA (Model-Driven Architecture). My research: a model-driven approach to formal refactoring My research question: how feasible is to transform programs based only on model manipulations? My work aims at searching for a set of program transformations, based on Alloy's modeling laws, allowing the definition of source code refactorings driven by model invariants which the code conforms to. The resulting laws can support powerful program refactorings and enhanced synchronization between source code and associated models. Related Links
|