An Application of Web-Service Interfaces

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Dirk Beyer Articles by Arindam Chakrabarti Articles by Thomas A. Henzinger Articles by Sanjit A. Seshia

IEEE International Conference on Web Services (ICWS 2007)

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 KW - null 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

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICWS.2007.32

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.