Modeling and Analysis of Agents' Goal-Driven Behavior Using Graph Transformation
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.
Download
No fulltext has been uploaded.
Book Chapter
| English
Author
Depke, Ralph;
Heckel, Reiko
Book Editor
Ehrich, H.D. ;
Meyer, J.J. ;
Ryan, M.D.
Department
Abstract
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.
Publishing Year
Book Title
Objects, Agents and Features - Structuring Mechanisms for Contemporary Software
Series Title / Volume
LNCS
Volume
2975
Page
81-97
LibreCat-ID
Cite this
Depke R, Heckel R. Modeling and Analysis of Agents’ Goal-Driven Behavior Using Graph Transformation. In: Ehrich HD, Meyer JJ, Ryan MD, eds. Objects, Agents and Features - Structuring Mechanisms for Contemporary Software. Vol 2975. LNCS. Berlin/Heidelberg: Springer; 2003:81-97.
Depke, R., & Heckel, R. (2003). Modeling and Analysis of Agents’ Goal-Driven Behavior Using Graph Transformation. In H. D. Ehrich, J. J. Meyer, & M. D. Ryan (Eds.), Objects, Agents and Features - Structuring Mechanisms for Contemporary Software (Vol. 2975, pp. 81–97). Berlin/Heidelberg: Springer.
@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} }
Depke, Ralph, and Reiko Heckel. “Modeling and Analysis of Agents’ Goal-Driven Behavior Using Graph Transformation.” In Objects, Agents and Features - Structuring Mechanisms for Contemporary Software, edited by H.D. Ehrich, J.J. Meyer, and M.D. Ryan, 2975:81–97. LNCS. Berlin/Heidelberg: Springer, 2003.
R. Depke and R. Heckel, “Modeling and Analysis of Agents’ Goal-Driven Behavior Using Graph Transformation,” in Objects, Agents and Features - Structuring Mechanisms for Contemporary Software, vol. 2975, H. D. Ehrich, J. J. Meyer, and M. D. Ryan, Eds. Berlin/Heidelberg: Springer, 2003, pp. 81–97.
Depke, Ralph, and Reiko Heckel. “Modeling and Analysis of Agents’ Goal-Driven Behavior Using Graph Transformation.” Objects, Agents and Features - Structuring Mechanisms for Contemporary Software, edited by H.D. Ehrich et al., vol. 2975, Springer, 2003, pp. 81–97.
Google Scholar