Union and intersection of models for information systems analysis

Unions et intersections de modèles pour l'analyse des systèmes d'information

André Miralles (1) , Marianne Huchard (2) , Jessie Carbonnel (2) , Clémentine Nebut (2)

1 IRSTEA - Institut national de recherche en sciences et technologies pour l'environnement et l'agriculture
2 MAREL - Models And Reuse Engineering, Languages

In information systems, model integration consists in grouping into a single model all the business entities of several thematically connected models. In this paper, five operations are proposed to assist this integration: an alignment model which highlights the correspondences between the models; two union models and two intersection models built up with the common elements. The union and intersection models are calculated according to either a mechanism based on the semantics of business entities or a mechanism based on the binary description of these entities. Whatever the mechanism used, the union models are the smallest of the model unions and the intersection models, kernel of all models, are the greatest intersections of the models. These five operations are achieved with the help of Formal Concept Analysis (FCA).

En système d'information, l'intégration de modèles consiste à regrouper au sein d'un unique modèle l'ensemble des entités métiers de plusieurs modèles connectés d'un point de vue thématique. Dans cette communication, cinq opérations sont proposées afin d'assister cette in-tégration et améliorer les modèles structurels : la première crée un modèle alignement montrant les correspondances entre les modèles, la seconde produit deux modèles union et la troisième produit deux modèles intersection avec les seuls éléments communs à tous les modèles. Les mo-dèles union et intersection sont calculés suivant soit un mécanisme reposant sur la sémantique des entités métiers soit un mécanisme fondé sur la description binaire de ces entités. Quel que soit le mécanisme utilisé, les modèles union sont les plus petits des unions des modèles et les modèles intersection, noyau de tous les modèles, sont les plus grands des intersections des mo-dèles. Ces cinq opérations sont réalisées à l'aide de l'Analyse Formelle de Concepts (AFC).

Mots clés: Information System; Class model; Class model matching; Class model integration; Class model union; Class model intersection; Formal concept analysis

Mots clés: Système d'information; UML; Modèle de classes; Appariement de modèles; Intégration de modèles; Union de modèles; Intersection de modèles; Analyse formelle de concepts

Domaines: Génie logiciel [cs.SE]; Base de données [cs.DB]

André Miralles, Marianne Huchard, Jessie Carbonnel, Clémentine Nebut. Unions et intersections de modèles pour l'analyse des systèmes d'information. Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2018, 23 (1), pp.35-62. ⟨10.3166/ISI.23.1.35-62⟩. ⟨hal-01858038⟩