Abstract:Refactorings are behavior-preserving code transformations. They are a recommended software development practice and are now a standard feature in modern IDEs. There are however many situations where developers need to perform mere transformations (non-behavior-preserving) or to mix refactorings and transformations. Little work exists on the analysis of transformations implementation , how refactorings could be composed of smaller, reusable, parts (simple transformations or other refactorings), and, conversely, how transformations could be reused in isolation or to compose new refactorings. In a previous article, we started to analyze the seminal implementation of refactorings as proposed in the Ph.D. of D. Roberts, and whose evolution is available in the Pharo IDE. We identified a dichotomy between the class hierarchy of refactorings (56 classes) and that of transformations (70 classes). We also noted that there are different kinds of preconditions for different purposes (applicability preconditions or behavior-preserving preconditions). In this article, we go further by proposing a new architecture that: (i) supports two important scenarios (interactive use or scripting, i.e., batch use); (ii) defines a clear API unifying refactorings and transformations; (iii) expresses refactorings as decorators over transformations, and; (iv) formalizes the uses of the different kinds of preconditions, thus supporting better user feedback. We are in the process of migrating the existing Pharo refactorings to this new architecture. Current results show that elementary transformations such as the Add Method transformation is reused in 24 refactorings and 11 other transformations; and the Remove Method transformation is reused in 11 refactorings and 7 other transformations.

Une approche IDM de transformation exogène de Wright vers Ada

Vérification d'assemblages de composants logiciels : Application aux modèles de composants UML2.0 et Ugatze

A Controller/Architecture Co-design Framework for Wireless Cyber-Physical Systems.

Assistance in Model Driven Development: Toward an Automated Transformation Design Process

Model Checking Software Architecture Design

Issues of Architectural Description Languages for Handling Dynamic Reconfiguration

Composition of AADL Components by Transformation to Interface Automata

Large Reasoning Models for 3D Floorplanning in EDA: Learning from Imperfections

An Extensible Framework for Architecture-Based Data Flow Analysis for Information Security

Exploring AADL verification tool through model transformation

MDE-Based Mode Transformation:From MARTE Model to FIACRE Model

An Extension of Wright for Real Time Software Applications

An AADL-Based Modeling Method for ARINC653-Based Avionics Software

On the Behavioural Formalization of the Cognitive Middleware AWDRAT

A transformation approach for collaboration based requirement models

A new architecture reconciling refactorings and transformations

A Formalizing Hybrid Model Transformation Approach for Collaborative System

Formal Software Architectural Migration Towards Emerging Architectural Styles

Formal Analysis of Non-functional Properties for a Cooperative Automotive System

Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling

A Design and Implementation of the Extended Andorra Model