Publications
- M. Baldoni,
C. Baroglio, A. Martelli, V. Patti, and C. Schifanella.
Service selection by choreography-driven
matching.
In T. Gschwind and C. Pautasso, editors, Proc. of the 2nd ECOWS Workshop
on Emerging Web Services Technology, WEWST 2007, volume 313 of
CEUR, Workshop Proceedings, pages 1-17, Halle (Saale), Germany,
January 2008.
(PDF)
- M. Baldoni,
C. Baroglio, A. Martelli, and V. Patti.
Reasoning about
interaction protocols for customizing web service selection and
composition.
Journal of Logic and Algebraic Programming, special issue on Web Services
and Formal Methods, 70(1):53-73, January 2007.
(PDF)
|