A CONTRACT BASED APPROACH FOR PROVIDING RELIABILITY TO SERVICES BASED APPLICATIONS - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2010

A CONTRACT BASED APPROACH FOR PROVIDING RELIABILITY TO SERVICES BASED APPLICATIONS

UNE APPROCHE A BASE DE CONTRATS POUR LA COORDINATION FIABLE DES SERVICES

Résumé

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.
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.
Fichier principal
Vignette du fichier
ThesisAPortilla.pdf (933.77 Ko) Télécharger le fichier
Loading...

Dates et versions

tel-00665439 , version 1 (01-02-2012)

Identifiants

  • HAL Id : tel-00665439 , version 1

Citer

Alberto Portilla-Flores. A CONTRACT BASED APPROACH FOR PROVIDING RELIABILITY TO SERVICES BASED APPLICATIONS. Software Engineering [cs.SE]. Université de Grenoble, 2010. English. ⟨NNT : ⟩. ⟨tel-00665439⟩
183 Consultations
405 Téléchargements

Partager

Gmail Facebook X LinkedIn More