{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:22:16Z","timestamp":1725560536456},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540219897"},{"type":"electronic","value":"9783540259305"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25930-5_6","type":"book-chapter","created":{"date-parts":[[2010,7,28]],"date-time":"2010-07-28T00:16:23Z","timestamp":1280276183000},"page":"81-97","source":"Crossref","is-referenced-by-count":1,"title":["Modelling and Analysis of Agents\u2019 Goal-Driven Behavior Using Graph Transformation"],"prefix":"10.1007","author":[{"given":"Ralph","family":"Depke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reiko","family":"Heckel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"835","DOI":"10.1109\/ICSE.2001.919196","volume-title":"Proc. 23rd Intl. Conference on Software Engineering (ICSE 2001)","author":"R. Alur","year":"2001","unstructured":"Alur, R., de Alfaro, L., Grosu, R., Henzinger, T., Kang, M., Majumdar, R., Mang, F., Kirsch, C., Wang, B.: Mocha: A model checking tool that exploits design structure. In: Proc. 23rd Intl. Conference on Software Engineering (ICSE 2001), pp. 835\u2013836. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"6_CR2","series-title":"Concurrency and Distribution","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1142\/9789812814951_0003","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"P. Baldan","year":"1999","unstructured":"Baldan, P., Corradini, A., Ehrig, H., L\u00f6we, M., Montanari, U., Rossi, F.: Concurrent semantics of algebraic graph transformation. In: Ehrig, H., Kreowski, H.-J., Montanari, U., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation. Concurrency and Distribution, vol.\u00a03, pp. 107\u2013188. World Scientific, Singapore (1999)"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-44564-1_6","volume-title":"Agent-Oriented Software Engineering","author":"B. Bauer","year":"2001","unstructured":"Bauer, B., M\u00fcller, J.P., Odell, J.: Agent UML: A Formalism for Specifying Multiagent Software Systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol.\u00a01957, pp. 91\u2013104. Springer, Heidelberg (2001)"},{"issue":"3,4","key":"6_CR4","doi-asserted-by":"crossref","first-page":"241","DOI":"10.3233\/FI-1996-263402","volume":"26","author":"A. Corradini","year":"1996","unstructured":"Corradini, A., Montanari, U., Rossi, F.: Graph processes. Fundamenta Informaticae\u00a026(3,4), 241\u2013266 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-540-25959-6_8","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"R. Depke","year":"2004","unstructured":"Depke, R., Hausmann, J.H., Heckel, R.: Design of an agent-based modeling language based on graph transformation. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol.\u00a03062, pp. 106\u2013119. Springer, Heidelberg (2004) (to appear)"},{"issue":"3","key":"6_CR6","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1142\/S0218194001000529","volume":"11","author":"R. Depke","year":"2001","unstructured":"Depke, R., Heckel, R., K\u00fcster, J.M.: Roles in agent-oriented modeling. Int. Journal of Software Engineering and Knowledge Engineering\u00a011(3), 281\u2013302 (2001)","journal-title":"Int. Journal of Software Engineering and Knowledge Engineering"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/S0167-6423(02)00040-0","volume":"44","author":"R. Depke","year":"2002","unstructured":"Depke, R., Heckel, R., K\u00fcster, J.M.: Formal agent-oriented modeling with graph transformation. Science of Computer Programming\u00a044, 229\u2013252 (2002)","journal-title":"Science of Computer Programming"},{"volume-title":"Multiagent Systems","year":"1999","key":"6_CR8","unstructured":"Weiss, G. (ed.): Multiagent Systems. MIT Press, Cambridge (1999)"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1109\/SWAT.1973.11","volume-title":"14th Annual IEEE Symposium on Switching and Automata Theory","author":"H. Ehrig","year":"1973","unstructured":"Ehrig, H., Pfender, M., Schneider, H.J.: Graph grammars: an algebraic approach. In: 14th Annual IEEE Symposium on Switching and Automata Theory, pp. 167\u2013180. IEEE, Los Alamitos (1973)"},{"key":"6_CR10","unstructured":"Foundation for Intelligent Physical Agents (FIPA). Agent communication language. In: FIPA 1997 Specification, Version 2.0. FIPA (1997), http:\/\/www.fipa.org"},{"volume-title":"Agent Technology: Foundations, Applications, and Markets","year":"1998","key":"6_CR11","unstructured":"Jennings, N.R., Wooldridge, M.J. (eds.): Agent Technology: Foundations, Applications, and Markets. Springer, Heidelberg (1998)"},{"key":"6_CR12","unstructured":"Object Management Group. UML specification version 1.5 (March 2003), www.omg.org"},{"issue":"12","key":"6_CR13","doi-asserted-by":"publisher","first-page":"1104","DOI":"10.1109\/TC.1980.1675516","volume":"C-29","author":"R.G. Smith","year":"1980","unstructured":"Smith, R.G.: The contract net protocol: High-level communication and control in a distributed problem solver. IEEE Transaction on Computers\u00a0C-29(12), 1104\u20131113 (1980)","journal-title":"IEEE Transaction on Computers"},{"key":"6_CR14","unstructured":"Varro, D.: Towards automated formal verification of visual modeling languages by model checking. Journal of Software and System Modeling (to appear)"},{"issue":"3","key":"6_CR15","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1023\/A:1010071910869","volume":"3","author":"M.J. Wooldridge","year":"2000","unstructured":"Wooldridge, M.J., Jennings, N.R., Kinny, D.: The Gaia methodology for agent-oriented analysis and design. Journal of Autonomous Agents and Multi-Agent Systems\u00a03(3), 285\u2013312 (2000)","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"952","DOI":"10.1145\/544862.544965","volume-title":"Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002)","author":"M. Wooldridge","year":"2002","unstructured":"Wooldridge, M., Fisher, M., Huget, M.-P., Parsons, S.: Model checking multi-agent systems with MABLE. In: Gini, M., Ishida, T., Castelfranchi, C., Lewis Johnson, W. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), July 2002, pp. 952\u2013959. ACM Press, New York (2002)"}],"container-title":["Lecture Notes in Computer Science","Objects, Agents, and Features"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25930-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,7]],"date-time":"2020-06-07T18:11:45Z","timestamp":1591553505000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25930-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540219897","9783540259305"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25930-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}