Unions et intersections de modèles 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, cinq operations sont proposees afin d'assister cette in-tegration et ameliorer les modeles structurels : la premiere cree un modele alignement montrant les correspondances entre les modeles, la seconde produit deux modeles union et la troisieme produit deux modeles intersection avec les seuls elements communs a tous les modeles. Les mo-deles union et intersection sont calcules suivant soit un mecanisme reposant sur la semantique des entites metiers soit un mecanisme fonde sur la description binaire de ces entites. Quel que soit le mecanisme utilise, les modeles union sont les plus petits des unions des modeles et les modeles intersection, noyau de tous les modeles, sont les plus grands des intersections des mo-deles. Ces cinq operations sont realisees a l'aide de l'Analyse Formelle de Concepts (AFC).

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

[2]  Erhard Rahm,et al.  Similarity flooding: a versatile graph matching algorithm and its application to schema matching , 2002, Proceedings 18th International Conference on Data Engineering.

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

[4]  Zohra Bellahsene,et al.  YAM: A Step Forward for Generating a Dedicated Schema Matcher , 2015, Trans. Large Scale Data Knowl. Centered Syst..

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

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

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

[8]  Eleni Stroulia,et al.  UMLDiff: an algorithm for object-oriented design differencing , 2005, ASE.

[9]  Marouane Kessentini,et al.  Article in Press G Model the Journal of Systems and Software Search-based Metamodel Matching with Structural and Syntactic Measures , 2022 .

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

[11]  Vipul Kashyap,et al.  Semantic and schematic similarities between database objects: a context-based approach , 1996, The VLDB Journal.

[12]  Jamel Feki,et al.  Metamodel Matching Techniques: Review, Comparison and Evaluation , 2014, Int. J. Inf. Syst. Model. Des..

[13]  Slimane Hammoudi,et al.  From Mapping Specification to Model Transformation in MDA: Conceptualization and Prototyping , 2005, WSMDEIS.

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

[15]  Yann-Gaël Guéhéneuc,et al.  MADMatch: Many-to-Many Approximate Diagram Matching for Design Comparison , 2013, IEEE Transactions on Software Engineering.

[16]  Jamel Feki,et al.  Towards a hybrid semi-automatic technique for metamodel matching , 2016, 2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

[17]  Agile Manifesto,et al.  Manifesto for Agile Software Development , 2001 .

[18]  Jérôme Euzenat,et al.  Ontology Matching: State of the Art and Future Challenges , 2013, IEEE Transactions on Knowledge and Data Engineering.

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

[20]  Patrick Valduriez,et al.  Semi-automatic model integration using matching transformations and weaving models , 2007, SAC '07.

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

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

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

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

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

[26]  Philippe Kruchten The Rational Unified Process - An Introduction, 3rd Edition , 2004, Addison Wesley object technology series.

[27]  W. W. Royce,et al.  Managing the development of large software systems , 1970 .

[28]  Erhard Rahm,et al.  Schema and ontology matching with COMA++ , 2005, SIGMOD '05.

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

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

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

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

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

[34]  Zohra Bellahsene,et al.  Overview of YAM++ - (not) Yet Another Matcher for ontology alignment task , 2016, J. Web Semant..

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

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

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

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