ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 30/6 - 2011  - pp.685-710  - doi:10.3166/tsi.30.685-710
TITRE
Composition dynamique de services de calcul. Utilisation des spécifications algébriques pour décrire la fonctionnalité des services

TITLE
Dynamique composition of services. Using algebraic specification to describe services functionality

RÉSUMÉ
Dans les environnements fortement répartis, comme les grilles ou nuages, l’existence d’un grand nombre de services disponibles va de pair avec le besoin de rechercher ceux-ci. Une requête portant sur le nom est résolue par annuaire, mais une requête définie par les fonctionnalités attendues par l’utilisateur est moins évidente. La question devient particulièrement ardue quand une composition de services est nécessaire. Cet article présente une approche sémantique de la recherche de services qui utilise une description fonctionnelle des services inspirée des spécifications algébriques et un algorithme de recherche basé sur l’unification équationnelle. La requête ainsi que les services sont décrits par un terme sur l’algèbre de leur domaine. L’algorithme d’unification équationnelle fournit un E-unificateur, qui donne le service et les valeurs que doivent prendre ses paramètres. Ces valeurs peuvent être des termes complexes résolus par un service ou une composition de services. Notre approche est particulièrement intéressante quand les services sont volatiles car elle permet une composition dynamique.


ABSTRACT
In highly distributed environments, the existence of a large number of services goes with the need to locate them. A named based request is resolved using directories, but a request based on functionality expected by the user is less obvious. The question becomes particularly difficult when a service composition is required. We propose to use a functional description of services based on algebraic specification and a search algorithm based on equational unification. Requests and services are described using term from the correspond domain specific algebra. The equational unification algorithm provides an E-unifier, which gives the service and the values of its parametres. These values can be complex terms solved by basic or composite services. Our approach is particularly interesting when services are volatile since it allows dynamic composition.


AUTEUR(S)
Aurélie HURAULT, Marc PANTEL, Michel DAYDÉ

MOTS-CLÉS
composition de services, courtage de services, spécifications algébriques.

KEYWORDS
service composition, service trader, algebraic specifications.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (271 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier