{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T15:32:32Z","timestamp":1743003152981,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642544316"},{"type":"electronic","value":"9783642544323"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54432-3_15","type":"book-chapter","created":{"date-parts":[[2014,6,2]],"date-time":"2014-06-02T17:11:48Z","timestamp":1401729108000},"page":"289-307","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Design and Implementation of Very Large Agent-Based Systems"],"prefix":"10.1007","author":[{"given":"Renato","family":"Levy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Goutam","family":"Satapathy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,3,17]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Cossentino M (2005) From requirements to code with the PASSI methodology. In: B.~Henderson-Sellers, P. Giorgini (eds) Agent-oriented methodologies. Idea Group Inc., pp 79\u2013101, Chapter 4","DOI":"10.4018\/978-1-59140-581-8.ch004"},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-70657-7_1","volume-title":"Agent-oriented software engineering II, Montreal, Canada","author":"HVD Parunak","year":"2002","unstructured":"Parunak HVD, Odell J (2002) Representing social structure in UML. In: Wooldridge M, Weiss G, Ciancarini P (eds) Agent-oriented software engineering II, Montreal, Canada. Springer, Heidelberg, pp 1\u201316"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Cao L, ZhangC, Zhou MC (2008) Engineering open complex agent systems: a case study. IEEE transactions on systems, man, and cybernetics, part C: applications and reviews, vol 38(4)","DOI":"10.1109\/TSMCC.2008.923863"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Cabri G, Ferrari L, Zambonelli F (2004) Role-based approaches for engineering interactions in large-scale multi-agent systems. In: Software engineering for multi-agent systems II, Lecture Notes in Computer Science, vol 2940, pp 243\u2013263","DOI":"10.1007\/978-3-540-24625-1_14"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Odell J, Parunak HVD (2003) The role of roles in designing effective agent organizations. In: Software engineering for large-scale multi-agent systems. Springer, Heidelberg","DOI":"10.1007\/3-540-35828-5_2"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Cysneiros LM, Yu E (2003) Requirements engineering for large-scale multi-agent systems. In: Software engineering for large-scale multi-agent systems, Lecture Notes in Computer Science, vol 2603, pp 39\u201356","DOI":"10.1007\/3-540-35828-5_3"},{"key":"15_CR7","unstructured":"Dhavacheivan P (2005) Complexity measures for software systems: towards multi-agent based software testing. In: Proceedings of the international conference on intelligent sensing and information processing, January 2005"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Zheng M, Alagear VS (2005) Conformance testing of BDI properties in agent-based systems. In: 12th Asia-Pacific Software Engineering Conference (ASPEC), December 2005","DOI":"10.1109\/APSEC.2005.54"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Roche R, Blunier B, Miraoui A, Hilaire V, Koukam A (2010) Multi-agent systems for grid energy management: a short review. In: IECON 2010-36th annual conference on IEEE Industrial Electronics Society, November, pp 3341\u20133346","DOI":"10.1109\/IECON.2010.5675295"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Zeman A, Prokopenko M, Guo Y, Li R (2008) Adaptive control of distributed energy management: a comparative study. In: Second IEEE international conference on self-adaptive and self-organizing systems, SASO\u201908, October 2008, pp 84\u201393","DOI":"10.1109\/SASO.2008.60"},{"key":"15_CR11","unstructured":"Koster M (2011) Reliable multi-agent system for a large scale distributed energy trading network. Doctoral dissertation, Master\u2019s thesis, University of Groningen"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Li J, Poulton G, James G (2007) Agent-based distributed energy management. In: AI 2007: advances in artificial intelligence. Springer, Berlin, pp 569\u2013578","DOI":"10.1007\/978-3-540-76928-6_58"},{"issue":"4","key":"15_CR13","doi-asserted-by":"crossref","first-page":"373","DOI":"10.3233\/ICA-2010-0350","volume":"17","author":"R Badawy","year":"2010","unstructured":"Badawy R, Hirsch B, Albayrak S (2010) Agent-based coordination techniques for matching supply and demand in energy networks. Integr Comput Aided Eng 17(4):373\u2013382","journal-title":"Integr Comput Aided Eng"},{"issue":"5","key":"15_CR14","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1080\/08839514.2010.481483","volume":"24","author":"J Li","year":"2010","unstructured":"Li J, Poulton G, James G (2010) Coordination of distributed energy resource agents. Appl Artif Intell 24(5):351\u2013380","journal-title":"Appl Artif Intell"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Capodieci N, Pagani GA, Cabri G, Aiello M (2011) Smart meter aware domestic energy trading agents. In: Proceedings of the 2011 workshop on E-energy market challenge, June 2011, pp 1\u201310","DOI":"10.1145\/1998640.1998641"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"George S, Satapathy G, Manikonda V, Wieland F, Refai MS, Dupee R (2011) Build 8 of the Airspace Concept Evaluation System. In: AIAA Modeling and Simulation Technologies Conference, August 2011","DOI":"10.2514\/6.2011-6373"},{"key":"15_CR17","unstructured":"CybelePro User manual, http:\/\/www.i-a-i.com\/products\/doc\/cybelepro\/UsersGuide-CybelePro.pdf"},{"key":"15_CR18","unstructured":"http:\/\/www.fipa.org\/specs\/fipa00029\/SC00029H.pdf"},{"key":"15_CR19","unstructured":"Bell Labs, Basic Spin manual. http:\/\/cm.bell-labs.com\/cm\/cs\/what\/spin\/Man\/Manual.html"},{"key":"15_CR20","unstructured":"Peng W, et al (2009) Graph-based methods for the analysis of large-scale multiagent systems. In: Proceedings of the 8th international conference on autonomous agents and multiagent systems, pp 545\u2013552"},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"Giannakopoulou D, Magee J (2003) Fluent model checking for event-based systems. In: ESEC\/FSE\u201903, Helsinki, Finland, September 1\u20135","DOI":"10.1145\/949952.940106"},{"key":"15_CR22","volume-title":"Concurrency\u2014state models and java programs","author":"J Magee","year":"1999","unstructured":"Magee J, Kramer J (1999) Concurrency\u2014state models and java programs. Wiley, Chichester"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"Magee J, Kramer J, Giannakopoulou D (1999) Behaviour analysis of software architectures. In: 1st working IFIP conference on software architecture (WICSAI), San Antonio, TX, February 22\u201324, 1999","DOI":"10.1007\/978-0-387-35563-4_3"}],"container-title":["Agent-Oriented Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54432-3_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T00:56:59Z","timestamp":1675990619000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-54432-3_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642544316","9783642544323"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54432-3_15","relation":{},"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"17 March 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}