Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Mascardi, Viviana Patti, Claudio Schifanella, Laura Torasso:
Personalization, verification and conformance for logic-based communicating agents.

Complete Text [
.pdf, 80KB]
In: Proceedings of WOA 2005 Simulazione e Analisi Formale di Sistemi Complessi (WOA 2005), Camerino, Italy (14th - 16th November 2005), 177-183, 2005
© Pitagora Editrice Bologna

This paper is an overview of the work that we have carried on in the last two years in the context of the MASSiVE project. The main research lines have concerned personalization of the interaction with web services, personalization of courseware, web services interoperability, and integrated environments for agent oriented software engineering. All of them can be seen as applications of different reasoning techniques to a declarative specification of interaction. A declarative specification makes the study of properties easy and allows a fast prototyping of applications. In particular, we applied reasoning about actions and change to the personalized selection and composition of web services and to the construction of courseware that satisfies the user.s needs and goals. This kind of reasoning has also been integrated in the DCaseLP MAS prototyping environment. Declarative specifications have also been helpful to face the problem of proving policy conformance in a way that guarantees web service interoperability. Finally, the adoption of process languages for web services for expressing the procedural behavior of adaptive BDI-style agents have been explored.



	author = {Matteo Baldoni and Cristina Baroglio and Alberto Martelli and Viviana Mascardi and Viviana Patti and Claudio Schifanella and Laura Torasso},
	title = {Personalization, verification and conformance for logic-based communicating agents},
	booktitle = {Proceedings of WOA 2005 Simulazione e Analisi Formale di Sistemi Complessi, Camerino, Italy (14th--16th November 2005)},
	year = {2005},
	pages = {177--183},
	url = {}

Imprint      Privacy Disclaimer