|
Published Articles >> Table of Contents >> Abstract
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06)
pp. 147-156
Specifying Data-Flow Requirements for the Automated Composition of Web Services
Annapaola Marconi, ITC-lrst - Trento, ltaly
Marco Pistore, University of Trento, Italy
Paolo Traverso, ITC-Irst - Trento, Italy
Full Article Text:
 
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEFM.2006.34
Send link to a friend
| Abstract |
|
One of the fundamental ideas of Web Services and Service
Oriented Architecture is the possibility to develop new
applications by composing existing services that are available
on the Web. Several approaches have been proposed
ro tackle the problem of Web Service Composition, but little
effort has been devoted so far to the problem of modeling
the requirements of the composition. However; it is clear
that the possibility to express requirements specibing complex
interactions patterns among the component services is
an essential step to cope with a wide range of composition
problems. In this paper we present a new model which addresses
one of the key aspects of composition requirements,
namely the datcrJow among the component services. We develop
graphical notations and a jormal theory for the new
model ardwe integrate it within an existing automated composition
framework.
|
 Additional Information
|
Citation:
Annapaola Marconi, Marco Pistore, Paolo Traverso,
"Specifying Data-Flow Requirements for the Automated Composition of Web Services,"
sefm,
pp. 147-156,
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06),
2006
|
|
