Protocol specification and verification by using computational logic

WOA 2005 - 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems

Volumn , Issue , 2005, Pages 184-192

  Chesani, Federico ^a   Ciampolini, Anna ^a   Mello, Paola ^a   Montali, Marco ^a   Torroni, Paolo ^a   Alberti, Marco ^b   Storari, Sergio ^b  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b UNIVERSITY OF FERRARA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION FIELDS; COMPUTATIONAL LOGIC; FORMAL SPECIFICATION AND VERIFICATION; GRAPHICAL NOTATION; LOGIC-BASED FRAMEWORKS; MEDICAL GUIDELINES; PROTOCOL DESCRIPTION; PROTOCOL SPECIFICATIONS;

E-LEARNING;

LOGIC PROGRAMMING;

EID: 71549122845     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (31)

1. D. Gollman, "Analysing security protocols," in Proceedings FASec, ser. LNCS, A. Abdallah, P. Ryan, and S. Schneider, Eds., vol. 2629, 2002, pp. 71-80.
2. E. Clarke, O. Grumberg, and D. Peled, Model Checking. MIT Press, 2000.
3. B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, and P. Schnoebelen, Systems and Software Verification. Model-Checking Techniques and Tools. Springer, 2001.
4. "Societies Of ComputeeS (SOCS), IST-2001-32530, http://lia.deis. unibo.it/research/socs/ ." [Online]. Available: HomePage: \url{http://lia.deis.unibo.it/Research/SOCS/}
5. "Massive - sviluppo e verifica di sistemi multiagente basati sulla logica," http://www.di.unito.it/massive/.
6. J. Postel, Transmission Control Protocol, IETF, September 1981, sTD 7, RFC 793.
7. M. P. Huget, "Agent uml notation for multiagent system design," Internet Computing, IEEE, vol. 8, no. 4, pp. 63- 71, Jul-Aug 2004.
8. J. P. M. B. Bauer and J. Odell, "Agent uml: A formalism for specifying multiagent interaction," in Agent-Oriented Software Engineering, P. Ciancarini and M. Wooldridge, Eds. Berlin: Springer-Verlag, 2001, pp. 91-103.
9. R. Cervenka and I. Trencansky, "Agent modeling language, language specification," Whitestein Technologies, Tech. Rep., 2004, draft proposal v. 0.9.
10. M. Alberti, A. Ciampolini, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni, "A social ACL semantics by deontic constraints," in Multi-Agent Systems and Applications III. Proceedings of the 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, ser. Lecture Notes in Artificial Intelligence, V. Mařík, J. Müller, and M. Pěchouček, Eds., vol. 2691. Prague, Czech Republic: Springer-Verlag, June 16-18 2003, pp. 204-213. (Pubitemid 36795880)
11. M. Alberti, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni, "Specification and verification of agent interactions using social integrity constraints," Electronic Notes in Theoretical Computer Science, vol. 85, no. 2, 2003.
12. - "An Abductive Interpretation for Open Societies," in AI*IA 2003: Advances in Artificial Intelligence, Proceedings of the 8th Congress of the Italian Association for Artificial Intelligence, Pisa, ser. Lecture Notes in Artificial Intelligence, A. Cappelli and F. Turini, Eds., vol. 2829. Springer-Verlag, Sept. 23-26 2003, pp. 287-299. [Online]. Available: http://www-aiia2003.di.unipi.it
13. A. Artikis, J. Pitt, and M. Sergot, "Animated specifications of computational societies," in Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), Part III, C. Castelfranchi and W. Lewis Johnson, Eds. Bologna, Italy: ACM Press, July 15-19 2002, pp. 1053-1061. [Online]. Available: http://portal.acm.org/ftgateway. cfm?id=545070&type=pdf&dl=GUIDE&dl=ACM&CFID=4415868&CFTOKEN= 57395936 (Pubitemid 34975342)
14. J. Jaffar and M. Maher, "Constraint logic programming: a survey," Journal of Logic Programming, vol. 19-20, pp. 503-582, 1994.
15. A. C. Kakas, R. A. Kowalski, and F. Toni, "Abductive Logic Programming," Journal of Logic and Computation, vol. 2, no. 6, pp. 719-770, 1993.
16. M. Alberti, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni, "Specification and verification of interaction protocols: a computational logic approach based on abduction," Dipartimento di Ingegneria di Ferrara, Ferrara, Italy, Technical Report CS-2003-03, 2003, available at http://www.ing.unife.it/informatica/tr/.
17. T. H. Fung and R. A. Kowalski, "The IFF proof procedure for abductive logic programming," Journal of Logic Programming, vol. 33, no. 2, pp. 151-165, Nov. 1997.
18. "SICStus prolog user manual, release 3.11.0," Oct. 2003, http://www.sics.se/isl/sicstus/.
19. T. Frühwirth, "Theory and practice of constraint handling rules," Journal of Logic Programming, vol. 37, no. 1-3, pp. 95-138, Oct. 1998. (Pubitemid 128415802)
20. C. Gordon, "Practice guidelines and healthcare telematics; towards an alliance," Health telematics for clinical guidelines and protocols, pp. 3-15, 1995.
21. D. Brock, M. Madigan, J.M.Martinko, and J. Parker, Microbiologia. Prentice-Hall International, Milano, 1995.
22. P. Terenziani, P. Raviola, O. Bruschi, M. Torchio, M. Marzuoli, and G. Molino, "Representing knowledge levels in clinical guidelines," Proceedings of the Join European Conference on Artificial Intelligence in Medicine and Medical Decision Making, vol. 1620, pp. 254-258, 1999.
23. J. Fox, N. Johns, A. Rahmanzadeh, and R. Thomson, "Disseminating medical knowledge: the proforma approach," Artificial Intelligence in Medicine, vol. 14, pp. 157-181, 1998. (Pubitemid 28446552)
24. A. Chavez and P. Maes, "Kasbah: An agent marketplace for buying and selling goods," in Proceedings of the First International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM-96), London, Apr. 1996, pp. 75-90.
25. R. Guttman, A. Moukas, and P. Maes, "Agent-mediated electronic commerce: A survey," Knowledge Engineering Review, vol. 13(2), pp. 143-147, 1998.
26. P. Wurman, M. Wellman, and W. Walsh, "The michigan internet auctionbot: A configurable auction server for human and software agents," in Proceedings of the Second International Conference on Autonomous Agents (Agents-98), 1998.
27. T. Sandholm, "eMediator: a next generation electronic commerce server," in Proceedings of the Fourth International Conference on Autonomous Agents (Agents-2000), 2000.
28. S. Marsh, "Trust in distributed artificial intelligence," in Artificial Social Societies, ser. Lecture Notes in Artificial Intelligence, C. Castelfranchi and E. Werner, Eds., no. 830. Springer-Verlag, 1994, pp. 94-112.
29. B. Cox, J. Tygar, and M. Sirbu, "Netbill security and transaction protocol," in Proceedings of the First USENIX Workshop on Electronic Commerce, New York, July 1995.
30. M. Barbuceanu and M. Fox, "Cool: a language for describing coordination in multi-agent systems," in Proc. of 1st Intnl. Conf. on Multiagent Systems (ICMAS-95), 1995, pp. 17-24.
31. K. Kuwabara, T. Ishida, and N. Osato, "Agentalk:describing multiagent coordination protocols with inheritance," in 7th Int. Conf. on Tools for Artificial Intelligence (ICTAI-95), 1995.