{"author":[{"first_name":"Ralph","full_name":"Depke, Ralph","last_name":"Depke"},{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"}],"publisher":"Springer","year":"2003","place":"Berlin/Heidelberg","status":"public","intvolume":"      2975","user_id":"52534","citation":{"apa":"Depke, R., &#38; Heckel, R. (2003). Modeling and Analysis of Agents’ Goal-Driven Behavior Using Graph Transformation. In H. D. Ehrich, J. J. Meyer, &#38; M. D. Ryan (Eds.), <i>Objects, Agents and Features - Structuring Mechanisms for Contemporary Software</i> (Vol. 2975, pp. 81–97). Berlin/Heidelberg: Springer.","ieee":"R. Depke and R. Heckel, “Modeling and Analysis of Agents’ Goal-Driven Behavior Using Graph Transformation,” in <i>Objects, Agents and Features - Structuring Mechanisms for Contemporary Software</i>, vol. 2975, H. D. Ehrich, J. J. Meyer, and M. D. Ryan, Eds. Berlin/Heidelberg: Springer, 2003, pp. 81–97.","ama":"Depke R, Heckel R. Modeling and Analysis of Agents’ Goal-Driven Behavior Using Graph Transformation. In: Ehrich HD, Meyer JJ, Ryan MD, eds. <i>Objects, Agents and Features - Structuring Mechanisms for Contemporary Software</i>. Vol 2975. LNCS. Berlin/Heidelberg: Springer; 2003:81-97.","mla":"Depke, Ralph, and Reiko Heckel. “Modeling and Analysis of Agents’ Goal-Driven Behavior Using Graph Transformation.” <i>Objects, Agents and Features - Structuring Mechanisms for Contemporary Software</i>, edited by H.D.  Ehrich et al., vol. 2975, Springer, 2003, pp. 81–97.","short":"R. Depke, R. Heckel, in: H.D. Ehrich, J.J. Meyer, M.D. Ryan (Eds.), Objects, Agents and Features - Structuring Mechanisms for Contemporary Software, Springer, Berlin/Heidelberg, 2003, pp. 81–97.","chicago":"Depke, Ralph, and Reiko Heckel. “Modeling and Analysis of Agents’ Goal-Driven Behavior Using Graph Transformation.” In <i>Objects, Agents and Features - Structuring Mechanisms for Contemporary Software</i>, edited by H.D.  Ehrich, J.J.  Meyer, and M.D.  Ryan, 2975:81–97. LNCS. Berlin/Heidelberg: Springer, 2003.","bibtex":"@inbook{Depke_Heckel_2003, place={Berlin/Heidelberg}, series={LNCS}, title={Modeling and Analysis of Agents’ Goal-Driven Behavior Using Graph Transformation}, volume={2975}, booktitle={Objects, Agents and Features - Structuring Mechanisms for Contemporary Software}, publisher={Springer}, author={Depke, Ralph and Heckel, Reiko}, editor={Ehrich, H.D.  and Meyer, J.J.  and Ryan, M.D. Editors}, year={2003}, pages={81–97}, collection={LNCS} }"},"volume":2975,"_id":"7531","title":"Modeling and Analysis of Agents' Goal-Driven Behavior Using Graph Transformation","department":[{"_id":"66"}],"language":[{"iso":"eng"}],"type":"book_chapter","date_updated":"2022-01-06T07:03:39Z","publication":"Objects, Agents and Features - Structuring Mechanisms for Contemporary Software","series_title":"LNCS","abstract":[{"text":"Extending mainstream object-oriented concepts, the agent paradigm promotes the concept of goals realized by means of strategies. To account for such specific aspects, dedicated techniques for agent-oriented modelling are required which go beyond standard techniques of object-oriented modelling. In this paper, an agent-oriented modelling notation for goals and strategies is proposed. Based on graph transformation as semantic domain we show how the behavior of agents can be described in terms of goals and the strategies or communication protocols for achieving them. Model checking is used to verify, in a given situation, that a chosen strategy actually achieves its goal.","lang":"eng"}],"date_created":"2019-02-05T12:03:51Z","editor":[{"first_name":"H.D. ","full_name":"Ehrich, H.D. ","last_name":"Ehrich"},{"full_name":"Meyer, J.J. ","last_name":"Meyer","first_name":"J.J. "},{"last_name":"Ryan","full_name":"Ryan, M.D. ","first_name":"M.D. "}],"page":"81-97"}