: Student Research Presentations : Tuesday SRC on Display : Wednesday SRC on Display : Thursday SRC on Display
Formal Refactorings for Object Models
Rohit Gheyi, Federal University of Pernambuco
Tiago Massoni, Federal University of Pernambuco
Since it is difficult to prove refactorings' soundness, developers using refactoring tools have to rely on compilation and tests to guarantee the semantics preservation. In this paper, we propose a set of structural semantics-preserving model transformations for Alloy. We use the PVS to specify and prove the transformations' soundness.