Courtage sémantique de services de calcul
Institution:
Toulouse, INPTDisciplines:
Directors:
Abstract EN:
The search for a computing service which corresponds to the user's needs on a grid is a complex activity. The object of this work consists in using a formal description of the dedicated domain : the data, the operators and their properties. This description is carried out as an algebraic specification. Trading then consists in computing an equational matching modulo the theory associated to the specification, between the term representing the required service and the terms representing the available services. We propose two algorithms inspired from a traversal of the solution search tree constrained by an amount of energy. We present some applications in linear algebra and optimization and an interaction between these domain.
Abstract FR:
La recherche de services de calcul qui correspondent aux besoins d'un utilisateur sur une grille de calcul est une activité complexe. L'objet des travaux réalisés consiste à utiliser une description formelle du domaine d'application comportant l'ensemble des données et des opérateurs du domaine ainsi que leurs propriétés. Cette description est effectuée sous forme d'une spécification algébrique. Le courtage consiste alors à effectuer un filtrage modulo la théorie équationnelle associée à la spécification, entre le terme représentant le service souhaité et les termes représentant les services disponibles. Nous proposons et avons implanté deux algorithmes différents inspirés d'un parcours de l'arbre de recherche des solutions contraint par une quantité d'énergie. Nous présentons les domaines applicatifs algèbre linéaire et optimisation et nous nous intéressons au traitement de la combinaison de domaines. Enfin, nous concluons et présentons les perspectives principales de nos travaux.