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 Citations (Scopus)

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 - 2004
EventThirteenth International World Wide Web Conference Proceedings, WWW2004 - New York, NY, United States
Duration: May 17 2004May 22 2004

Other

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

Fingerprint

Semantic Web
Web services

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)

CTR-S : A logic for specifying contracts in Semantic Web Services. / Davulcu, Hasan; Kifer, Michael; Ramakrishnan, I. V.

Thirteenth International World Wide Web Conference Proceedings, WWW2004. 2004. p. 876-885.

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

Davulcu, H, Kifer, M & Ramakrishnan, IV 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, New York, NY, United States, 5/17/04.
Davulcu H, Kifer M, Ramakrishnan IV. CTR-S: A logic for specifying contracts in Semantic Web Services. In Thirteenth International World Wide Web Conference Proceedings, WWW2004. 2004. p. 876-885
Davulcu, Hasan ; Kifer, Michael ; Ramakrishnan, I. V. / CTR-S : A logic for specifying contracts in Semantic Web Services. Thirteenth International World Wide Web Conference Proceedings, WWW2004. 2004. pp. 876-885
@inproceedings{39384cfd58dc47f580c0f91e7bd1d7f9,
title = "CTR-S: A logic for specifying contracts in Semantic Web Services",
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.",
keywords = "Contracts, Services Composition, Web Services",
author = "Hasan Davulcu and Michael Kifer and Ramakrishnan, {I. V.}",
year = "2004",
language = "English (US)",
isbn = "158113844X",
pages = "876--885",
booktitle = "Thirteenth International World Wide Web Conference Proceedings, WWW2004",

}

TY - GEN

T1 - CTR-S

T2 - A logic for specifying contracts in Semantic Web Services

AU - Davulcu, Hasan

AU - Kifer, Michael

AU - Ramakrishnan, I. V.

PY - 2004

Y1 - 2004

N2 - 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.

AB - 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.

KW - Contracts

KW - Services Composition

KW - Web Services

UR - http://www.scopus.com/inward/record.url?scp=19944421797&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=19944421797&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:19944421797

SN - 158113844X

SN - 9781581138443

SP - 876

EP - 885

BT - Thirteenth International World Wide Web Conference Proceedings, WWW2004

ER -