TY - GEN
T1 - CTR-S
T2 - Thirteenth International World Wide Web Conference Proceedings, WWW2004
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
T3 - Thirteenth International World Wide Web Conference Proceedings, WWW2004
SP - 876
EP - 885
BT - Thirteenth International World Wide Web Conference Proceedings, WWW2004
Y2 - 17 May 2004 through 22 May 2004
ER -