Citation
Dirk Beyer, Arindam Chakrabarti, Tom Henzinger, Sanjit Seshia. "An Application of Web-Service Interfaces". IEEE International Conference on Web Services (ICWS) 2007, IEEE Computer Society Press, 831-838, July, 2007.

Abstract
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.

Electronic downloads

• An_Application_of_Web-Service_Interfaces.pdf · application/pdf · 181 kbytes
• http://dx.doi.org/10.1109/ICWS.2007.32

• HTML

  Dirk Beyer, Arindam Chakrabarti, Tom Henzinger, Sanjit
  Seshia. <a
  href="http://chess.eecs.berkeley.edu/pubs/222.html"
  >An Application of Web-Service Interfaces</a>, IEEE
  International Conference on Web Services (ICWS) 2007, IEEE
  Computer Society Press, 831-838, July, 2007.

• Plain text

  Dirk Beyer, Arindam Chakrabarti, Tom Henzinger, Sanjit
  Seshia. "An Application of Web-Service
  Interfaces". IEEE International Conference on Web
  Services (ICWS) 2007, IEEE Computer Society Press, 831-838,
  July, 2007.

• BibTeX

  @inproceedings{BeyerChakrabartiHenzingerSeshia07_ApplicationOfWebServiceInterfaces,
      author = {Dirk Beyer and Arindam Chakrabarti and Tom
                Henzinger and Sanjit Seshia},
      title = {An Application of Web-Service Interfaces},
      booktitle = {IEEE International Conference on Web Services
                (ICWS) 2007},
      organization = {IEEE Computer Society Press},
      pages = {831-838},
      month = {July},
      year = {2007},
      abstract = {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.},
      URL = {http://chess.eecs.berkeley.edu/pubs/222.html}
  }
  

Posted by Arindam Chakrabarti on 9 May 2007.
Groups: chess chesslocal
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.