Advertisement

Electronic Institutions Infrastructure for e-Chartering

  • Manolis Sardis
  • George Vouros
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4995)

Abstract

The need of methodologies and software tools that ease the development of applications where distributed (human or software) agents search, trade and negotiate resources is great. On the other hand, electronic institutions of multiple agents can play a main role in the development of systems where normative specifications play a vital role. Electronic institutions define the rules of the game in agent societies, by fixing what agents are permitted and forbidden to do and under what circumstances. In this paper we present a case study on the use of specific tools, supporting the specification, analysis and execution of institutions for Maritime e-Chartering, proposing an infrastructure for Internet-based Virtual Chartering Markets (MAVCM).

Keywords

Electronic Institutions Maritime e-Chartering Multi agent systems 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Guinchiglia, F., Mylopoulos, J., Perini, A.: The Tropos Software Development Methodology: Processes, Models and Diagrams. In: Giunchiglia, F., Odell, J.J., Weiss, G. (eds.) AOSE 2002. LNCS, vol. 2585. Springer, Heidelberg (2003)Google Scholar
  2. 2.
    Juan, T., Pearce, A., Sterling, L.: ROADMAP: Extending the Gaia Methodology for Complex Open Systems. In: Proceedings of Autonomous Agents and Multi-Agent Systems – AAMAS 2002, pp. 3–10, Bologna, Italy (2002)Google Scholar
  3. 3.
    Sardis, M., Maglogiannis, I.: Agents Methodologies for e-Chartering Market design. In: 4th IFIP Conference on Artificial Intelligence Applications & Innovations (AIAI), Athens, Greece, pp. 175–185 (2007)Google Scholar
  4. 4.
    Dellarocas, C., Klein, M.: Civil agent societies: Tools for inventing open agent-mediated electronic marketplaces. In: Proceedings ACM Conference on Electronic Commerce (EC 1999) (1999)Google Scholar
  5. 5.
    Diller, A.: An introduction to Formal Methods, 1st edn. John Wiley & Sons, Inc, Chichester (1990)zbMATHGoogle Scholar
  6. 6.
    Esteva, M., de la Cruz, D., Sierra, C.: ISLANDER: an electronic institutions, editor. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multi-agent Systems (AAMAS 2002), Bologna, Italy, pp. 1045–1052 (2002)Google Scholar
  7. 7.
    Esteva, M.: Electronic Institutions: from specification to development. IIIA Ph.D. Monographs, vol. 19 (2003)Google Scholar
  8. 8.
    Esteva, M., Rodriguez-Aguilar, J.A., Arcos, J.L., Sierra, C., Garcia, P.: Institutionali-sing open multi-agent systems, A formal approach. Technical report, Artificial Intelligence Research Institute, Spanish Council for Scientific Research, IIIA Research Report 2001-01 (2001) (2000), http://www.iiia.csic.es/Publications/Reports/2000
  9. 9.
    Esteva, M., Rodriguez-Aguilar, J.A., Rosell, B., Arcos, J.L.: AMELI: An agent-based middleware for electronic institutions. In: Jennings, N., R., Sierra, C., Sonenberg, L., Tambe, M. (eds.). Proc. of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004), pp. 236–243 (2004) Google Scholar
  10. 10.
    Noriega, P., Sierra, C.: Towards layered dialogical agents. In: Third International Workshop on Agent Theories, Architectures and Languages, ATAL 1996 (1996) Google Scholar
  11. 11.
    Noriega, P.: Agent-mediated auctions: the fishmarket metaphor. IIIA Ph.D. Monographs, vol. 8 (1997)Google Scholar
  12. 12.
    Rotriguez-Aguilar, J.A., Noriega, P., Sierra, C., Padget, J.: A java-based electronic auction house. In: Second International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM 1997), pp. 207–224 (1997)Google Scholar
  13. 13.
    Partsakoulakis, I., Vouros, G.: Agent-Enhanced Collaborative Activity in Organized Settings. International Journal of Cooperative Information Systems (IJCIS) 15(1), 119–154 (2006)CrossRefGoogle Scholar
  14. 14.
    Gutknecht, O., Ferber, J.: The MadKit agent platform architecture. In: Agents Workshop on Infrastructure for Multi-Agent Systems, pp. 48–55 (2000)Google Scholar
  15. 15.
    Pynadath, D.V., Tambe, M.: An automated teamwork infrastructure for heterogeneous software agents and domains. Autonomous Agents and Multi-Agent Systems 7(1-2), 71–100 (2003)CrossRefGoogle Scholar
  16. 16.
    Hubner, J.F., Sichman, J.S., Boissier, O.: S-MOISE: A middleware for developing Organized Multi Agent Systems. In: Proc. of the AAMAS 2005 workshop: From Organizations to Organization Oriented Programming (OOOP) (2005)Google Scholar
  17. 17.
    JADE: Java Agent Development Framework, http://jade.tilab.com/
  18. 18.
    Dignum, V., Meyer, J.J., Weigand, H., Dignum, F.: An organization-oriented model for agent societies. In: Proceedings of RASTA workshop (AAMAS) (2002)Google Scholar
  19. 19.
    Odell, J., Van Dyke Parunak, H., Fleischer, M.: The Role of Roles in Designing Effective Agent Organizations. In: Garcia, A.F., de Lucena, C.J.P., Zambonelli, F., Omicini, A., Castro, J. (eds.) Software Engineering for Large-Scale Multi-Agent Systems. LNCS, vol. 2603. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  20. 20.
    Vazquez-Salceda, J., Dignum, V., Dignum, F.: Organizing Multiagent Systems. Autonomous Agents and Multi-Agent Systems 11(3), 307–360 (2005)CrossRefGoogle Scholar
  21. 21.
    Grosz, B.J., Kraus, S.: Collaborative plans for complex group action. Artificial Intelligence 86(2), 269–357 (1996)CrossRefMathSciNetGoogle Scholar
  22. 22.
    Khalil-Ibrahim, I., Kotsis, G., Kronsteiner, R.: Substitution Rules for the Verification of Norm-Compliance in Electronic Institutions. In: Proceedings of the 13th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE 2004), 1524-4547/04 (2004) Google Scholar
  23. 23.
    Purvis, M., Savarimuthu, S., de Oliveira, M., Purvis, M.: Mechanisms for Cooperative behaviour in Agent Institutions. In: Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2006), 0-7695-2748-5/06 (2006)Google Scholar
  24. 24.
    Arcos, J.L., Esteva, M., Noriega, P., Rodriquez-Aguilar, J.A., Sierra, C.: Engineering open environments with electronic institutions. In: Engineering Applications of Artificial Intelligence 18, pp. 191–204. Elsevier, Amsterdam (2005)Google Scholar
  25. 25.
    Partsakoulakis, I.: Team-oriented behaviour in dynamic agent organizations. PhD Dissertation in Greek (2007)Google Scholar
  26. 26.
    Vazquez, J., Dignum, F.: Modeling electronic organizations. In: Mařík, V., Müller, J.P., Pěchouček, M. (eds.) CEEMAS 2003. LNCS (LNAI), vol. 2691, pp. 584–593. Springer, Berlin (2003)CrossRefGoogle Scholar
  27. 27.
    Rodríguez-Aguilar, J.A.: On the Design and Construction of Agent-mediated Electronic Institutions. IIIA Phd Monographs, Universitat Autonoma de Barcelona, Vol. 14 (2001)Google Scholar
  28. 28.
    Zambonelli, F., Jennings, N., Wooldridge, M.: Developing multiagent systems: The gaia methodology. ACM Transactions on Software Engineering and Methodology 12(3), 317–370 (2003)CrossRefGoogle Scholar
  29. 29.
    Sierra, C., Jennings, N.R., Noriega, P., Parsons, S.: A Framework for Argumentation-based Negotiation. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol. 1365, pp. 177–192. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  30. 30.
    Rahwan, I., Sonenberg, L., McBurney, P.: Bargaining and Argument-Based Negotiation: Some Preliminary Comparisons. In: Rahwan, I., Moraïtis, P., Reed, C. (eds.) ArgMAS 2004. LNCS (LNAI), vol. 3366, pp. 176–191. Springer, Heidelberg (2005)Google Scholar
  31. 31.
    FIPA-The Foundation for Intelligent Physical Agents (March 2003), http://www.fipa.org
  32. 32.
  33. 33.
    FIPA-Agent UML (2005), http://www.auml.org
  34. 34.
    Bauer, B., et al.: Agent UML: A Formalism for Specifying Multiagent Interaction. In: Ciancarini, P., Wooldridge, M. (eds.) Agent-Oriented Software Engineering, pp. 91–103. Springer, Berlin (2001)CrossRefGoogle Scholar
  35. 35.
  36. 36.
    Batrinca, G.: E-chartering web based platforms between success and failure. In: TRANS-NAV 2007, Gdynia, Polland (2007)Google Scholar
  37. 37.
    Maritime e-Commerce Association, “Standards of E-chartering”, http://www.meka.org.uk/standards.asp?standardsID=2

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Manolis Sardis
    • 1
  • George Vouros
    • 1
  1. 1.Department of Information and Communication Systems EngineeringUniversity of the AegeanKarlovassiGreece

Personalised recommendations