loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
IEEE International Conference on Web Services (ICWS 2007)
An Application of Web-Service Interfaces
Salt Lake City, Utah, USA
July 09-July 13
ISBN: 0-7695-2924-0
ASCII Text
x 
 
Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger, Sanjit A. Seshia, "An Application of Web-Service Interfaces," Web Services, IEEE International Conference on, pp. 831-838, IEEE International Conference on Web Services (ICWS 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/ICWS.2007.32,
author = {Dirk Beyer and Arindam Chakrabarti and Thomas A. Henzinger and Sanjit A. Seshia},
title = {An Application of Web-Service Interfaces},
journal ={Web Services, IEEE International Conference on},
volume = {0},
year = {2007},
isbn = {0-7695-2924-0},
pages = {831-838},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICWS.2007.32},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Web Services, IEEE International Conference on
TI - An Application of Web-Service Interfaces
SN - 0-7695-2924-0
SP831
EP838
A1 - Dirk Beyer,
A1 - Arindam Chakrabarti,
A1 - Thomas A. Henzinger,
A1 - Sanjit A. Seshia,
PY - 2007
VL - 0
JA - Web Services, IEEE International Conference on
ER -
 
Dirk Beyer, Simon Fraser University
Arindam Chakrabarti, UC Berkeley
Thomas A. Henzinger, EPFL Lausanne
Sanjit A. Seshia, UC Berkeley
We present a case study to illustrate our formalism for the specification and verification of the method-invocation behavior of web-service applications constructed from asynchronously interacting multi-threaded distributed components. Our model is expressive enough to allow the representation of recursion and dynamic thread creation, and yet permits the algorithmic analysis of the following two questions: (1) Does a given service satisfy a safety specification? (2) Can a given service be substituted by a another service in an arbitrary context? Our case study is based on the Amazon.com E-Commerce Services (ECS) platform.
Citation:
Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger, Sanjit A. Seshia, "An Application of Web-Service Interfaces," icws, pp.831-838, IEEE International Conference on Web Services (ICWS 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.