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, V. Patti, and C. Schifanella.
Interaction
Protocols and Capabilities: A Preliminary Report.
In J. J. Alferes, J. Bailey, W. May, and U. Schwertel, editors,
Post-Proc. of the Fourth Workshop on Principles and Practice of
Semantic Web Reasoning, PPSWR 2006, volume 4187 of LNCS,
pages 63-77. Springer, 2006.
(PDF)
- M. Baldoni,
C. Baroglio, A. Martelli, V. Patti, and C. Schifanella.
Interaction
Protocols and Capabilities: a preliminary report.
In J. J. Alferes, J. Bailey, W. May, and U. Schwertel, editors, Proc. of
the 4th International Workshop on Principle and Practice of Semantic Web
Reasoning, PPSWR 2006, pages 61-75, Budva, Montenegro, June 2006.
(PDF)
- M. Baldoni,
C. Baroglio, A. Martelli, V. Patti, and C. Schifanella.
The Need of
Capability Requirements Inside Choreographies and Interaction
Protocols.
In Y. Yan and L. Zhang, editors, Proc. of the 2006 International Workshop
on Service Oriented Techniques, SOT06, pages 17-24, August 2006.
(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 Conversation Protocols in a Logic-based Agent
Language.
In A. Cappelli and F. Turini, editors, AI*IA 2003: Advances in Artificial
Intelligence, 8th Congress of the Italian Association for Artificial
Intelligence, volume 2829 of LNAI, pages 300-311.
Springer, September 2003.
(PDF)
- M. Baldoni,
C. Baroglio, A. Martelli, and V. Patti.
Reasoning about self and others: communicating agents in a modal action logic.
In C. Blundo and C. Laneve, editors, Theoretical Computer Science,
8th Italian Conference, ICTCS'2003, volume 2841 of
LNCS, pages 228-241, Bertinoro, Italy, October 2003. Springer.
(PDF)
- M. Baldoni,
C. Baroglio, and V. Patti.
Personalizing web services by reasoning about interaction protocols.
In Peter P. Slezak, editor, Proc. of the 4th Joint International
Conference on Cognitive Science (ICCS/ASCS-2003), Sydney, Australia,
July 2003.
(PDF)
|