[{"oa_version":"None","page":"148 - 159","day":"01","author":[{"full_name":"Beyer, Dirk","first_name":"Dirk","last_name":"Beyer"},{"last_name":"Chakrabarti","full_name":"Chakrabarti, Arindam","first_name":"Arindam"},{"first_name":"Thomas A","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger"}],"month":"05","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","language":[{"iso":"eng"}],"OA_type":"closed access","citation":{"apa":"Beyer, D., Chakrabarti, A., &#38; Henzinger, T. A. (2005). Web service interfaces. In <i>Proceedings of the 14th international conference on World Wide Web</i> (pp. 148–159). Chiba, Japan: ACM. <a href=\"https://doi.org/10.1145/1060745.1060770\">https://doi.org/10.1145/1060745.1060770</a>","mla":"Beyer, Dirk, et al. “Web Service Interfaces.” <i>Proceedings of the 14th International Conference on World Wide Web</i>, ACM, 2005, pp. 148–59, doi:<a href=\"https://doi.org/10.1145/1060745.1060770\">10.1145/1060745.1060770</a>.","ista":"Beyer D, Chakrabarti A, Henzinger TA. 2005. Web service interfaces. Proceedings of the 14th international conference on World Wide Web. WWW: World Wide Web Conference, 148–159.","ieee":"D. Beyer, A. Chakrabarti, and T. A. Henzinger, “Web service interfaces,” in <i>Proceedings of the 14th international conference on World Wide Web</i>, Chiba, Japan, 2005, pp. 148–159.","ama":"Beyer D, Chakrabarti A, Henzinger TA. Web service interfaces. In: <i>Proceedings of the 14th International Conference on World Wide Web</i>. ACM; 2005:148-159. doi:<a href=\"https://doi.org/10.1145/1060745.1060770\">10.1145/1060745.1060770</a>","short":"D. Beyer, A. Chakrabarti, T.A. Henzinger, in:, Proceedings of the 14th International Conference on World Wide Web, ACM, 2005, pp. 148–159.","chicago":"Beyer, Dirk, Arindam Chakrabarti, and Thomas A Henzinger. “Web Service Interfaces.” In <i>Proceedings of the 14th International Conference on World Wide Web</i>, 148–59. ACM, 2005. <a href=\"https://doi.org/10.1145/1060745.1060770\">https://doi.org/10.1145/1060745.1060770</a>."},"doi":"10.1145/1060745.1060770","publication":"Proceedings of the 14th international conference on World Wide Web","publication_identifier":{"isbn":["9781595930460"]},"abstract":[{"lang":"eng","text":"We present a language for specifying web service interfaces. A web service interface puts three kinds of constraints on the users of the service. First, the interface specifies the methods that can be called by a client, together with types of input and output parameters; these are called signature constraints. Second, the interface may specify propositional constraints on method calls and output values that may oc- cur in a web service conversation; these are called consis- tency constraints. Third, the interface may specify temporal constraints on the ordering of method calls; these are called protocol constraints. The interfaces can be used to check, first, if two or more web services are compatible, and second, if a web service A can be safely substituted for a web ser- vice B. The algorithm for compatibility checking verifies that two or more interfaces fulfill each others’ constraints. The algorithm for substitutivity checking verifies that service A demands fewer and fulfills more constraints than service B."}],"publication_status":"published","article_processing_charge":"No","fulldoi":"https://doi.org/10.1145/1060745.1060770","publist_id":"132","conference":{"location":"Chiba, Japan","start_date":"2005-05-10","name":"WWW: World Wide Web Conference","end_date":"2005-05-14"},"acknowledgement":"This research was supported in part by the ONR grant N00014-02-1-0671 and by the NSF grants CCR-0234690 and CCR-0225610.","type":"conference","_id":"4576","publisher":"ACM","status":"public","year":"2005","date_updated":"2026-09-30T14:12:48Z","extern":"1","title":"Web service interfaces","date_published":"2005-05-01T00:00:00Z","date_created":"2018-12-11T12:09:33Z"}]