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 条
  • [41] JDeodorant: Clone Refactoring
    Mazinanian, Davood
    Tsantalis, Nikolaos
    Stein, Raphael
    Valenta, Zackary
    2016 IEEE/ACM 38TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C), 2016, : 613 - 616
  • [42] Introducing Records by Refactoring
    Loevei, Laszlo
    Zoltan Horvath
    Kozsik, Tamas
    Roland Kiraly
    ERLANG'07: PROCEEDINGS OF THE 2007 SIGPLAN ERLANG WORKSHOP, 2007, : 18 - 28
  • [43] Refactoring middleware with aspects
    Zhang, C
    Jacobsen, HA
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2003, 14 (11) : 1058 - 1073
  • [44] Refactoring pattern matching
    Wang, Meng
    Gibbons, Jeremy
    Matsuda, Kazutaka
    Hu, Zhenjiang
    SCIENCE OF COMPUTER PROGRAMMING, 2013, 78 (11) : 2216 - 2242
  • [45] A Refactoring Approach to Parallelism
    Dig, Danny
    IEEE SOFTWARE, 2011, 28 (01) : 17 - 22
  • [46] Measuring the effect of refactoring
    Pitt, R
    Carmichael, A
    OOIS 2000: 6TH INTERNATIONAL CONFERENCE ON OBJECT ORIENTED INFORMATION SYSTEMS, PROCEEDINGS, 2001, : 401 - 406
  • [47] Refactoring in Computational Notebooks
    Liu, Eric S.
    Lukes, Dylan A.
    Griswold, William G.
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2023, 32 (03)
  • [48] Alloy as a Refactoring Checker?
    Estler, H. -Christian
    Wehrheim, Heike
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 214 : 331 - 357
  • [49] On the documentation of refactoring types
    AlOmar, Eman Abdullah
    Liu, Jiaqian
    Addo, Kenneth
    Mkaouer, Mohamed Wiem
    Newman, Christian
    Ouni, Ali
    Yu, Zhe
    AUTOMATED SOFTWARE ENGINEERING, 2022, 29 (01)
  • [50] A Survey on Secure Refactoring
    Estomii Edward
    Ally S. Nyamawe
    Noe Elisa
    SN Computer Science, 5 (7)
12345