A declarative approach to timed-properties aware Web services composition - Archive ouverte HAL Accéder directement au contenu
Rapport Année : 2010

A declarative approach to timed-properties aware Web services composition

Ehtesham Zahoor
  • Fonction : Auteur
  • PersonId : 855182
Olivier Perrin
  • Fonction : Auteur
  • PersonId : 755677
  • IdRef : 171122291
Claude Godart
  • Fonction : Auteur
  • PersonId : 830462
  • IdRef : 031091733

Résumé

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.

Domaines

Web
Fichier principal
Vignette du fichier
timed_properties_aware_composition_Ehtesham.pdf (204.55 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00455405 , version 1 (10-02-2010)

Identifiants

  • HAL Id : inria-00455405 , version 1

Citer

Ehtesham Zahoor, Olivier Perrin, Claude Godart. A declarative approach to timed-properties aware Web services composition. [Intern report] 2010. ⟨inria-00455405⟩
104 Consultations
91 Téléchargements

Partager

Gmail Facebook X LinkedIn More