Hasan Davulcu, Michael Kifer, I.V. Ramakrishnan  Home/Search
Context
Related
| www2004.org/proceedings/doc...2p144.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: www2004.org/proceeding...contents (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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 ... (Update)
Active bibliography (related documents): More All
0.8: Boolean Games - Harrenstein, van der Hoek, Meyer.. (Correct)
0.4: A Logical Framework for Scheduling Workflows Under.. - Senkul, Kifer, Toroslu (2002) (Correct)
0.4: A Logic Framework for Reasoning on Workflow Executions - Greco, Guzzo, Sacca (2004) (Correct)
Similar documents based on text: More All
0.2: Cv - Davulcu (Correct)
0.2: Browsing Fatigue in Handhelds: Semantic Bookmarking Spells.. - Mukherjee, Ramakrishnan (2005) (Correct)
0.2: Logic Based Approaches to Workflow Modeling and.. - Mukherjee, Davulcu.. (2003) (Correct)
BibTeX entry: (Update)
@inproceedings{ davulcu-ctrs,
author = "Hasan Davulcu and Michael Kifer and I.V. Ramakrishnan",
title = "{CTR--S}: A Logic for Specifying Contracts in Semantic Web Services",
booktitle = "WWW2004",
pages = "144+",
year = "2004",
url = "citeseer.ist.psu.edu/davulcu04ctrs.html" }
Citations (may not include all citations):1097 Automatic verification of finite-state concurrent systems us.. (context) - Clarke, Emerson et al. - 1986
725 Temporal and modal logic (context) - Emerson - 1990
604 Reasoning About Knowledge (context) - Fagin, Halpern et al. - 1994
413 Logical foundations of object-oriented and frame-based langu.. - Kifer, Lausen et al. - 1995
282 A Course in Game Theory (context) - Osborne, Rubinstein - 1998
119 Alternating-time temporal logic - Alur, Henzinger et al. - 1997
56 Web services flow language (context) - Leymann - 2001
55 Planning for temporally extended goals - Bacchus, Kabanza - 1996
47 Concurrency and communication in transaction logic - Bonner, Kifer - 1996
46 Infinite games played on finite graphs (context) - McNaughton - 1993
27 Synthesizing distributed constrained events from transaction.. - Singh - 1996
25 and Information (context) - Hintikka, Language - 1973
20 Extended transaction processing based on dependency rules (context) - Gunthor - 1993
18 Sweetdeal: representing agent contracts with exceptions usin.. - Grosof, Poon - 2003
16 Logic based modeling and analysis of workflows - Davulcu, Kifer et al. - 1998
16 Automated negotiation from declarative contract descriptions - Reeves, Wellman et al. - 2001
14 Logic of games and its applications (context) - Parikh - 1985
13 A logic for programming database transactions - Bonner, Kifer - 1998
11 Semantical considerations on workflows: An algebra for inter.. - Singh - 1995
9 Scheduling workflows by enforcing intertask dependencies - Attie, Singh et al. - 1996
4 and datalog (context) - Bonner, transactions - 1999
1 Survey of logic based approaches to workflow modeling (context) - Mukherjee, Davulcu et al. - 2003
1 Transactions of the Society for Computer Simulation Internat.. (context) - Schlenoff, Gruninger et al. - 2000
Documents on the same site (http://www.www2004.org/proceedings/docs/contents.htm): More
A Community-Aware Search Engine - Almeida, Almeida (2004) (Correct)
HuskySim: A Simulation Toolkit for Application Scheduling.. - Kerasha, Greenshields (2004) (Correct)
Reactive Rules Inference from Dynamic Dependency Models - Adi, Etzion, Gilat.. (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC