Formal and Relational Concept Analysis approaches in Software Engineering: an overview and an application to learn model transformation patterns in examples

Xavier Dolques 1 Marianne Huchard 2 Clémentine Nebut 2 Hajer Saada 3
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
2 MAREL - Models And Reuse Engineering, Languages
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : Formal Concept Analysis (FCA) is a data analysis framework which extracts a lattice structure from the analyzed data. It has shown its efficiency to solve many data analysis problems, including data mining problems, clustering, information retrieval and machine learning tasks. It has been also successfully used in the domain of software engineer-ing, for source code or design analysis, reengineering and artifact classi-fication. More recently Relational Concept Analysis (RCA) has been designed for dealing with multi-relational data. We will define FCA and RCA and outline a survey of their use in software engineering. Then we will develop an application of RCA in the specific domain of Model Driven Engineering (MDE) for learning model transformation patterns. Our approach is based on the use of transformation examples. We start by aligning a source model example and a target model exam-ple using an extension of the AnchorPROMPT algorithm. This align-ment is improved by an expert to obtain a transformation trace example. Then, using RCA, we extract the transformation patterns from the structure of the resulting lattices. Those patterns can be used by an expert to develop more rapidly the model transformation.
Complete list of metadatas

Cited literature [4 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00616272
Contributor : Isabelle Gouat <>
Submitted on : Friday, December 2, 2011 - 1:33:25 PM
Last modification on : Friday, November 16, 2018 - 1:25:07 AM
Long-term archiving on : Thursday, March 30, 2017 - 7:52:18 PM

File

Dolques_Huchard.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : lirmm-00616272, version 2

Citation

Xavier Dolques, Marianne Huchard, Clémentine Nebut, Hajer Saada. Formal and Relational Concept Analysis approaches in Software Engineering: an overview and an application to learn model transformation patterns in examples. ICESE'11: First Virtual Workshop on Search-based Model-Driven Engineering, May 2011, Qatar. ⟨lirmm-00616272v2⟩

Share

Metrics

Record views

1113

Files downloads

631