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

30 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 CT R-S, which captures the dynamic aspects of contracting for services. Since CT R-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. CT R-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 CT R-S and demonstrate the use of the logic for modeling and reasoning about Web service contracts.

Original languageEnglish (US)
Title of host publicationProceedings of the 13th International World Wide Web Conference on Alternate Track, Papers and Posters, WWW Alt. 2004
PublisherAssociation for Computing Machinery, Inc
Pages144-153
Number of pages10
ISBN (Electronic)1581139128, 9781581139129
DOIs
StatePublished - May 19 2004
Event13th International World Wide Web Conference on Alternate Track, Papers and Posters, WWW Alt. 2004 - New York, United States
Duration: May 19 2004May 21 2004

Other

Other13th International World Wide Web Conference on Alternate Track, Papers and Posters, WWW Alt. 2004
CountryUnited States
CityNew York
Period5/19/045/21/04

Keywords

  • Contracts
  • Services composition
  • Web services

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Software

Fingerprint Dive into the research topics of 'CTR-S: A logic for specifying contracts in semantic web services'. Together they form a unique fingerprint.

Cite this