{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:42:56Z","timestamp":1725518576522},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540876533"},{"type":"electronic","value":"9783540876540"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87654-0_4","type":"book-chapter","created":{"date-parts":[[2008,9,20]],"date-time":"2008-09-20T02:11:01Z","timestamp":1221876661000},"page":"90-107","source":"Crossref","is-referenced-by-count":2,"title":["Electronic Institutions Infrastructure for e-Chartering"],"prefix":"10.1007","author":[{"given":"Manolis","family":"Sardis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Vouros","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36540-0","volume-title":"Agent-Oriented Software Engineering III","author":"F. Guinchiglia","year":"2003","unstructured":"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.\u00a02585. Springer, Heidelberg (2003)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Juan, T., Pearce, A., Sterling, L.: ROADMAP: Extending the Gaia Methodology for Complex Open Systems. In: Proceedings of Autonomous Agents and Multi-Agent Systems \u2013 AAMAS 2002, pp. 3\u201310, Bologna, Italy (2002)","DOI":"10.1145\/544743.544744"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"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\u2013185 (2007)","DOI":"10.1007\/978-0-387-74161-1_19"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1007\/10720026_2"},{"key":"4_CR5","volume-title":"An introduction to Formal Methods","author":"A. Diller","year":"1990","unstructured":"Diller, A.: An introduction to Formal Methods, 1st edn. John Wiley & Sons, Inc, Chichester (1990)","edition":"1"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"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\u20131052 (2002)","DOI":"10.1145\/545056.545069"},{"key":"4_CR7","unstructured":"Esteva, M.: Electronic Institutions: from specification to development. IIIA Ph.D. Monographs, vol. 19 (2003)"},{"key":"4_CR8","unstructured":"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"},{"key":"4_CR9","unstructured":"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\u2013243 (2004)"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Noriega, P., Sierra, C.: Towards layered dialogical agents. In: Third International Workshop on Agent Theories, Architectures and Languages, ATAL 1996 (1996)","DOI":"10.1007\/BFb0013585"},{"key":"4_CR11","unstructured":"Noriega, P.: Agent-mediated auctions: the fishmarket metaphor. IIIA Ph.D. Monographs, vol. 8 (1997)"},{"key":"4_CR12","unstructured":"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\u2013224 (1997)"},{"issue":"1","key":"4_CR13","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1142\/S0218843006001293","volume":"15","author":"I. Partsakoulakis","year":"2006","unstructured":"Partsakoulakis, I., Vouros, G.: Agent-Enhanced Collaborative Activity in Organized Settings. International Journal of Cooperative Information Systems (IJCIS)\u00a015(1), 119\u2013154 (2006)","journal-title":"International Journal of Cooperative Information Systems (IJCIS)"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Gutknecht, O., Ferber, J.: The MadKit agent platform architecture. In: Agents Workshop on Infrastructure for Multi-Agent Systems, pp. 48\u201355 (2000)","DOI":"10.1007\/3-540-47772-1_5"},{"issue":"1-2","key":"4_CR15","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1023\/A:1024176820874","volume":"7","author":"D.V. Pynadath","year":"2003","unstructured":"Pynadath, D.V., Tambe, M.: An automated teamwork infrastructure for heterogeneous software agents and domains. Autonomous Agents and Multi-Agent Systems\u00a07(1-2), 71\u2013100 (2003)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"4_CR16","unstructured":"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)"},{"key":"4_CR17","unstructured":"JADE: Java Agent Development Framework, http:\/\/jade.tilab.com\/"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Dignum, V., Meyer, J.J., Weigand, H., Dignum, F.: An organization-oriented model for agent societies. In: Proceedings of RASTA workshop (AAMAS) (2002)","DOI":"10.1145\/544862.544909"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-35828-5_2","volume-title":"Software Engineering for Large-Scale Multi-Agent Systems","author":"J. Odell","year":"2003","unstructured":"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.\u00a02603. Springer, Heidelberg (2003)"},{"issue":"3","key":"4_CR20","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/s10458-005-1673-9","volume":"11","author":"J. Vazquez-Salceda","year":"2005","unstructured":"Vazquez-Salceda, J., Dignum, V., Dignum, F.: Organizing Multiagent Systems. Autonomous Agents and Multi-Agent Systems\u00a011(3), 307\u2013360 (2005)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"2","key":"4_CR21","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0004-3702(95)00103-4","volume":"86","author":"B.J. Grosz","year":"1996","unstructured":"Grosz, B.J., Kraus, S.: Collaborative plans for complex group action. Artificial Intelligence\u00a086(2), 269\u2013357 (1996)","journal-title":"Artificial Intelligence"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/ENABL.2004.60"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/IAT.2006.88"},{"key":"4_CR24","first-page":"191","volume-title":"Engineering Applications of Artificial Intelligence 18","author":"J.L. Arcos","year":"2005","unstructured":"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\u2013204. Elsevier, Amsterdam (2005)"},{"key":"4_CR25","unstructured":"Partsakoulakis, I.: Team-oriented behaviour in dynamic agent organizations. PhD Dissertation in Greek (2007)"},{"key":"4_CR26","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"584","DOI":"10.1007\/3-540-45023-8_56","volume-title":"Multi-Agent Systems and Applications III","author":"J. Vazquez","year":"2003","unstructured":"Vazquez, J., Dignum, F.: Modeling electronic organizations. In: Ma\u0159\u00edk, V., M\u00fcller, J.P., P\u011bchou\u010dek, M. (eds.) CEEMAS 2003. LNCS (LNAI), vol.\u00a02691, pp. 584\u2013593. Springer, Berlin (2003)"},{"key":"4_CR27","unstructured":"Rodr\u00edguez-Aguilar, J.A.: On the Design and Construction of Agent-mediated Electronic Institutions. IIIA Phd Monographs, Universitat Autonoma de Barcelona, Vol. 14 (2001)"},{"issue":"3","key":"4_CR28","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1145\/958961.958963","volume":"12","author":"F. Zambonelli","year":"2003","unstructured":"Zambonelli, F., Jennings, N., Wooldridge, M.: Developing multiagent systems: The gaia methodology. ACM Transactions on Software Engineering and Methodology\u00a012(3), 317\u2013370 (2003)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"4_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/BFb0026758","volume-title":"Intelligent Agents IV: Agent Theories, Architectures, and Languages","author":"C. Sierra","year":"1998","unstructured":"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.\u00a01365, pp. 177\u2013192. Springer, Heidelberg (1998)"},{"key":"4_CR30","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/978-3-540-32261-0_12","volume-title":"Argumentation in Multi-Agent Systems","author":"I. Rahwan","year":"2005","unstructured":"Rahwan, I., Sonenberg, L., McBurney, P.: Bargaining and Argument-Based Negotiation: Some Preliminary Comparisons. In: Rahwan, I., Mora\u00eftis, P., Reed, C. (eds.) ArgMAS 2004. LNCS (LNAI), vol.\u00a03366, pp. 176\u2013191. Springer, Heidelberg (2005)"},{"key":"4_CR31","unstructured":"FIPA-The Foundation for Intelligent Physical Agents (March 2003), http:\/\/www.fipa.org"},{"key":"4_CR32","unstructured":"REPAST, http:\/\/repast.sourceforge.net"},{"key":"4_CR33","unstructured":"FIPA-Agent UML (2005), http:\/\/www.auml.org"},{"key":"4_CR34","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-44564-1_6","volume-title":"Agent-Oriented Software Engineering","author":"B. Bauer","year":"2001","unstructured":"Bauer, B., et al.: Agent UML: A Formalism for Specifying Multiagent Interaction. In: Ciancarini, P., Wooldridge, M. (eds.) Agent-Oriented Software Engineering, pp. 91\u2013103. Springer, Berlin (2001)"},{"key":"4_CR35","unstructured":"The Digital Ship, http:\/\/www.thedigitalship.com\/DSmagazine\/digital%20ship%20archive\/digital%20ship%20nov\/echartering.htm#_Toc528400402"},{"key":"4_CR36","volume-title":"TRANS-NAV 2007","author":"G. Batrinca","year":"2007","unstructured":"Batrinca, G.: E-chartering web based platforms between success and failure. In: TRANS-NAV 2007, Gdynia, Polland (2007)"},{"key":"4_CR37","unstructured":"Maritime e-Commerce Association, \u201cStandards of E-chartering\u201d, http:\/\/www.meka.org.uk\/standards.asp?standardsID=2"}],"container-title":["Lecture Notes in Computer Science","Engineering Societies in the Agents World VIII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87654-0_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:05:37Z","timestamp":1606165537000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87654-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540876533","9783540876540"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87654-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}