Alignement, union et intersection de modèles : 3 transformations pour l'analyse des systèmes d'information

En systeme d'information, l'integration de modeles consiste a regrouper au sein d'un unique modele l'ensemble des entites metiers de plusieurs modeles connectes d'un point de vue thematique. Dans cette communication, trois transformations sont proposees afin d'assister cette integration et d'ameliorer les modeles : la premiere produit un modele d'alignement mon-trant les correspondances entre les modeles, la seconde produit un modele union (Least Common Multiple Model ou LCM) et la troisieme produit un modele intersection (Greatest Common Model ou GCM) constitue des seuls elements communs a tous les modeles. Le LCM est la plus petite des unions des modeles et le GCM, noyau de tous les modeles, est la plus grande des intersections des modeles. Ces transformations sont realisees a l'aide de l'Analyse Formelle de Concepts (AFC) en basant les transformations sur des operations portant sur les contextes formels.

[1]  Basilis Boutsinas,et al.  Ontology Mapping based on Association Rule Mining , 2009, ICEIS.

[2]  Cyril Roume.  Analyse et restructuration de hiérarchies de classes , 2004 .

[3]  Stefano Spaccapietra,et al.  Issues and approaches of database integration , 1998, CACM.

[4]  Clémentine Nebut,et al.  Feature Model Composition Assisted by Formal Concept Analysis , 2017, ENASE.

[5]  Clémentine Nebut,et al.  Exploration de la factorisation d'un modèle de classes sous contrôle des acteurs , 2014, INFORSID.

[6]  Amedeo Napoli,et al.  Formal Concept Analysis: A Unified Framework for Building and Refining Ontologies , 2008, EKAW.

[7]  Jean-Rémy Falleri.  Contributions à l'IDM : reconstruction et alignement de modèles de classes , 2009 .

[8]  P. Krutchen,et al.  The Rational Unified Process: An Introduction , 2000 .

[9]  Anna Formica,et al.  Ontology-based concept similarity in Formal Concept Analysis , 2006, Inf. Sci..

[10]  Erhard Rahm,et al.  A survey of approaches to automatic schema matching , 2001, The VLDB Journal.

[11]  Kent L. Beck,et al.  Extreme programming explained - embrace change , 1990 .

[12]  Marianne Huchard,et al.  Analyzing inheritance hierarchies through Formal Concept Analysis: A 22-years walk in a landscape of conceptual structures , 2015, MASPEGHI@ECOOP.

[13]  Michele Missikoff,et al.  An Algorithm for Insertion into a Lattice: Application to Type Classification , 1989, FODO.

[14]  Hafedh Mili,et al.  Building and maintaining analysis-level class hierarchies using Galois Lattices , 1993, OOPSLA '93.

[15]  Jérôme Euzenat,et al.  A Survey of Schema-Based Matching Approaches , 2005, J. Data Semant..

[16]  Clémentine Nebut,et al.  Metamodel Matching for Automatic Model Transformation Generation , 2008, MoDELS.

[17]  Antonio Cicchetti,et al.  Managing Model Conflicts in Distributed Development , 2008, MoDELS.

[18]  Gerd Stumme,et al.  Ontology Merging for Federated Ontologies on the Semantic Web , 2001, OIS@IJCAI.

[19]  Thomas S. Heinze,et al.  Metamodel Matching Based on Planar Graph Edit Distance , 2010, ICMT@TOOLS.

[20]  Yannis Kalfoglou,et al.  Ontology mapping: the state of the art , 2003, The Knowledge Engineering Review.

[21]  Marina Bosch.  The Rational Unified Process An Introduction , 2016 .

[22]  Manuel Wimmer,et al.  A survey on model versioning approaches , 2009, Int. J. Web Inf. Syst..

[23]  Frank Tip,et al.  Understanding class hierarchies using concept analysis , 2000, TOPL.