Reasoning about interaction protocols for customizing web service selection and composition

This work faces the problem of web service selection and composition, discussing the advantages that derive from the inclusion, in a web service declarative description, of the high-level communication protocol, that is used by the service for interacting with its partners, allowing a rational inspection of it. The inspiration comes from research in the field of multi-agent systems, where communication plays a fundamental role. In particular, we refer to a logic framework for reasoning about actions and about the change produced by actions on the world, presenting an extension of an agent logic programming language, that accounts for communicative actions and conversation protocols. Web services are, then, viewed as actions, either simple and characterized by preconditions and effects, or complex and identified by their behavior. Interaction is interpreted as the effect of communicative actions on the mental states of the agents that are involved. Key words: Semantic web-service com...

• Type: Journal
• Year: 2007
• Where: JLP
• Authors: Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
• Keywords: Communicative Actions, Conversation Protocols, JLP 2007, Web Services