An application of web-service interfaces Beyer, Dirk Chakrabarti, Arindam Thomas Henzinger ; https://orcid.org/0000−0002−2985−7724 Seshia, Sanjit A 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. IEEE 2007 info:eu-repo/semantics/conferenceObject doc-type:conferenceObject text http://purl.org/coar/resource_type/c_5794 https://research-explorer.ista.ac.at/record/4575 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> info:eu-repo/semantics/altIdentifier/doi/10.1109/ICWS.2007.32 info:eu-repo/semantics/closedAccess