Skip to main content
SpringerLink
Log in

Electronic Institutions Infrastructure for e-Chartering

  • Conference paper
Engineering Societies in the Agents World VIII (ESAW 2007)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 4995))

Included in the following conference series:

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).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. 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. 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. 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. Diller, A.: An introduction to Formal Methods, 1st edn. John Wiley & Sons, Inc, Chichester (1990)

    MATH  Google Scholar 

  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. Esteva, M.: Electronic Institutions: from specification to development. IIIA Ph.D. Monographs, vol. 19 (2003)

    Google Scholar 

  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. 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. Noriega, P., Sierra, C.: Towards layered dialogical agents. In: Third International Workshop on Agent Theories, Architectures and Languages, ATAL 1996 (1996)

    Google Scholar 

  11. Noriega, P.: Agent-mediated auctions: the fishmarket metaphor. IIIA Ph.D. Monographs, vol. 8 (1997)

    Google Scholar 

  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. Partsakoulakis, I., Vouros, G.: Agent-Enhanced Collaborative Activity in Organized Settings. International Journal of Cooperative Information Systems (IJCIS) 15(1), 119–154 (2006)

    Article  Google Scholar 

  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. 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)

    Article  Google Scholar 

  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. JADE: Java Agent Development Framework, http://jade.tilab.com/

  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. 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)

    Chapter  Google Scholar 

  20. Vazquez-Salceda, J., Dignum, V., Dignum, F.: Organizing Multiagent Systems. Autonomous Agents and Multi-Agent Systems 11(3), 307–360 (2005)

    Article  Google Scholar 

  21. Grosz, B.J., Kraus, S.: Collaborative plans for complex group action. Artificial Intelligence 86(2), 269–357 (1996)

    Article  MathSciNet  Google Scholar 

  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. 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. 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. Partsakoulakis, I.: Team-oriented behaviour in dynamic agent organizations. PhD Dissertation in Greek (2007)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Zambonelli, F., Jennings, N., Wooldridge, M.: Developing multiagent systems: The gaia methodology. ACM Transactions on Software Engineering and Methodology 12(3), 317–370 (2003)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. FIPA-The Foundation for Intelligent Physical Agents (March 2003), http://www.fipa.org

  32. REPAST, http://repast.sourceforge.net

  33. FIPA-Agent UML (2005), http://www.auml.org

  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)

    Chapter  Google Scholar 

  35. The Digital Ship, http://www.thedigitalship.com/DSmagazine/digital%20ship%20archive/digital%20ship%20nov/echartering.htm#_Toc528400402

  36. Batrinca, G.: E-chartering web based platforms between success and failure. In: TRANS-NAV 2007, Gdynia, Polland (2007)

    Google Scholar 

  37. Maritime e-Commerce Association, “Standards of E-chartering”, http://www.meka.org.uk/standards.asp?standardsID=2

Download references

Author information

Authors and Affiliations

  1. Department of Information and Communication Systems Engineering, University of the Aegean, 83200, Karlovassi, Samos, Greece

    Manolis Sardis & George Vouros

Authors
  1. Manolis Sardis
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. George Vouros
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Alexander Artikis Gregory M. P. O’Hare Kostas Stathis George Vouros

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sardis, M., Vouros, G. (2008). Electronic Institutions Infrastructure for e-Chartering. In: Artikis, A., O’Hare, G.M.P., Stathis, K., Vouros, G. (eds) Engineering Societies in the Agents World VIII. ESAW 2007. Lecture Notes in Computer Science(), vol 4995. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87654-0_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-87654-0_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-87653-3

  • Online ISBN: 978-3-540-87654-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation