2409 articles – 24 Notices  [english version]
Fiche détaillée Thèses
Université de Grenoble (15/10/2010), CHRISTINE COLLET (Dir.)
Liste des fichiers attachés à ce document : 
PDF
ThesisAPortilla.pdf(962.9 KB)
UNE APPROCHE A BASE DE CONTRATS POUR LA COORDINATION FIABLE DES SERVICES
Alberto Portilla-Flores1

Ce travail de recherche aborde la fiabilité de la coordination de services exprimée comme des propriétés non-fonctionnelles (e.g. la performance, la sécurité, l'atomicité, la persistance, etc.) qui doivent être assurées et renforcées en cours d'exécution. Les systèmes existants, les modèles et les langages fournissent aujourd'hui des solutions ad hoc qui tissent la logique applicative avec les aspects non-fonctionnels, conduisant à des applications difficiles à faire évoluer et à maintenir. Notre approche favorise la séparation et la personnalisation d'aspects tels que la fiabilité. Nous proposons le modèle de contrats COBA pour décrire l'association des propriétés nonfonctionnelles à une coordination de services, et l'évaluation des contrats grâce aux stratégies pour les vérifier et les renforcer en cours d'exécution. Une expérimentation et une validation du modèle ont été réalisées à travers la mise en oeuvre de ROSE, un moteur d'exécution de coordinations de services fiables.
1 :  LIG - Laboratoire d'Informatique de Grenoble
HADAS
COORDINATIONS DE SERVICES PROPRIETES NON FONCIONNELLES ATOMICITE PERSISTANCE FIABILITE

A CONTRACT BASED APPROACH FOR PROVIDING RELIABILITY TO SERVICES BASED APPLICATIONS
This research work addresses reliability of services coordination expressed as nonfunctional properties (e.g., performance, security, atomicity, persistency, etc) that must be ensured and enforced at execution time. Existing systems, models and languages provide ad-hoc solutions that weave the application logic, expressed as services coordination, with non functional properties, leading to applications difficult to evolve and maintain. In contrast, our approach promotes separation of concerns such that reliability can be personalized for a given services coordination where some services can run under persistent connection conditions, others participate in atomic executions, etc. Therefore, we propose a contract model for associating non-functional properties to a services coordination and associated contract evaluation strategies for verifying and enforcing them at run time. A proof of concept is presented, ROSE is a reliable services coordination execution engine able to add exception handling and atomicity properties to a given services coordination.
SERVICES COORDINATION NON FUNCTIONAL PROPERTIES ATOMICITY PERSISTENCY RELIABILITY