CTR-S: A logic for specifying contracts in Semantic Web Services

Hasan Davulcu, Michael Kifer, I. V. Ramakrishnan

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

Abstract

A requirements analysis in the emerging field of Semantic Web Services (SWS) (see http://daml.org/services/swsl/requirements/) has identified four major areas of research: intelligent service discovery, automated contracting of services, process modeling, and service enactment. This paper deals with the intersection of two of these areas: process modeling as it pertains to automated contracting. Specifically, we propose a logic, called CTR-S, which captures the dynamic aspects of contracting for services. Since CTR-S is an extension of the classical first-order logic, it is well-suited to model the static aspects of contracting as well. A distinctive feature of contracting is that it involves two or more parties in a potentially adversarial situation. CTR-S is designed to model this adversarial situation through its novel model theory, which incorporates certain game-theoretic concepts. In addition to the model theory, we develop a proof theory for CTR-S and demonstrate the use of the logic for modeling and reasoning about Web service contracts.

Original languageEnglish (US)
Title of host publicationThirteenth International World Wide Web Conference Proceedings, WWW2004
Pages876-885
Number of pages10
StatePublished - Dec 1 2004
EventThirteenth International World Wide Web Conference Proceedings, WWW2004 - New York, NY, United States
Duration: May 17 2004May 22 2004

Publication series

NameThirteenth International World Wide Web Conference Proceedings, WWW2004

Other

OtherThirteenth International World Wide Web Conference Proceedings, WWW2004
CountryUnited States
CityNew York, NY
Period5/17/045/22/04

    Fingerprint

Keywords

  • Contracts
  • Services Composition
  • Web Services

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Davulcu, H., Kifer, M., & Ramakrishnan, I. V. (2004). CTR-S: A logic for specifying contracts in Semantic Web Services. In Thirteenth International World Wide Web Conference Proceedings, WWW2004 (pp. 876-885). (Thirteenth International World Wide Web Conference Proceedings, WWW2004).