Skip to Main content Skip to Navigation

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.
Document type :
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download
Contributor : Ehtesham Zahoor Connect in order to contact the contributor
Submitted on : Wednesday, February 10, 2010 - 1:13:56 PM
Last modification on : Saturday, October 16, 2021 - 11:26:05 AM
Long-term archiving on: : Thursday, October 18, 2012 - 3:00:21 PM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads