---
_id: '4575'
abstract:
- lang: eng
  text: '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.'
acknowledgement: This research was supported in part by the NSF grant CCR-0225610
  and by the Swiss National Science Foundation.
author:
- first_name: Dirk
  full_name: Beyer, Dirk
  last_name: Beyer
- first_name: Arindam
  full_name: Chakrabarti, Arindam
  last_name: Chakrabarti
- first_name: Thomas A
  full_name: Thomas Henzinger
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Sanjit
  full_name: Seshia, Sanjit A
  last_name: Seshia
citation:
  ama: 'Beyer D, Chakrabarti A, Henzinger TA, Seshia S. An application of web-service
    interfaces. In: IEEE; 2007:831-838. doi:<a href="https://doi.org/10.1109/ICWS.2007.32
    ">10.1109/ICWS.2007.32 </a>'
  apa: 'Beyer, D., Chakrabarti, A., Henzinger, T. A., &#38; Seshia, S. (2007). An
    application of web-service interfaces (pp. 831–838). Presented at the ICWS: International
    Conference on Web Service, IEEE. <a href="https://doi.org/10.1109/ICWS.2007.32
    ">https://doi.org/10.1109/ICWS.2007.32 </a>'
  chicago: Beyer, Dirk, Arindam Chakrabarti, Thomas A Henzinger, and Sanjit Seshia.
    “An Application of Web-Service Interfaces,” 831–38. IEEE, 2007. <a href="https://doi.org/10.1109/ICWS.2007.32
    ">https://doi.org/10.1109/ICWS.2007.32 </a>.
  ieee: 'D. Beyer, A. Chakrabarti, T. A. Henzinger, and S. Seshia, “An application
    of web-service interfaces,” presented at the ICWS: International Conference on
    Web Service, 2007, pp. 831–838.'
  ista: 'Beyer D, Chakrabarti A, Henzinger TA, Seshia S. 2007. An application of web-service
    interfaces. ICWS: International Conference on Web Service, 831–838.'
  mla: Beyer, Dirk, et al. <i>An Application of Web-Service Interfaces</i>. IEEE,
    2007, pp. 831–38, doi:<a href="https://doi.org/10.1109/ICWS.2007.32 ">10.1109/ICWS.2007.32
    </a>.
  short: D. Beyer, A. Chakrabarti, T.A. Henzinger, S. Seshia, in:, IEEE, 2007, pp.
    831–838.
conference:
  name: 'ICWS: International Conference on Web Service'
date_created: 2018-12-11T12:09:33Z
date_published: 2007-07-30T00:00:00Z
date_updated: 2021-01-12T07:59:49Z
day: '30'
doi: '10.1109/ICWS.2007.32 '
extern: 1
month: '07'
page: 831 - 838
publication_status: published
publisher: IEEE
publist_id: '134'
quality_controlled: 0
status: public
title: An application of web-service interfaces
type: conference
year: '2007'
...