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.
| Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00665439 |
| Date | 15 October 2010 |
| Creators | Portilla-Flores, Alberto |
| Publisher | Université de Grenoble |
| Source Sets | CCSD theses-EN-ligne, France |
| Language | English |
| Detected Language | French |
| Type | PhD thesis |
Page generated in 0.0015 seconds