Reasoning About Interaction Protocols for Web Service Composition
Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti · Electronic Notes in Theoretical Computer Science · 2004
In this work, we face the problem of web service composition, arguing the importance of the inclusion, in a web service description, of the high-level communication protocol used by a service to interact with a client. The work is set in the same multi-agent research area from which DAML- S is derived: reasoning about actions and about the change produced by actions on the world. In this perspective web services are viewed as actions, either simple or complex, characterized by preconditions and effects. In our proposal, interaction is interpreted as the effect of communicative action execution, so that it can be reasoned about.