(Enter summary)
Abstract: Web services -- Web-accessible programs and devices -- are a key application area for the Semantic Web. With the proliferation of Web
services and the evolution towards t he Semantic Web comes the opportunity to automate various Web services tasks. Our objective is to
enable markup and automated reasoning technology to describe, simulate, compose, test, and verify compositions of Web services. We
take as our starting point the DAML-S DAML+OIL ontology for describing the capabilities of Web... (Update)
Similar documents based on text: More All
0.2: Simulation, Verification and Automated Composition of Web.. - Narayanan, McIlraith (2002)
(Correct)
0.2: Information Retrieval on the Web - Page 6 - Broder, Henzinger (1998)
(Correct)
0.2: Web Information Retrieval - Henzinger
(Correct)
Related documents from co-citation: More All
4: WonderWeb Deliverable D (context) - Borgo, Gangemi et al. - 2002
2: Curing the Web's Identity Crisis (context) - Pepper, Schwab - 2003
2: Aspectoriented programming: Introduction (context) - Elrad, Filman et al. - 2001
BibTeX entry: (Update)
S. Narayanan and S. McIlraith. Analysis and Simulation of Web Services. Computer Networks, 42(5):675--693, 2003. http://citeseer.ist.psu.edu/604134.html More
@misc{ narayanan03analysis,
author = "S. Narayanan and S. McIlraith",
title = "Analysis and Simulation of Web Services",
text = "S. Narayanan and S. McIlraith. Analysis and Simulation of Web Services.
Computer Networks, 42(5):675--693, 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/604134.html" }
Citations (may not include all citations):
371
Fast Planning through Planning Graph Analysis
- Blum, Furst - 1997 ACM DBLP
367
analysis and applications (context) - Murata - 1989
296
Scientific American (context) - Berners-Lee, Hendler et al. - 2001
103
An algorithm for the general Petri net reachability problem (context) - Mayr - 1984 ACM DBLP
97
Information and Computation (context) - Meseguer, Mont - 1990 DBLP
88
The DARPA Agent Markup Language (context) - Hendler, McGuinness - 2000
72
Unifying SAT-based and graph-based planning
- Kautz, Selman - 1999 ACM DBLP
50
a concurrent programming language based on the situation cal.. (context) - De Giacomo, Lesperance et al. - 2000
47
Information and Computation (context) - Winskel - 1987 DBLP
45
Knowledge in Action: Logical Foundations for Specifying and .. (context) - Reiter - 2001
34
Adapting Golog for composition of semantic Web services
- McIlraith, Son - 2002 DBLP
28
Computational complexity of planning and approximate plannin..
- Baral, Kreinovich et al. - 2000 ACM DBLP
21
Special Issue on the Semantic Web (context) - McIlraith, Son et al. - 2001
12
Reasoning About Actions in Narrative Understanding
- Narayanan - 1999 ACM DBLP
12
An Axiomatic Semantics for RDF (context) - Fikes, McGuinness - 2001
11
National Institute of Standards and Technology (context) - Schlenoff, Gruninger et al. - 2001
10
Problems concerning fairness and temporal logic for conflict.. (context) - Howell, Rosier - 1989 ACM DBLP
8
IBROW3 - An intelligent brokering service for knowledge-comp..
- Benjamins, Plaza et al. - 1998
7
Partial order behaviour and structure of Petri Nets (context) - Best, Desel - 1990 DBLP
6
Concurrent Execution Semantics for DAML-S with Subtypes
- Ankolekar, Huch et al. - 2002
5
Deductive composition of Web software agents (context) - Waldinger - 2000
5
Special Issue on the Semantic Web (context) - Hendler - 2001
5
Shortest paths in reachability graphs (context) - Desel, Esparza - 1993 ACM DBLP
5
FAQs on OIL: the Ontology Inference Layer (context) - van Harmelen, Horrocks - 2000
4
Woflan: A Petri-net-based workflow analyzer (context) - van der Aalst - 1999
4
Application and Theory of Petri Nets (context) - Ellis, Nutt - 1993 ACM
3
Server: The Complete Reference (context) - Lowe - 2001
2
International Semantic Web Working Symposium (context) - Coalition, Burstein et al. - 2001
2
Foundations of Software Technology & Theoretical Computer Sc.. (context) - Cheng, Esperza - 1993
2
Personal communications (context) - Gruninger - 2001 ACM DBLP
2
Querying and accessing information on the semantic web (context) - Denker, Hobbs et al. - 2001
2
International Workshop on Non-Monotonic Reasoning (context) - McIlraith, Fadel
1
WC Architecture Domain (context) - Web, Working et al. - 2002
http://www.gotdotnet.com/team/xml_wsspecs/xlangc
http://www.bpmi.org/bpml.esp
http://www.w3.org/TR/wscl10/
http://wwws.sun.com/software/xml/developers/wsci/
http://www.daml.org/services/
http://www.ibm.com/developerworks/library/ws-bpel/
Documents on the same site (http://www.icsi.berkeley.edu/NTL/publications.html): More
A Connectionist Encoding of Parameterized Schemas.. - Shastri, Grannes.. (1997)
(Correct)
Spatial Schematicity of Prepositions in Neural Grammar - Bergen, Chang
(Correct)
Bayesian Learning of Probabilistic Language Models - Stolcke (1994)
(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