Abstract | ||
---|---|---|
Evolutionary tasks, specially refactoring, affect source code and object models, hindering correctness and conformance. Due to the gap between object models and programs, refactoring tasks get duplicated in commonly-used model-driven development approaches, such as Round-Trip Engineering. In this paper, we propose a formal approach to consistently refactor systems in a model-driven manner. Each object model refactoring applied by the user is associated with a sequence of behavior preserving program transformations, which can be semiautomatically performed to an initially conforming program. As a consequence, this foundation for model-driven refactoring guarantees behavior preservation of the target program, besides its conformance with the refactored object model. This approach is described in detail, along with its formal infrastructure, including a conformance relationship between object models and programs. A case study reveals evidence on issues that will surely recur in other model-driven development contexts. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1007/978-3-540-78743-3_27 | FASE |
Keywords | Field | DocType |
model-driven development context,conformance relationship,model-driven refactoring guarantees behavior,object model,program transformation,refactoring task,formal model-driven program refactoring,target program,model-driven manner,commonly-used model-driven development approach,refactored object model,source code | Model transformation,Program transformation,Programming language,Computer science,Source code,Correctness,Object model,Code refactoring | Conference |
Volume | ISSN | ISBN |
4961 | 0302-9743 | 3-540-78742-9 |
Citations | PageRank | References |
9 | 0.55 | 8 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Tiago Massoni | 1 | 245 | 17.18 |
Rohit Gheyi | 2 | 618 | 40.66 |
Paulo Borba | 3 | 1088 | 68.71 |