*banner
 

An Application of Web-Service Interfaces
Dirk Beyer, Arindam Chakrabarti, Tom Henzinger, Sanjit Seshia

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

Citation formats  
  • 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.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.

©2002-2018 Chess