Abstract:Object Constraint Language (OCL) constraints are typically used for providing precise semantics to models developed with the Unified Modeling Language (UML). When OCL constraints evolve in a regular basis, it is essential that they are easy to understand and maintain. For instance, in cancer registries, to ensure the quality of cancer data, more than one thousand medical rules are defined and evolve regularly. Such rules can be specified with OCL. It is, therefore, important to ensure the understandability and maintainability of medical rules specified with OCL. To tackle such a challenge, we propose an automated search-based OCL constraint refactoring approach (SBORA) by defining and applying three OCL quality metrics (Complexity, Coupling, and Cohesion) and four semantics-preserving refactoring operators (i.e., Context Change, Swap, Split and Merge) which are encoded as potential solutions for search algorithms. A solution is therefore an optimal sequence of refactoring operators, which are sequentially applied to the original set of OCL constraints to automatically obtain a semantically equivalent set of OCL constraints with better understandability and maintainability in terms of Complexity, Coupling, and Cohesion. We evaluate SBORA along with six commonly used multi-objective search algorithms (e.g., Indicator-Based Evolutionary Algorithm (IBEA)) by employing four case studies from different domains: healthcare (i.e., cancer registry system from Cancer Registry of Norway (CRN)), Oil&Gas (i.e., subsea production systems), warehouse (i.e., handling systems), and an open source case study named SEPA. Results show: 1) IBEA achieves the best performance among all the search algorithms and 2) the refactoring approach along with IBEA can manage to reduce on average 29.25% Complexity and 39% Coupling and improve 47.75% Cohesion, as compared to the original OCL constraint set from CRN. To further test the performance of SBORA, we also applied it to refactor an OCL constraint set specified on the UML 2.3 metamodel and we obtained encouraging results. Furthermore, we conducted a controlled experiment with 96 subjects and results show that the understandability and maintainability of the original constraint set can be improved significantly from the perspectives of the 96 participants of the controlled experiment.

Opti Code Pro: A Heuristic Search-based Approach to Code Refactoring

Recommending Refactoring Solutions Based on Traceability and Code Metrics.

How Do I Refactor This? An Empirical Study on Refactoring Trends and Topics in Stack Overflow

AUTOMATIC SOFTWARE REFACTORING TOWARDS THE OPTIMIZATION OF DESIGN HIERARCHY

DEPICTER: A Design-Principle Guided and Heuristic-Rule Constrained Software Refactoring Approach

On Refactoring Quantum Programs

Automated Inference of Pointcuts in Aspect-Oriented Refactoring.

Investigating Student Reasoning in Method-Level Code Refactoring: A Think-Aloud Study

Optimized design refactoring (ODR): a generic framework for automated search-based refactoring to optimize object-oriented software architectures

Automating Source Code Refactoring in the Classroom

Refactoring for Reuse: An Empirical Study

Software code refactoring based on deep neural network‐based fitness function

Solving the Search for Source Code

Empirical Study of Design-Oriented Refactorings in Open Source Projects

Automated Refactoring of OCL Constraints with Search

Software refactoring and rewriting: from the perspective of code transformations

Code Review Practices for Refactoring Changes: An Empirical Study on OpenStack

A Comparative Study of Automated Refactoring Tools

RefactoringMiner 2.0

Assure High Quality Code Using Refactoring and Obfuscation Techniques

Codehow: Effective Code Search Based On Api Understanding And Extended Boolean Model