A declarative approach to timed-properties aware Web services composition - Archive ouverte HAL Access content directly
Reports Year : 2010

A declarative approach to timed-properties aware Web services composition

Ehtesham Zahoor
  • Function : Author
  • PersonId : 855182
Olivier Perrin
  • Function : Author
  • PersonId : 755677
  • IdRef : 171122291
Claude Godart
  • Function : Author
  • PersonId : 830462


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.
Fichier principal
Vignette du fichier
timed_properties_aware_composition_Ehtesham.pdf (204.55 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

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


  • HAL Id : inria-00455405 , version 1


Ehtesham Zahoor, Olivier Perrin, Claude Godart. A declarative approach to timed-properties aware Web services composition. [Intern report] 2010. ⟨inria-00455405⟩
100 View
87 Download


Gmail Facebook Twitter LinkedIn More