{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:21:02Z","timestamp":1725492062188},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540756972"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75698-9_21","type":"book-chapter","created":{"date-parts":[[2007,10,3]],"date-time":"2007-10-03T22:26:03Z","timestamp":1191450363000},"page":"318-333","source":"Crossref","is-referenced-by-count":4,"title":["Formal Specification of Multi-agent Systems by Using EUSMs"],"prefix":"10.1007","author":[{"given":"Mercedes G.","family":"Merayo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ismael","family":"Rodr\u00edguez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"21_CR1","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1017\/S0269888998002082","volume":"13","author":"R. Guttman","year":"1998","unstructured":"Guttman, R., Moukas, A., Maes, P.: Agent-mediated electronic commerce: A survey. The Knowledge Engineering Review\u00a013(2), 147\u2013159 (1998)","journal-title":"The Knowledge Engineering Review"},{"key":"21_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/BFb0053679","volume-title":"Cooperative Information Agents II. Learning, Mobility and Electronic Commerce for Information Discovery on the Internet","author":"T. Sandholm","year":"1998","unstructured":"Sandholm, T.: Agents in electronic commerce: Component technologies for automated negotiation and coalition formation. In: Klusch, M., Weiss, G. (eds.) CIA 1998. LNCS (LNAI), vol.\u00a01435, pp. 113\u2013134. Springer, Heidelberg (1998)"},{"issue":"3","key":"21_CR3","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1145\/295685.295708","volume":"42","author":"M. Ma","year":"1999","unstructured":"Ma, M.: Agents in e-commerce. Communications of the ACM\u00a042(3), 79\u201380 (1999)","journal-title":"Communications of the ACM"},{"issue":"4","key":"21_CR4","doi-asserted-by":"publisher","first-page":"985","DOI":"10.1109\/TKDE.2003.1209014","volume":"15","author":"M. He","year":"2003","unstructured":"He, M., Jennings, N., Leung, H.: On agent-mediated electronic commerce. IEEE Trans. on Knowledge and Data Engineering\u00a015(4), 985\u20131003 (2003)","journal-title":"IEEE Trans. on Knowledge and Data Engineering"},{"issue":"3","key":"21_CR5","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1023\/B:AGNT.0000038029.82331.c0","volume":"9","author":"C. Sierra","year":"2004","unstructured":"Sierra, C.: Agent-mediated electronic commerce. Autonomous Agents and Multi-Agent Systems\u00a09(3), 285\u2013301 (2004)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"21_CR6","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/S0957-4174(02)00070-2","volume":"23","author":"P. Gruer","year":"2002","unstructured":"Gruer, P., Hilaire, V., Koukam, A., Cetnarowicz, K.: A formal framework for multi-agent systems analysis and design. Expert Systems and Applications\u00a023, 349\u2013355 (2002)","journal-title":"Expert Systems and Applications"},{"key":"21_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1007\/978-3-540-30578-1_10","volume-title":"Agent-Oriented Software Engineering V","author":"V. Hilaire","year":"2005","unstructured":"Hilaire, V., Simonin, O., Koukam, A., Ferber, J.: A formal approach to design and reuse agent and multiagent models. In: Odell, J.J., Giorgini, P., M\u00fcller, J.P. (eds.) AOSE 2004. LNCS, vol.\u00a03382, pp. 142\u2013157. Springer, Heidelberg (2005)"},{"key":"21_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/978-3-540-30578-1_4","volume-title":"Agent-Oriented Software Engineering V","author":"L. Cabac","year":"2005","unstructured":"Cabac, L., Moldt, D.: Formal semantics for AUML agent interaction protocol diagrams. In: Odell, J.J., Giorgini, P., M\u00fcller, J.P. (eds.) AOSE 2004. LNCS, vol.\u00a03382, pp. 47\u201361. Springer, Heidelberg (2005)"},{"key":"21_CR9","volume-title":"Model Checking","author":"E. Clarke","year":"2000","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"21_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1007\/3-540-36540-0_3","volume-title":"Agent-Oriented Software Engineering III","author":"M. Benerecetti","year":"2003","unstructured":"Benerecetti, M., Cimatti, A.: Validation of multiagent systems by symbolic model checking. In: Giunchiglia, F., Odell, J.J., Weiss, G. (eds.) AOSE 2002. LNCS, vol.\u00a02585, pp. 32\u201346. Springer, Heidelberg (2003)"},{"key":"21_CR11","volume-title":"The Art of Software Testing","author":"G. Myers","year":"2004","unstructured":"Myers, G.: The Art of Software Testing, 2nd edn. John Wiley and Sons, West Sussex, England (2004)","edition":"2"},{"key":"21_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1007\/978-3-540-30233-9_24","volume-title":"Applying Formal Methods: Testing, Performance, and M\/E-Commerce","author":"M. N\u00fa\u00f1ez","year":"2004","unstructured":"N\u00fa\u00f1ez, M., Rodr\u00edguez, I., Rubio, F.: Testing of autonomous agents described as utility state machines. In: N\u00fa\u00f1ez, M., Maamar, Z., Pelayo, F.L., Pousttchi, K., Rubio, F. (eds.) FORTE 2004. LNCS, vol.\u00a03236, pp. 322\u2013336. Springer, Heidelberg (2004)"},{"key":"21_CR13","doi-asserted-by":"crossref","first-page":"774","DOI":"10.1145\/967900.968060","volume-title":"SAC\u201904","author":"I. Rodr\u00edguez","year":"2004","unstructured":"Rodr\u00edguez, I.: Formal specification of autonomous commerce agents. In: SAC 2004, pp. 774\u2013778. ACM Press, New York (2004)"},{"key":"21_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1007\/978-3-540-30233-9_3","volume-title":"Applying Formal Methods: Testing, Performance, and M\/E-Commerce","author":"I. Rodr\u00edguez","year":"2004","unstructured":"Rodr\u00edguez, I., N\u00fa\u00f1ez, M., Rubio, F.: Specification of autonomous agents in e-commerce systems. In: N\u00fa\u00f1ez, M., Maamar, Z., Pelayo, F.L., Pousttchi, K., Rubio, F. (eds.) FORTE 2004. LNCS, vol.\u00a03236, pp. 30\u201343. Springer, Heidelberg (2004)"},{"issue":"4","key":"21_CR15","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1002\/stvr.323","volume":"15","author":"M. N\u00fa\u00f1ez","year":"2005","unstructured":"N\u00fa\u00f1ez, M., Rodr\u00edguez, I., Rubio, F.: Specification and testing of autonomous agents in e-commerce systems. Software Testing, Verification and Reliability\u00a015(4), 211\u2013233 (2005)","journal-title":"Software Testing, Verification and Reliability"},{"key":"21_CR16","unstructured":"Chavez, A., Maes, P.: Kasbah: An agent marketplace for buying and selling goods. In: PAAM 1996. 1st Int. Conf. on the Practical Application of Intelligent Agents and Multi-Agent Technology, pp. 75\u201390 (1996)"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"Collins, J., Arunachalam, R., Sadeh, N., Eriksson, J., Finne, N., Janson, S.: The supply chain management game for 2005 trading agent competition. Technical Report CMU-ISRI-04-139, Carnegie Mellon University (2004)","DOI":"10.1145\/1052220.1052235"},{"key":"21_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-48835-9_10","volume-title":"Agent Mediated Electronic Commerce","author":"J. Padget","year":"1999","unstructured":"Padget, J., Bradford, R.: A pi-calculus model of a spanish fish market - preliminary report. In: Noriega, P., Sierra, C. (eds.) AMET 1998 and AMEC 1998. LNCS (LNAI), vol.\u00a01571, pp. 166\u2013188. Springer, Heidelberg (1999)"},{"issue":"3","key":"21_CR19","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/S0304-3975(02)00364-X","volume":"291","author":"K. Adi","year":"2003","unstructured":"Adi, K., Debbabi, M., Mejri, M.: A new logic for electronic commerce protocols. Theoretical Computer Science\u00a0291(3), 223\u2013283 (2003)","journal-title":"Theoretical Computer Science"},{"issue":"6","key":"21_CR20","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/228503.228509","volume":"39","author":"A. Bhimani","year":"1996","unstructured":"Bhimani, A.: Securing the commercial Internet. Communications of the ACM\u00a039(6), 29\u201335 (1996)","journal-title":"Communications of the ACM"},{"key":"21_CR21","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"A. Rao","year":"1996","unstructured":"Rao, A.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS (LNAI), vol.\u00a01038, pp. 42\u201355. Springer, Heidelberg (1996)"},{"key":"21_CR22","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/BFb0026761","volume-title":"Intelligent Agents IV: Agent Theories, Architectures, and Languages","author":"K. Hindriks","year":"1998","unstructured":"Hindriks, K., de Boer, F., van der Hoek, W., Meyer, J.J.: Formal semantics for an abstract agent programming language. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS (LNAI), vol.\u00a01365, pp. 215\u2013229. Springer, Heidelberg (1998)"},{"key":"21_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-0805-2","volume-title":"Handbook of Markov Decision Processes, Methods and Applications","author":"E. Feinberg","year":"2002","unstructured":"Feinberg, E., Shwartz, A.: Handbook of Markov Decision Processes, Methods and Applications. Kluwer Academic Publishers, Boston, MA (2002)"},{"key":"21_CR24","unstructured":"Cassandra, A., Kaelbling, L., Littman, M.: Acting optimally in partially observable stochastic domains. In: 12th National Conf. on Artificial Intelligence (1994)"},{"key":"21_CR25","first-page":"125","volume-title":"IESS 2005","author":"M. N\u00fa\u00f1ez","year":"2005","unstructured":"N\u00fa\u00f1ez, M., Pelayo, F., Rodr\u00edguez, I.: A formal methodology to test complex embedded systems: Application to interactive driving system. In: IESS 2005. IFIP TC10 Working Conf.: International Embedded Systems Symposium, pp. 125\u2013136. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","International Symposium on Fundamentals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75698-9_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T05:39:08Z","timestamp":1684042748000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75698-9_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540756972"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75698-9_21","relation":{},"subject":[]}}