A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="https://profs.info.uaic.ro/~dlucanu/cursuri/svs/resurse/p77-narayanan.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Simulation, verification and automated composition of web services
<span title="">2002</span>
<i title="ACM Press">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/s4hirppq3jalbopssw22crbwwa" style="color: black;">Proceedings of the eleventh international conference on World Wide Web - WWW '02</a>
</i>
Preserved Fulltext
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
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/511446.511457">doi:10.1145/511446.511457</a>
<a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/www/NarayananM02.html">dblp:conf/www/NarayananM02</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lzakv4xkj5br3fgk446fypx2nq">fatcat:lzakv4xkj5br3fgk446fypx2nq</a>
</span>
more »
... 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, verification and composition. We also provide an analysis of the complexity of these tasks under different restrictions to the DAML-S composite services we can describe. Finally, we present an implementation of our analysis techniques. This implementation takes as input a DAML-S description of a Web service, automatically generates a Petri Net and performs the desired analysis. Such a tool has broad applicability both as a back end to existing manual Web service composition tools, and as a stand-alone tool for Web service developers.
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170811122903/https://profs.info.uaic.ro/~dlucanu/cursuri/svs/resurse/p77-narayanan.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/2a/78/2a78645c7fdf88ff8188a84341d2a4ecbf43c315.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/511446.511457">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
acm.org
</button>
</a>