Transformation d'ontologies : fondements théoriques et plateforme logicielle pour les systèmes complexes et distribués = = Transformation of ontologies : theoretical foundations and software platform for complex distributed systems : / Eduard Babkin ; sous la direction de Habib Abdulrab et d'Oleg Kozyrev

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Génie logiciel

Traitement réparti

Ingénierie des systèmes

Systèmes à paramètres répartis

Classification Dewey : 004

Abdulrab, Habib (1956-.... ; chercheur en informatique) (Directeur de thèse / thesis advisor)

Kozyrev, Oleg (Directeur de thèse / thesis advisor)

Institut national des sciences appliquées Rouen Normandie (Saint-Etienne-du-Rouvray ; 1985-....) (Organisme de soutenance / degree-grantor)

Université d'Etat Lobatchevski de Nijni Nogorod (Russie) (Organisme de cotutelle / degree co-grantor)

Laboratoire d'informatique, de traitement de l'information et des systèmes (Saint-Etienne du Rouvray, Seine-Maritime ; 2006-...) (Laboratoire associé à la thèse / thesis associated laboratory)

Relation : Transformation d'ontologies : fondements théoriques et plateforme logicielle pour les systèmes complexes et distribués = = Transformation of ontologies : theoretical foundations and software platform for complex distributed systems : / Eduard Babkin ; sous la direction de Habib Abdulrab et d'Oleg Kozyrev / Lille : Atelier national de reproduction des thèses , 2007

Résumé / Abstract : Ce travail aborde le problème de l'interopérabilité de composants logiciels dans les systèmes complexes distribués, tels les systèmes de gestion de réseaux de télécommunication, ou les systèmes de simulation multi-agents. L'interopérabilité signifie ici l'aptitude du composant d'interpréter, d'une manière consistante, les structures de données des autres composants, et de partager avec eux le même sens des données. Pour ce faire, la thèse propose une approche basée sur la notion d'Ontologie, et sur un nouveau processus de transformations de ces ontologies et des instances des structures de données, produites pendant l'exécution. Pour définir une base formelle de nos transformations, nous développons une nouvelle approche théorique basée sur une combinaison de la théorie de flux de l'information, de la logique relationnelle et de la résolution de systèmes de contraintes. Dans notre méthodologie, la définition manuelle des transformations se réalise graphiquement, grâce à une représentation sous forme de graphe orienté des instances des structures de données, et via un diagramme de flux de travail. Pour la démonstration effective de notre approche, nous avons réalisé un système et une méthodologie logiciels et une plateforme logicielle, Semantra-2.