{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:54:58Z","timestamp":1725558898581},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201243"},{"type":"electronic","value":"9783540398691"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39869-1_12","type":"book-chapter","created":{"date-parts":[[2010,6,28]],"date-time":"2010-06-28T00:01:22Z","timestamp":1277683282000},"page":"131-143","source":"Crossref","is-referenced-by-count":7,"title":["From the Specification of Multiagent Systems by Statecharts to Their Formal Analysis by Model Checking: Towards Safety-Critical Applications"],"prefix":"10.1007","author":[{"given":"Frieder","family":"Stolzenburg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Toshiaki","family":"Arai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/544741.544745","volume-title":"Proceedings of the 1st International Joint Conference on Autonomous Agents & Multi-Agent Systems","author":"T. Arai","year":"2002","unstructured":"Arai, T., Stolzenburg, F.: Multiagent systems specification by UML statecharts aiming at intelligent manufacturing. In: Proceedings of the 1st International Joint Conference on Autonomous Agents & Multi-Agent Systems, Bologna, Italy, vol.\u00a01, pp. 11\u201318. ACM Press, New York (2002)"},{"issue":"3","key":"12_CR2","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1093\/logcom\/8.3.401","volume":"8","author":"M. Benerecetti","year":"1998","unstructured":"Benerecetti, M., Giunchiglia, F., Serafini, L.: Model checking multiagent systems. Journal of Logic an Computation\u00a08(3), 401\u2013423 (1998)","journal-title":"Journal of Logic an Computation"},{"key":"12_CR3","volume-title":"Abstract State Machines \u2013 A Method for High-Level System Design and Analysis","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines \u2013 A Method for High-Level System Design and Analysis. Springer, Berlin (2003)"},{"key":"12_CR4","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)"},{"issue":"4","key":"12_CR5","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1524\/auto.51.4.153.20909","volume":"51","author":"T. Heverhagen","year":"2003","unstructured":"Heverhagen, T.: Verifikation von Funktionsbausteinadaptern durch Modelchecking. Automatisierungstechnik\u00a051(4), 153\u2013163 (2003)","journal-title":"Automatisierungstechnik"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H.J. Levesque","year":"1997","unstructured":"Levesque, H.J., Reiter, R., Lesp\u00e9rance, Y., Lin, F., Scherl, R.B.: Golog: A logic programming language for dynamic domains. Journal of Logic Programming\u00a031, 59\u201384 (1997)","journal-title":"Journal of Logic Programming"},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/544741.544756","volume-title":"Proceedings of the 1st International Joint Conference on Autonomous Agents & Multi-Agent Systems","author":"J. Murray","year":"2002","unstructured":"Murray, J.: Specifying agents with UML in robotic soccer. In: Proceedings of the 1st International Joint Conference on Autonomous Agents & Multi-Agent Systems, Bologna, Italy, vol.\u00a01, pp. 51\u201352. ACM Press, New York (2002)"},{"key":"12_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/3-540-45324-5_18","volume-title":"RoboCup 2000: Robot Soccer World Cup IV","author":"J. Murray","year":"2001","unstructured":"Murray, J., Obst, O., Stolzenburg, F.: Towards a logical approach for soccer agents engineering. In: Stone, P., Balch, T., Kraetzschmar, G.K. (eds.) RoboCup 2000. LNCS (LNAI), vol.\u00a02019, pp. 199\u2013208. Springer, Heidelberg (2001)"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1007\/3-540-45441-1_31","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"J. Mylopoulos","year":"2001","unstructured":"Mylopoulos, J., Kolp, M., Castro, J.: UML for agent-oriented software development: The Tropos proposal. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, p. 422. Springer, Heidelberg (2001)"},{"key":"12_CR10","unstructured":"Object Management Group, Inc. OMG Unified Modeling Language Specification, Version 1.5 (March 2003)"},{"key":"12_CR11","unstructured":"Odell, J., Parunak, H.V.D., Bauer, B.: Extending UML for agents. In: Wagner, G., Lesperance, Y., Yu, E. (eds.) Proceedings of the Agent-Oriented Information Systems Workshop (AOIS) at the 17th National Conference on Artificial Intelligence, pp. 3\u201317 (2000)"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-54415-1_49","volume-title":"Theoretical Aspects of Computer Software","author":"A. Pnueli","year":"1991","unstructured":"Pnueli, A., Shalev, M.: What is in a step: On the semantics of statecharts. In: Ito, T., Meyer, A.R. (eds.) TACS 1991. LNCS, vol.\u00a0526, pp. 244\u2013264. Springer, Heidelberg (1991)"},{"key":"12_CR13","unstructured":"Stolzenburg, F.: Reasoning about cognitive robotics systems. In: Moratz, R., Nebel, B. (eds.) Themenkolloquium Kognitive Robotik und Raumrepr\u00e4sentation des DFG-Schwerpunktprogramms Raumkognition, Hamburg (2001)"},{"issue":"3","key":"12_CR14","doi-asserted-by":"publisher","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 agent oriented analysis and design. Autonomous Agents and Multi-Agent Systems\u00a03(3), 285\u2013312 (2000)","journal-title":"Autonomous Agents and Multi-Agent Systems"}],"container-title":["Lecture Notes in Computer Science","Multiagent System Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39869-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T00:10:54Z","timestamp":1552608654000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39869-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201243","9783540398691"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39869-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}