Skip to Main content Skip to Navigation
New interface
Conference papers

DISC-SET: Handling temporal and security aspects in the 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 the DISC-SeT framework to handle the representation, solution computation and verification of temporal and security requirements in the services composition. The proposed approach provides a flexible event calculus based composition design, that allows for modeling different temporal (response time, time-units and other) and security aspects (access control, confidentiality and others) for Web services with different synchronization modes. The use of a formal approach allows to reason about and verify the security and temporal requirements. Further, as the proposed approach is integrated and builds upon the DISC framework, it allows to learn from run-time security and temporal constraints violations to take recovery actions.
Document type :
Conference papers
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download
Contributor : Ehtesham Zahoor Connect in order to contact the contributor
Submitted on : Saturday, December 4, 2010 - 7:01:26 AM
Last modification on : Thursday, April 7, 2022 - 3:08:58 AM
Long-term archiving on: : Monday, November 5, 2012 - 11:20:43 AM


Files produced by the author(s)


  • HAL Id : inria-00537976, version 1



Ehtesham Zahoor, Olivier Perrin, Claude Godart. DISC-SET: Handling temporal and security aspects in the Web services composition. ECOWS 2010 - The 8th IEEE European Conference on Web Services, Dec 2010, Ayia Napa, Cyprus. ⟨inria-00537976⟩



Record views


Files downloads