{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,27]],"date-time":"2026-04-27T14:17:56Z","timestamp":1777299476205,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540242864","type":"print"},{"value":"9783540305781","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-30578-1_4","type":"book-chapter","created":{"date-parts":[[2010,7,4]],"date-time":"2010-07-04T14:09:29Z","timestamp":1278252569000},"page":"47-61","source":"Crossref","is-referenced-by-count":18,"title":["Formal Semantics for AUML Agent Interaction Protocol Diagrams"],"prefix":"10.1007","author":[{"given":"Lawrence","family":"Cabac","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Moldt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","volume-title":"The Unified Modeling Language User Guide","author":"G. Booch","year":"1996","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1996)"},{"key":"4_CR2","unstructured":"Cabac, L.: Entwicklung von geometrisch unterscheidbaren Komponenten zur Vereinheitlichung von Mulan-Protokollen. Studienarbeit, University of Hamburg, Department of Computer Science (2002)"},{"key":"4_CR3","unstructured":"Cabac, L.: Modeling Agent Interaction with AUML Diagrams and Petri Nets. Diploma thesis, University of Hamburg, Department of Computer Science, Vogt-K\u00f6lln Str. 30, 22527 Hamburg, Germany (2003)"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/3-540-44919-1_10","volume-title":"Applications and Theory of Petri Nets 2003","author":"L. Cabac","year":"2003","unstructured":"Cabac, L., Moldt, D., R\u00f6lke, H.: A proposal for structuring Petri net-based agent interaction protocols. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 102\u2013120. Springer, Heidelberg (2003)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/3-540-36540-0_5","volume-title":"Agent-Oriented Software Engineering III","author":"M. Duvigneau","year":"2003","unstructured":"Duvigneau, M., Moldt, D., R\u00f6lke, H.: Concurrent architecture for a multi-agent platform. In: Giunchiglia, F., Odell, J.J., Weiss, G. (eds.) AOSE 2002. LNCS, vol.\u00a02585, pp. 59\u201372. Springer, Heidelberg (2003)"},{"key":"4_CR6","unstructured":"Foundation for Intelligent Physical Agents, http:\/\/www.fipa.org"},{"key":"4_CR7","unstructured":"FIPA. FIPA Interaction Protocol Library Specification (August 2001), http:\/\/www.fipa.org\/specs\/fipa00025\/XC00025E.pdf"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Huget, M.-P., Odell, J.: Representing agent interaction protocols with agent UML. In: Odell, J., Ciorgini, P., M\u00fcller, J.P. (eds.) Proceedings of the Workshop on Agent-Oriented Software Engineering at the Conference on Autonomous Agents & Multi Agent Systems (AAMAS 2004), New York (2004) (also in this collection)","DOI":"10.1007\/978-3-540-30578-1_2"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/3-540-45740-2_14","volume-title":"Applications and Theory of Petri Nets 2001","author":"M. K\u00f6hler","year":"2001","unstructured":"K\u00f6hler, M., Moldt, D., R\u00f6lke, H.: Modeling the structure and behaviour of Petri net agents. In: Colom, J.-M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol.\u00a02075, pp. 224\u2013241. Springer, Heidelberg (2001)"},{"key":"4_CR10","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, pp. 68\u201376. Springer, Heidelberg (2002)"},{"key":"4_CR11","unstructured":"Kummer, O.: Referenznetze. Dissertation, University of Hamburg, Department of Computer Science. Logos-Verlag, Berlin (2002)"},{"key":"4_CR12","unstructured":"Kummer, O., Wienberg, F., Duvigneau, M.: Renew - The Reference Net Workshop. In: Tool Demonstrations - 22nd International Conference on Application and Theory of Petri Nets (2001), http:\/\/www.renew.de"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1007\/978-3-540-27793-4_29","volume-title":"Applications and Theory of Petri Nets 2004","author":"O. Kummer","year":"2004","unstructured":"Kummer, O., Wienberg, F., Duvigneau, M., Schumacher, J., K\u00f6hler, M., Moldt, D., R\u00f6lke, H., Valk, R.: An extensible editor and simulation engine for Petri nets: Renew. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol.\u00a03099, pp. 484\u2013493. Springer, Heidelberg (2004)"},{"key":"4_CR14","unstructured":"Odell, J., Huget, M.-P.: FIPA Modeling: Interaction Diagrams. Working draft, Foundation for Intelligent Physical Agents (July 2003), http:\/\/www.auml.org\/auml\/documents\/ID-03-07-02.pdf"},{"key":"4_CR15","unstructured":"Odell, J., Van Dyke Parunak, H., Bauer, B.: Extending UML for agents. In: Wagner, G., Lesperance, Y., Yu, E. (eds.) Proc. of the Agent-Oriented Information Systems Workshop at the 17th National conference on Artificial Intelligence, pp. 3\u201317 (2000), http:\/\/www.jamesodell.com\/ExtendingUML.pdf"},{"key":"4_CR16","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., Van Dyke Parunak, H., 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), http:\/\/www.auml.org\/auml\/supplements\/Odell-AOSE2000.pdf"}],"container-title":["Lecture Notes in Computer Science","Agent-Oriented Software Engineering V"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30578-1_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:24:11Z","timestamp":1605741851000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30578-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540242864","9783540305781"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30578-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}