Formal concept analysis for specification of model transformations

Abstract

Model-driven engineering (MDE) is a software development methodology that proposes to modelize the applications in a high-level abstraction. The MDE is a generative engineering technique in which models occupy a very important place and must be as consideration sufficiently precise and rich in order to be interpreted or transformed by machines. In MDE context, the model transformation is primordial phase because it defines the automation that is used in the software development process. So in this case, it is necessary to generate transformation rules automatically or semi-automatically to facilitate transformation process. And it is important to propose solutions to define transformation rules without intervening an expert. The focus of this paper is to provide an approach to generate transformation rules from a set of models semi-automatically by using a formal concept analysis (FCA). This analysis is a principled way to derive a concept hierarchy that is used in different disciplines for example in information scince, knowledge discovery and data mining [1].