[cssmall.gif] Find: ________________________________ Documents Citations Analysis and Simulation of Web Services Srini Narayanan1 Sheila McIlraith2 [home.gif] Home [more.gif] More [context.gif] Context [document.gif] Document [related.gif] Related [tellfriend.gif] Tell A Friend [edit.gif] Update View or download from Source: [lbracket.gif] [document.gif] http://www.icsi.berkeley.edu/NTL/papers/NM.pdf Different Cached copies: [pdf.gif] PDF [compressed.gif] PS.gz [ps.gif] PS [image.gif] PNG Image [compare.gif] Compare [html.gif] HTML [new.gif] Other links: Update Update Cache [help.gif] Help [edit.gif] Enter Author Homepages Abstract: [edit.gif] Update 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 the 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 services. We define the semantics for a relevant subset of DAML-S in terms of a first-order logical language. With the semantics in hand, we encode our service descriptions in a Petri Net formalism and provide decision procedures for Web service simulation,... Active bibliography (related documents): 0.5: Modeling Dynamic Domains with ConGolog - Yves Lesperance Todd ( Update Update) Similar documents based on text: [more.gif] More [all.gif] All 0.3: Semantic Web Technologies for Aerospace 1 - Paul Kogut Lockheed ( Update Update) 0.2: Unknown - ( Update Update) 0.2: The structure of events Srini Narayanan.. - Day By Day ( Update Update) 0.1: CONCEPT TO REALITY What the emerging Semantic Web mean to your .. - Where Is The ( Update Update) 0.1: Semantic Web Services: and current technologies - Rubn Lara Ruben ( Update Update) BibTeX entry: [edit.gif] Update @misc{ sheila-analysis, author = "Srini Narayanan Sheila", title = "Analysis and Simulation of Web Services" } Citations (may not include all citations): 2 a concurrent programming language based on the situation cal.. (context) - De Giacomo, Lesperance et al. 1 Woflan: A Petri-net-based workflow analyzer - van der Aalst 1 Adapting Golog for composition of semantic Web services (context) - McIlraith, Son Rating Window [rate.gif] Rate this article: [r1.gif] [r2.gif] [r3.gif] [r4.gif] [r5.gif] (best) Comment Window Short Comment: _______________ _______________ _______________ _______________ Submit Comment Comment More on this article [more.gif] More about SMEALSearch [submit.gif] Submit documents [feedback.gif] Feedback SMEALSearch eBusiness Research Center (eBRC) | SMEAL College of Business | The Pennsylvania State University SMEALSearch.org | People | Terms of Service | Privacy Policy © 2000-2005 eBRC