A declarative approach to timed-properties aware Web services composition

Ehtesham Zahoor 1 Olivier Perrin 1 Claude Godart 1
1 SCORE - Services and Cooperation
Inria Nancy - Grand Est, LORIA - NSS - Department of Networks, Systems and Services
Abstract : In this paper we propose a paradigm shift for the timed-properties representation, computation and verification, introducing a declarative approach. The proposed approach provides a flexible event calculus based composition design, that allows for modeling different aspects such as the local temporal constraints for Web services with different synchronization modes and the global temporal constraints associated with the composition process. Further, given the composition design with timed properties representation, an event calculus reasoner can be used to compute a solution satisfying associated timed-properties. Then, in case of empty solution set the reasoner can provide near-miss models and/or unsatisfied clauses using a SAT solver to handle model verification. In addition, our approach also handles the run-time monitoring of the composition process and as our approach is declarative, it allows for recovery actions such as the re-computation of the composition plan to cater for detected run-time violations to design level service contracts.
Type de document :
Rapport
[Intern report] 2010
Domaine :
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00455405
Contributeur : Ehtesham Zahoor <>
Soumis le : mercredi 10 février 2010 - 13:13:56
Dernière modification le : jeudi 11 janvier 2018 - 06:23:13
Document(s) archivé(s) le : jeudi 18 octobre 2012 - 15:00:21

Fichier

timed_properties_aware_composi...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00455405, version 1

Collections

Citation

Ehtesham Zahoor, Olivier Perrin, Claude Godart. A declarative approach to timed-properties aware Web services composition. [Intern report] 2010. 〈inria-00455405〉

Partager

Métriques

Consultations de la notice

277

Téléchargements de fichiers

162