The Community for Technology Leaders
2006 IEEE International Conference on Web Services (ICWS'06) (2006)
Chicago, Illinois, USA
Sept. 18, 2006 to Sept. 22, 2006
ISBN: 0-7695-2669-1
pp: 497-504
Raman Kazhamiakin , DIT, University of Trento, Italy
Paritosh Pandya , Tata Institute of Fundamental Research, India
Marco Pistore , DIT, University of Trento, Italy
ABSTRACT
In this paper we address the problem of qualitative and quantitative analysis of timing aspects of Web service compositions defined as a set of BPEL4WS processes. We introduce a formalism, called Web service timed state transition systems (WSTTS), to capture the timed behavior of the composite Web services. We also exploit an interval temporal logic to express complex timed assumptions and requirements on the system's behavior. Building on top of this formalization, we provide techniques and tools for model-checking BPEL4WS compositions against time-related requirements. We also present a symbolic algorithm that can be used to compute duration bounds of behavioral intervals that satisfy such requirements. We perform a preliminary experimental evaluation of our approach and tools with the help of an e-Government case study
INDEX TERMS
program verification, specification languages, temporal logic, Web services
CITATION

R. Kazhamiakin, P. Pandya and M. Pistore, "Representation, Verification, and Computation of Timed Properties in Web," 2006 IEEE International Conference on Web Services (ICWS'06)(ICWS), Chicago, Illinois, USA, 2008, pp. 497-504.
doi:10.1109/ICWS.2006.112
89 ms
(Ver 3.3 (11022016))