Using constraints and process algebra for specification of first-class agent interaction protocols

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4457 LNAI, Issue , 2007, Pages 245-264

  Miller, Tim ^a   McBurney, Peter ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; NETWORK PROTOCOLS; PROBLEM SOLVING; SPECIFICATIONS;

AGENT PROGRAMS; HARD-CODING DECISION MECHANISMS; INTERACTION PROTOCOLS;

SOFTWARE AGENTS;

EID: 38349066293     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75524-1_14     Document Type: Conference Paper

References (27)

1. Alberti, M., Daolio, D., Torroni, P., Gavanelli, M., Lamma, E., Mello, P.: Specification and verification of agent interaction protocols in a logic-based system. In: Haddad, H.M., Omicini, A., Wainwright, R.L. (eds.) Proceedings of the 2004 ACM Symposium on Applied Computing, pp. 72-78. ACM Press, New York (2004)
2. Baader, F., Calvanese, D., McGuinness, D.L., Nardiand, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation, Applications. Cambridge University Press, Cambridge (2003)
3. Blackburn, P., van Benthem, J., Wolter, F.: Handbook of Modal Logic. Elsevier, North Holland (2006)
4. Cabac, L., Moldt, D.: Formal semantics for AUML agent interaction protocol diagrams. In: Odell, J.J., Giorgini, P., Müller, J.P. (eds.) AOSE 2004. LNCS, vol. 3382, pp. 47-61. Springer, Heidelberg (2005)
5. De Boer, F.S., Gabbrielli, M., Marchiori, E., Palamidessi, C.: Proving concurrent constraint programs correct. ACM Transactions on Programming Languages and Systems 19(5), 685-725 (1997)
6. de Boer, F.S., de Vries, W., Meyer, Ch. J.-J., van Eijk, R.M., van der Hoek, W.: Process algebra and constraint programming for modelling interactions in MAS. Applicable Algebra in Engineering, Communication and Computing 16, 113-150 (2005)
7. Desai, N., Mallya, A.U., Chopra, A.K., Singh, M.P.: OWL-P: A methodology for business process modeling and enactment. In: Kolp, M., Bresciani, P., Henderson-Sellers, B., Winikoff, M. (eds.) AOIS 2005. LNCS (LNAI), vol. 3529, pp. 79-94. Springer, Heidelberg (2006)
8. d'Inverno, M., Kinny, D., Luck, M.: Interaction protocols in Agentis. In: Proceedings of the 3rd International Conference on Multi Agent Systems, pp. 112-119. IEEE Press, New York (1998)
9. FIPA: FIPA communicative act library specification (2001)
10. Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)
11. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International (1985)
12. Kowalski, R., Sergot, M.: A logic-based calculus of events. New Generation Computing 4, 67-95 (1986)
13. McBurney, P., Parsons, S.: Games that agents play: A formal framework for dialogues between autonomous agents. Journal of Logic, Language and Information 11(3), 315-334 (2002)
14. McGinnis, J., Robertson, D., Walton, C.: Protocol synthesis with dialogue structure theory. In: Parsons, S., Maudet, N., Moraitis, P., Rahwan, I. (eds.) ArgMAS 2005. LNCS (LNAI), vol. 4049, pp. 199-216. Springer, Heidelberg (2006)
15. Milner, R.: A Calculus of Communicating Systems. Springer, Heidelberg (1980)
16. Milner, R.: Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press, Cambridge (1999)
17. Odell, J., Van Dyke Parunak, H., Bauer, B.: Extending UML for agents. In: Wagner, G., Lesperance, Y., Yu, E. (eds.) Proceedings of the Agent-Oriented Information Systems Workshop at the 17th National conference on Artificial Intelligence, pp. 3-17 (2000)
18. OWL: Web Ontology Language (February 2004), http://www.w3.org/TR/2004/ REC-owl-features-20040210
19. Paurobally, S., Cunningham, J., Jennings, N.R.: A formal framework for agent interaction semantics. In: Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 91-98. ACM Press, New York (2005)
20. Plotkin, G.: A structural approach to operational semantics. Technical Report DAIMI FN-1.9, Aarhus University, Computer Science Department (September 1981)
21. Reed, C., Norman, T.J., Jennings, N.R.: Negotiating the semantics of agent communications languages. Computational Intelligence 18(2), 229-252 (2002)
22. Robertson, D.: Multi-agent coordination as distributed logic programming. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol. 3132, pp. 416-430. Springer, Heidelberg (2004)
23. Saraswat, V.A., Rinard, M., Panangaden, P.: Semantic foundations of concurrent constraint programming. In: Proceedings of the 18th ACM Symposium on Principles of Programming Languages, pp. 333-352. ACM Press, New York (1991)
24. Serrano, J.M., Ossowski, S., Saugar, S.: Reusable components for implementing agent interactions. In: Bordini, R.H., Dastani, M., Dix, J., Seghrouchni, A.E.F. (eds.) Programming Multi-Agent Systems. LNCS (LNAI), vol. 3862, pp. 101-119. Springer, Heidelberg (2006)
25. Smith, G., Derrick, J.: Abstract specification in Object-Z and CSP. In: George, C.W., Miao, H. (eds.) ICFEM 2002. LNCS, vol. 2495, pp. 108-119. Springer, Heidelberg (2002)
26. Viroli, M., Ricci, A.: Instructions-based semantics of agent mediated interaction. In: Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M. (eds.) Third International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 102-109. IEEE Computer Society Press, Los Alamitos (2004)
27. Yolum, P., Singh, M.P.: Reasoning about commitments in the event calculus: An approach for specifying and executing protocols. Annals of Mathematics and AI 42(1-3), 227-253 (2004)