Refactoring Towards a Layered Architecture

被引：2
|
作者：
Cornelio, Marcio [1 ]
Cavalcanti, Ana [2 ]
Sampaio, Augusto [3 ]
机构：
[1] Univ Pernambuco, Escola Politecn, Dept Sistemas Computac, Recife, PE, Brazil
[2] Univ York, Dept Comp Sci, York, N Yorkshire, England
[3] Univ Fed Pernambuco, Ctr Informat, Recife, PE, Brazil
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2005年 / 130卷
关键词：
Refactoring; Formal Refinement; Refinement Calculus;
D O I：
10.1016/j.entcs.2005.03.015
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In this paper we present how refactoring of object-oriented programs can be accomplished by using formal refinement. Our approach is based on the use of refactoring rules designed for a sequential object-oriented language of refinement (rool) similar to Java. We define a strategy that aims at structuring programs according to a layered architecture that involves the application of refactoring rules, object-oriented programming laws, and data and algorithm refinement. As the laws are proved in a weakest precondition semantics of rool, correctness of refactoring is ensured by construction.
引用
收藏
页码：281 / 300
页数：20
相关论文
共 50 条
  • [31] Towards Improving Interface Modularity in Legacy Java']Java Software through Automated Refactoring
    Khatchadourian, Raffi
    Moore, Olivia
    Masuhara, Hidehiko
    COMPANION PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON MODULARITY (MODULARITY COMPANION'16), 2016, : 104 - 106
  • [32] Refactoring Monolithic Object-Oriented Source Code to Materialize Microservice-oriented Architecture
    Zaragoza, Pascal
    Seriai, Abdelhak-Djamel
    Seriai, Abderrahmane
    Bouziane, Hinde-Lilia
    Shatnawi, Anas
    Derras, Mustapha
    PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES (ICSOFT), 2021, : 78 - 89
  • [33] Refactoring the Organization
    Power, Ken
    LEAN ENTERPRISE SOFTWARE AND SYSTEMS, 2010, 65 : 48 - 51
  • [34] Optimal Refactoring
    Siverland, Susanne
    Wernersson, Roger C. S.
    Sennersten, Charlotte
    AGILE PROCESSES, IN SOFTWARE ENGINEERING, AND EXTREME PROGRAMMING, XP 2015, 2015, 212 : 224 - 229
  • [35] Refactoring with Synthesis
    Raychev, Veselin
    Schaefer, Max
    Sridharan, Manu
    Vechev, Martin
    ACM SIGPLAN NOTICES, 2013, 48 (10) : 339 - 354
  • [36] A game of refactoring. Studying the impact of gamification in software refactoring
    Elezi, Leonard
    Sali, Sara
    Demeyer, Serge
    Murgia, Alessandro
    Perez, Javier
    PROCEEDINGS OF THE XP2016 SCIENTIFIC WORKSHOPS, 2016,
  • [37] Refactoring GrPPI: Generic Refactoring for Generic Parallelism in C++
    Christopher Brown
    Vladimir Janjic
    Adam D. Barwell
    J. Daniel Garcia
    Kenneth MacKenzie
    International Journal of Parallel Programming, 2020, 48 : 603 - 625
  • [38] Refactoring GrPPI: Generic Refactoring for Generic Parallelism in C plus
    Brown, Christopher
    Janjic, Vladimir
    Barwell, Adam D.
    Garcia, J. Daniel
    MacKenzie, Kenneth
    INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2020, 48 (04) : 603 - 625
  • [39] From software architecture to analysis models and back: Model-driven refactoring aimed at availability improvement
    Cortellessa, Vittorio
    Eramo, Romina
    Tucci, Michele
    INFORMATION AND SOFTWARE TECHNOLOGY, 2020, 127
  • [40] Stepwise Refactoring Tools
    Eilertsen, Anna Maria
    Murphy, Gail C.
    2021 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2021), 2021, : 629 - 633
12345