[Home Page of ENTCS] [Volume/Issue List of ENTCS] [Author Index of ENTCS]
85.2 2 Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello & Paolo Torroni Specification and Verification of Agent Interaction using Social Integrity Constraints <subtitle> <abstract> In this paper we propose a logic-based social approach to the specification and verification of agent interaction. We firstly introduce integrity constraints about social acts (called <i>Social Integrity Constraints</i>) as a formalism to express interaction protocols and to give a social semantics to the behavior of agents, focusing on communicative acts. Then, we discuss several possible kinds of verification of agent interaction, and we show how social integrity constraints can be used to verify some properties in this respect. We focus our attention on static verification of compliance of agent specifications to interaction protocols, and on run-time verification, based on agents' observable behavior. We adopt as a running example the NetBill security transaction protocol for the selling and delivery of information goods. </pre> <p></p> <img src="_files/line.gif" width="100%" height="5"><p> © <a href="http://www.elsevier.com/gej-ng/31/29/23/show/.global/copyright.htt">Copyright</a> 2003, Elsevier Science, All rights reserved. </p> <img src="_files/line.gif" width="100%" height="5"><p> <p> © <a HREF=/gej-ng/31/29/23/show/.global/copyright.htt>Copyright</a> 2003, Elsevier Science, All rights reserved. </body> </html>