TY - GEN
T1 - CTR-S
T2 - 13th International World Wide Web Conference on Alternate Track, Papers and Posters, WWW Alt. 2004
AU - Davulcu, Hasan
AU - Kifer, Michael
AU - Ramakrishnan, I. V.
PY - 2004/5/19
Y1 - 2004/5/19
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 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.
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 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.
KW - Contracts
KW - Services composition
KW - Web services
UR - http://www.scopus.com/inward/record.url?scp=85011114494&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85011114494&partnerID=8YFLogxK
U2 - 10.1145/1013367.1013391
DO - 10.1145/1013367.1013391
M3 - Conference contribution
AN - SCOPUS:85011114494
T3 - Proceedings of the 13th International World Wide Web Conference on Alternate Track, Papers and Posters, WWW Alt. 2004
SP - 144
EP - 153
BT - Proceedings of the 13th International World Wide Web Conference on Alternate Track, Papers and Posters, WWW Alt. 2004
PB - Association for Computing Machinery, Inc
Y2 - 19 May 2004 through 21 May 2004
ER -