An Application ofWeb-Service Interfaces

Author

Beyer, Dirk ; Chakrabarti, Arindam ; Henzinger, Thomas A. ; Seshia, Sanjit A.

Author_Institution

Simon Fraser Univ., Toronto

fYear

2007

fDate

9-13 July 2007

Firstpage

831

Lastpage

838

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.

Keywords

Web services; formal specification; formal verification; multi-threading; Web-service interfaces; dynamic thread creation; formal specification; formal verification; method-invocation behavior; multi-threaded distributed components; recursion thread creation; safety specification; Application software; Computer networks; Context-aware services; Logic; Safety; Software maintenance; Software standards; Software testing; Standards development; Web services;

fLanguage

English

Publisher

ieee

Conference_Titel

Web Services, 2007. ICWS 2007. IEEE International Conference on

Conference_Location

Salt Lake City, UT

Print_ISBN

0-7695-2924-0

Type

conf

DOI

10.1109/ICWS.2007.32

Filename

4279678