---
OA_type: closed access
_id: '4576'
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.
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.
article_processing_charge: No
author:
- first_name: Dirk
  full_name: Beyer, Dirk
  last_name: Beyer
- first_name: Arindam
  full_name: Chakrabarti, Arindam
  last_name: Chakrabarti
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
citation:
  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>'
  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>'
  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>.
  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.
  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.'
  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>.
  short: D. Beyer, A. Chakrabarti, T.A. Henzinger, in:, Proceedings of the 14th International
    Conference on World Wide Web, ACM, 2005, pp. 148–159.
conference:
  end_date: 2005-05-14
  location: Chiba, Japan
  name: 'WWW: World Wide Web Conference'
  start_date: 2005-05-10
date_created: 2018-12-11T12:09:33Z
date_published: 2005-05-01T00:00:00Z
date_updated: 2026-09-30T14:12:48Z
day: '01'
doi: 10.1145/1060745.1060770
extern: '1'
fulldoi: https://doi.org/10.1145/1060745.1060770
language:
- iso: eng
month: '05'
oa_version: None
page: 148 - 159
publication: Proceedings of the 14th international conference on World Wide Web
publication_identifier:
  isbn:
  - '9781595930460'
publication_status: published
publisher: ACM
publist_id: '132'
status: public
title: Web service interfaces
type: conference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
year: '2005'
...