Personalizing web services by reasoning about interaction protocols

In this work, we argue the importance of including in the emerging standards for web service descriptions also the high-level communication protocol, used by a service to interact with its clients. We will motivate this claim by setting web services in a multi-agent framework, where web services are implemented as software agents that interact with other agents, the personal assistants, used to crawl the Internet trying to pursue specific goals. In our proposal, interaction is interpreted as the effect of action execution; we will show a typical situation in which the ability of reasoning about interactions and conversations is crucial for personalizing the service fruition.