Publications
- M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and
C. Schifanella.
Verifying the conformance
of web services to global interaction protocols: a first step.
In M. Bravetti and G. Zavattaro, editors, Proc. of 2nd Int. Workshop on
Web Services and Formal Methods, WS-FM 2005, volume 3670 of
LNCS, pages 257-271. Springer, Versailles, France, September,
2005.
(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)
- M. Baldoni,
C. Baroglio, A. Martelli, and V. Patti.
Reasoning
about interaction protocols for web service composition.
In M. Bravetti and G. Zavattaro, editors, Proc. of 1st Int. Workshop on
Web Services and Formal Methods, WS-FM 2004, volume 105 of
Electronic Notes in Theoretical Computer Science, pages 21-36.
Elsevier Science Direct, 2004.
(PDF)
- M. Baldoni,
C. Baroglio, A. Martelli, and V. Patti.
Reasoning about interaction for
personalizing web service fruition.
In G. Armano, F. De Paoli, A. Omicini, and E. Vargiu, editors, Proc.
of WOA 2003: Dagli oggetti agli agenti, sistemi intelligenti e computazione
pervasiva, Villasimius (CA), Italy, September 2003. Pitagora Editrice
Bologna.
(PDF)
|