Analysis and Simulation of Web Services (2003)  (Make Corrections)  (4 citations)
Srini Narayanan Sheila McIlraith * An earlier version of

  Home/Search   Context   Related

Links:   ACM

 
View or download:
berkeley.edu/NTL/papers/NM.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  berkeley.edu/NTL/publications (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(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