{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:57:06Z","timestamp":1725562626730},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221722"},{"type":"electronic","value":"9783540259589"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25958-9_8","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T22:49:35Z","timestamp":1281307775000},"page":"78-90","source":"Crossref","is-referenced-by-count":1,"title":["State Controlled Execution for Agent-Object Hybrid Languages"],"prefix":"10.1007","author":[{"given":"Ivan Romero","family":"Hernandez","sequence":"first","affiliation":[]},{"given":"Jean-Luc","family":"Koning","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/978-1-4615-2203-4_10","volume-title":"Lotosphere: Software Development with LOTOS","author":"J.P. Courtiat","year":"1995","unstructured":"Courtiat, J.P., Saidouni, D.E.: A case study on protocol design. In: Lotosphere: Software Development with LOTOS, pp. 201\u2013217. Kluwer Academic Publishers, Dordrecht (1995)"},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker SPIN. IEEE Transactions on Software Engineering\u00a023, 279\u2013295 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Tillman, M.A., Yen, D.C.C.: SNA and OSI: Three strategies for interconnection. Computing Reviews 31 (1990)","DOI":"10.1145\/75577.75586"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Birrell, A.D., Nelson, B.J.: Implementing remote procedure calls. In: Proceedings of the ACM Symposium on Operating System Principles, Bretton Woods, NH, Association for Computing Machinery (1983)","DOI":"10.1145\/800217.806609"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/BFb0014307","volume-title":"Algebraic Methodology and Software Technology","author":"S. Sankar","year":"1996","unstructured":"Sankar, S.: Introducing formal methods to software engineers through OMG\u2019s CORBA environment and interface definition language. In: Nivat, M., Wirsing, M. (eds.) AMAST 1996. LNCS, vol.\u00a01101, p. 52. Springer, Heidelberg (1996)"},{"key":"8_CR6","unstructured":"Microsystems, S.: Jini Architecture Specification, 901 San Antonio Road, Palo Alto, CA 94303, USA (2001)"},{"key":"8_CR7","unstructured":"Odell, J., Van Dyke Parunak, H., Bauer, B.: Extending UML for agents. In: Wagner, G., Lesperance, Y., Yu, E. (eds.) Proceedings of the Agent-Oriented Information Systems Workshop at the 17th National conference on Artificial Intelligence, Austin, Texas, ICue Publishing (2000)"},{"key":"8_CR8","volume-title":"Proceedings of First International Workshop on Agent-Oriented Software Engineering","author":"J. Odell","year":"2000","unstructured":"Odell, J., Van Dyke Parunak, H., Bauer, B.: Representing agent interaction protocols in uml. In: Ciancarini, P., Wooldridge, M. (eds.) Proceedings of First International Workshop on Agent-Oriented Software Engineering, Limerick, Ireland, Springer, Heidelberg (2000)"},{"key":"8_CR9","first-page":"91","volume-title":"International journal of software engineering and knowledge engineering","author":"B. Bauer","year":"2001","unstructured":"Bauer, B., Muller, J., Odell, J.: Agent UML: A formalism for specifying multiagent interaction. In: Ciancarini, W. (ed.) International journal of software engineering and knowledge engineering, vol.\u00a011, pp. 91\u2013103. Springer, Berlin (2001)"},{"key":"#cr-split#-8_CR10.1","unstructured":"Byun, Y., Sanders, B.A., Keum, C.S.: Design patterns of communicating extended finite state machines in sdl. In: 8th Conference on Pattern Languages of Programs, Allerton House, University of Illinois, Monticello, Illinois, The Hillside Group, Inc. (2001);"},{"key":"#cr-split#-8_CR10.2","unstructured":"This paper gives a comfortable definition for extended finite state machine, it gives too some interesting ideas about the utilization of design paterns for protocol reutilization"},{"key":"8_CR11","unstructured":"International Organization for Standardization Geneva: Information processing systems \u2014 Open systems interconnection \u2014 Estelle \u2014 A formal description technique based on an extended state transition model (1997) 9074"},{"key":"8_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5192-7","volume-title":"Compiler Construction","author":"W.M. Waite","year":"1984","unstructured":"Waite, W.M., Goos, G.: Compiler Construction. Springer, Berlin (1984)"},{"key":"8_CR13","unstructured":"Thees, J.: Protocol implementation with estelle \u2013 from prototypes to efficient implementations. In: Budkowski, S., Fischer, S., Gotzhein, R. (eds.) Int\u2019l. Workshop on the Formal Description Technique Estelle (Estelle 1998), Evry, France (1998)"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Koning, J.L.: Automata for interaction protocols in multiagent systems. In: Kawamura, K. (ed.) IEEE International Conference on Systems, Man, and Cybernetics, Nashville, Tennessee (2000)","DOI":"10.1109\/ICSMC.2000.885065"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Lind, J.: Specifying agent interaction protocols with standard uml (2001)","DOI":"10.1007\/3-540-70657-7_9"},{"key":"8_CR16","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/BFb0030079","volume-title":"Multi-Agent Systems Methodologies and Applications","author":"E.A. Kendall","year":"1997","unstructured":"Kendall, E.A., Malkoun, M.T.: Design patterns for the development of multiagents systems. In: Dickson, L., Zhang, C. (eds.) DAI 1996. LNCS (LNAI), vol.\u00a01286, pp. 17\u201332. Springer, Heidelberg (1997)"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/3-540-70657-7_5","volume-title":"Agent-Oriented Software Engineering II","author":"J.L. Koning","year":"2002","unstructured":"Koning, J.L., Huget, M.P., 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)"}],"container-title":["Lecture Notes in Computer Science","Advanced Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25958-9_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:00:34Z","timestamp":1605762034000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25958-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221722","9783540259589"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25958-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}