Identifying traits with formal concept analysis

Traits are basically mixins or interfaces but with method bodies. In languages that support traits, classes are composed out of traits. There are two main advantages with traits. Firstly, decomposing existing classes into traits from which they can be recomposed improves the factoring of hierarchies. Secondly it increases the library reuse potential by providing more reusable traits. Identifying traits and decomposing class hierarchies into traits is therefore an important and challenging task to facilitate maintainability and evolution. In this paper we present how we use Formal Concept Analysis to identify traits in inheritance hierarchies. Our approach is two-staged: first we identify within a hierarchy maximal groups of methods that have a set of classes in common, second we cluster cohesive groups of methods based on method invocations as potential traits. We applied our approach on two significant hierarchies and compare our results with the manual refactorization of the same ...

• Type: Conference
• Year: 2005
• Where: KBSE
• Authors: Adrian Lienhard, Stéphane Ducasse, Gabriela Arévalo
• Keywords: Formal Concept Analysis, KBSE 2005, Potential Traits, Reusable Traits, Software Engineering