This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
First International Conference on Availability, Reliability and Security (ARES'06)
Timed Modelling and Analysis inWeb Service Compositions
Vienna, Austria
April 20-April 22
ISBN: 0-7695-2567-9
ASCII Text
x 
 
Raman Kazhamiakin, Paritosh Pandya, Marco Pistore, "Timed Modelling and Analysis inWeb Service Compositions," 2012 Seventh International Conference on Availability, Reliability and Security, pp. 840-846, First International Conference on Availability, Reliability and Security (ARES'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/ARES.2006.134,
author = {Raman Kazhamiakin and Paritosh Pandya and Marco Pistore},
title = {Timed Modelling and Analysis inWeb Service Compositions},
journal ={2012 Seventh International Conference on Availability, Reliability and Security},
volume = {0},
year = {2006},
isbn = {0-7695-2567-9},
pages = {840-846},
doi = {http://doi.ieeecomputersociety.org/10.1109/ARES.2006.134},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - 2012 Seventh International Conference on Availability, Reliability and Security
TI - Timed Modelling and Analysis inWeb Service Compositions
SN - 0-7695-2567-9
SP840
EP846
A1 - Raman Kazhamiakin,
A1 - Paritosh Pandya,
A1 - Marco Pistore,
PY - 2006
KW - null
VL - 0
JA - 2012 Seventh International Conference on Availability, Reliability and Security
ER -
 
Raman Kazhamiakin, DIT, University of Trento, Italy
Paritosh Pandya, Tata Institute of Fundamental Research, Mumbai, India
Marco Pistore, DIT, University of Trento, Italy
In this paper we present an approach for modelling and analyzing time-related properties 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 upon of this formalization, we provide techniques and tools for model checking BPEL4WS compositions against time-related requirements. We perform a preliminary experimental evaluation of our approach and tools with the help of the e- Government case study.
Citation:
Raman Kazhamiakin, Paritosh Pandya, Marco Pistore, "Timed Modelling and Analysis inWeb Service Compositions," ares, pp.840-846, First International Conference on Availability, Reliability and Security (ARES'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.