Changes between Version 1 and Version 2 of CompositionalBiblio

Timestamp:

Mar 1, 2012, 12:14:12 PM (12 years ago)

Author:

cecile

Comment:

--

CompositionalBiblio

@@ -642 +642 @@
 </pre></td>
 </tr>
+
+<tr id="6128043" class="entry">
+        <td>Feng, Y., Veeramani, A., Kanagasabai, R. &amp; Rho, S.&nbsp;</td>
+        <td>Automatic Service Composition via Model Checking <p class="infolinks">[<a href="javascript:toggleInfo('6128043','abstract')">Abstract</a>] [<a href="javascript:toggleInfo('6128043','bibtex')">BibTeX</a>]</p></td>
+        <td>2011</td>
+        <td>Services Computing Conference (APSCC), 2011 IEEE Asia-Pacific, pp. 477 -482&nbsp;</td>
+        <td>inproceedings</td>
+        <td><a href="http://dx.doi.org/10.1109/APSCC.2011.54">DOI</a> &nbsp;</td>
+</tr>
+<tr id="abs_6128043" class="abstract noshow">
+        <td colspan="7"><b>Abstract</b>: Web service composition is the process of constructing a set of Web services which, when invoked with some user input in a particular order, can produce the output to the user's requirements. This paper proposes a novel model checking based approach for automated service composition. Modeling services as a set of interleaved processes in a class of process algebra, we formulate service composition as model checking asserted on a specific type of property on the model. We show that, under this formulation, correct composition workflows can be constructed from the counter-examples provided by model checking. With a case study on online hotel booking services, we demonstrate that the proposed approach can support directed a cyclic composition graphs and the generated composition graphs are automatically verified.</td>
+</tr>
+<tr id="bib_6128043" class="bibtex noshow">
+<td colspan="7"><b>BibTeX</b>:
+<pre>
+@inproceedings{6128043,
+  author = {Yuzhang Feng and Veeramani, A. and Kanagasabai, R. and Seungmin Rho},
+  title = {Automatic Service Composition via Model Checking},
+  booktitle = {Services Computing Conference (APSCC), 2011 IEEE Asia-Pacific},
+  year = {2011},
+  pages = {477 -482},
+  doi = {http://dx.doi.org/10.1109/APSCC.2011.54}
+}
+</pre></td>
+</tr>
+
+
 </tbody>
 </table>