{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:14:26Z","timestamp":1725574466725},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540406655"},{"type":"electronic","value":"9783540451334"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45133-4_7","type":"book-chapter","created":{"date-parts":[[2011,1,8]],"date-time":"2011-01-08T16:45:22Z","timestamp":1294505122000},"page":"79-91","source":"Crossref","is-referenced-by-count":3,"title":["Towards Interaction Protocol Operations for Large Multi-agent Systems"],"prefix":"10.1007","author":[{"given":"Joaqu\u00edn","family":"Pe\u00f1a","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafael","family":"Corchuelo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 Luis","family":"Arjona","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Andersen, E.: Conceptual Modeling of Objects: A Role Modeling Approach. PhD thesis, University of Oslo (1997)"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BFb0053034","volume-title":"ECOOP \u201992 European Conference on Object-Oriented Programming","author":"E.P. Andersen","year":"1992","unstructured":"Andersen, E.P., Reenskaug, T.: System design by composing structures of interacting objects. In: Lehrmann Madsen, O. (ed.) ECOOP 1992. LNCS, vol.\u00a0615, pp. 133\u2013152. Springer, Heidelberg (1992)"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Bauer, B., Muller, J., Odell, J.: Agent uml: A formalism for specifying multiagent interaction. In: Wooldridge, M., Ciancarini, P. (eds.) Proceedings of 22nd International Conference on Software Engineering (ISCE), Berlin. LNCS, pp. 91\u2013103. Springer, Heidelberg (2001)","DOI":"10.1007\/3-540-44564-1_6"},{"key":"7_CR4","volume-title":"Object-Oriented Design with Applications","author":"G. Booch","year":"1990","unstructured":"Booch, G.: Object-Oriented Design with Applications. Benjamin\/Cummings, Redwood City (1990)"},{"key":"7_CR5","volume-title":"Object\u2013Oriented Analysis and Design with Applications","author":"G. Booch","year":"1994","unstructured":"Booch, G.: Object\u2013Oriented Analysis and Design with Applications, 2nd edn. Addison-Wesley, Reading (1994)","edition":"2"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Caire, G., Leal, F., Chainho, P., Evans, R., Garijo, F., Gomez, J., Pavon, J., Kearney, P., Stark, J., Massonet, P.: Agent oriented analysis using MESSAGE\/UML. In: Wooldridge, M.J., Weiss, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol.\u00a02222, pp. 101\u2013108. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-70657-7_8"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/BFb0057032","volume-title":"ECOOP \u201991 European Conference on Object-Oriented Programming","author":"D. Champeaux de","year":"1991","unstructured":"de Champeaux, D.: Object-oriented analysis and top-down software development. In: America, P. (ed.) ECOOP 1991. LNCS, vol.\u00a0512, pp. 360\u2013376. Springer, Heidelberg (1991)"},{"key":"7_CR8","volume-title":"Object-Oriented Analysis. Computing Series","author":"P. Coad","year":"1990","unstructured":"Coad, P., Yourdon, E.: Object-Oriented Analysis. Computing Series. Yourdon Press, Englewood Cliffs (1990)"},{"issue":"3","key":"7_CR9","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1109\/32.489078","volume":"22","author":"J.C. Corbett","year":"1996","unstructured":"Corbett, J.C.: Evaluating deadlock detection methods for concurrent software. IEEE Transactions on Software Engineering 22(3), 161\u2013180 (1996)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/3-540-46000-4_14","volume-title":"Coordination Models and Languages","author":"J.C. Cruz","year":"2002","unstructured":"Cruz, J.C.: OpenCoLaS a coordination framework for CoLaS dialects. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol.\u00a02315, p. 133. Springer, Heidelberg (2002)"},{"key":"7_CR11","unstructured":"Denning, D.: Information warfare and security. Addison-Wesley, Reading (1999), ACM order number 704982"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"640","DOI":"10.1145\/375735.376476","volume-title":"Proceedings of the Fifth International Conference on Autonomous Agents","author":"R. Depke","year":"2001","unstructured":"Depke, R., Heckel, R., Kuster, J.M.: Improving the agent-oriented modeling process by roles. In: M\u00fcller, J.P., Andre, E., Sen, S., Frasson, C. (eds.) Proceedings of the Fifth International Conference on Autonomous Agents, Montreal, Canada, pp. 640\u2013647. ACM Press, New York (2001)"},{"key":"7_CR13","volume-title":"Objects, Components, and Frameworks with UML: The Catalysis Approach","author":"D.F. D\u2019Souza","year":"1999","unstructured":"D\u2019Souza, D.F., Wills, A.C.: Objects, Components, and Frameworks with UML: The Catalysis Approach. Addison-Wesley, Reading (1999)"},{"key":"7_CR14","volume-title":"Artificial Intelligence through Simulated Evolution","author":"L.J. Fogel","year":"1966","unstructured":"Fogel, L.J., Owens, A.J., Walsh, M.J.: Artificial Intelligence through Simulated Evolution. John Wiley & Sons, New York (1966)"},{"key":"7_CR15","volume-title":"Interacting processes: A multiparty approach to coordinated distributed programming","author":"N. Francez","year":"1996","unstructured":"Francez, N., Forman, I.: Interacting processes: A multiparty approach to coordinated distributed programming. Addison-Wesley, Reading (1996)"},{"key":"7_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/3-540-45484-5_22","volume-title":"Formal Approaches to Agent-Based Systems","author":"D.F. Gordon","year":"2001","unstructured":"Gordon, D.F.: APT agents: Agents that are adaptive, predictable, and timely. In: Rash, J.L., Rouff, C.A., Truszkowski, W., Gordon, D.F., Hinchey, M.G. (eds.) FAABS 2000. LNCS (LNAI), vol.\u00a01871, pp. 278\u2013293. Springer, Heidelberg (2001)"},{"key":"7_CR17","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J.E. Hopcroft","year":"1979","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading (1979)"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-48437-X_1","volume-title":"Multi-Agent System Engineering","author":"N.R. Jennings","year":"1999","unstructured":"Jennings, N.R.: Agent-Oriented Software Engineering. In: Garijo, F.J., Boman, M. (eds.) MAAMAW 1999. LNCS, vol.\u00a01647, pp. 1\u20137. Springer, Heidelberg (1999)"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/3-540-44564-1_10","volume-title":"Agent-Oriented Software Engineering","author":"E. Kendall","year":"2001","unstructured":"Kendall, E.: Agent software engineering with role modelling. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol.\u00a01957, pp. 163\u2013170. Springer, Heidelberg (2001)"},{"key":"7_CR20","unstructured":"Kendall, E., Palanivelan, U., Kalikivayi, S.: Capturing and structuring goals: Analysis patterns. In: Proceedings of the 3rd European Conference on Pattern Languages of Programming and Computing, Germany (July 1998)"},{"issue":"2","key":"7_CR21","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/4434.846192","volume":"8","author":"E.A. Kendall","year":"2000","unstructured":"Kendall, E.A.: Role modeling for agent system analysis, design, and implementation. IEEE Concurrency 8(2), 34\u201341 (2000)","journal-title":"IEEE Concurrency"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Koning, J., Huget, M., Wei, J., Wang, X.: Extended modeling languages for interaction protocol design. In: Wooldridge, M.J., Wei\u00df, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol.\u00a02222, p. 68. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-70657-7_5"},{"key":"7_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/3-540-44564-1_8","volume-title":"Agent-Oriented Software Engineering","author":"J. Odell","year":"2001","unstructured":"Odell, J., Parunak, H.V.D., Bauer, B.: Representing agent interaction protocols in uml. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol.\u00a01957, pp. 121\u2013140. Springer, Heidelberg (2001)"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Papadopoulos, G., Arbab, F.: Coordination models and languages. In: Advances in Computers, vol.\u00a046. Academic Press, London (1998)","DOI":"10.1016\/S0065-2458(08)60208-9"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Pe\u00f1a, J., Corchuelo, R., Arjona, J.L.: A top down approach for mas protocol descriptions. In: ACM Symposium on Applied Computing SAC 2003, Melbourne, Florida, USA. ACM Press, New York (2003) (page to be published)","DOI":"10.1145\/952532.952544"},{"key":"7_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/3-540-46000-4_24","volume-title":"Coordination Models and Languages","author":"J.A. P\u00e9rez","year":"2002","unstructured":"P\u00e9rez, J.A., Corchuelo, R., Ruiz, D., Toro, M.: An order-based, distributed algorithm for implementing multiparty interactions. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol.\u00a02315, pp. 250\u2013257. Springer, Heidelberg (2002)"},{"key":"7_CR27","unstructured":"Reenskaug, T.: Working with Objects: The OOram Software Engineering Method. Manning Publications (1996)"},{"key":"7_CR28","volume-title":"Object-Oriented Modeling and Design","author":"J. Rumbaugh","year":"1991","unstructured":"Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object-Oriented Modeling and Design. Prentice Hall, Schenectady (1991)"},{"key":"7_CR29","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Object Technology Series. Addison Wesley Longman, Reading (1999)"},{"key":"7_CR30","unstructured":"Shih, C., Stankovic, J.A.: Survey of deadlock detection in distributed concurrent programming environments and its application to real-time systems. Technical Report UM-CS-1990-069 (1990)"},{"key":"7_CR31","first-page":"332","volume-title":"Proceedings 1st Annual IEEE Symp. on Logic in Computer Science, LICS 1986","author":"M.Y. Vardi","year":"1986","unstructured":"Vardi, M.Y., Wolper, P.: An automata-theoretic approach to automatic program verification (preliminary report). In: Proceedings 1st Annual IEEE Symp. on Logic in Computer Science, LICS 1986, Cambridge, MA, USA, pp. 332\u2013344. IEEE Computer Society Press, Washington (1986)"},{"key":"7_CR32","volume-title":"Designing Object-Oriented Software","author":"R. Wirfs-Brock","year":"1990","unstructured":"Wirfs-Brock, R., Wilkerson, B.: Designing Object-Oriented Software. Prentice-Hall, Englewood Cliffs (1990)"},{"issue":"3","key":"7_CR33","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1023\/A:1010071910869","volume":"3","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M., Jennings, N.R., Kinny, D.: The gaia methodology for agentoriented analysis and design. Autonomous Agents and Multi-Agent Systems 3(3), 285\u2013312 (2000)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"7_CR34","unstructured":"Zamboneli, F., Jennings, N.R., Wooldridge, M.: Organizational abstraction for the analysis and design of multi-agent system. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol.\u00a01957, pp. 235\u2013252. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Agent-Based Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45133-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T14:25:39Z","timestamp":1559917539000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45133-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540406655","9783540451334"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45133-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}