Modeling and Analysis of Agents’ Goal-Driven Behavior Using Graph Transformation
نویسندگان
چکیده
The agent paradigm promotes the concept of goalorientation. Mainstream object-oriented modeling techniques do not account for such an agent-specific aspect. Therefore, dedicated techniques for agent-oriented modeling are required which are based on the concepts and notations of object-oriented modeling and extend these in order to support agent-specific concepts. Especially, the relation between goals and the strategic behavior of agents has to be worked out. In this paper, an agent-oriented modeling technique for goals and strategies is proposed. Based on graph transformation as semantic domain we show how the behavior of agents is driven by goals. A technique based on model checking is used to verify that an agent’s strategic behavior conforms to its goals.
منابع مشابه
A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملAdaptive Leader-Following and Leaderless Consensus of a Class of Nonlinear Systems Using Neural Networks
This paper deals with leader-following and leaderless consensus problems of high-order multi-input/multi-output (MIMO) multi-agent systems with unknown nonlinear dynamics in the presence of uncertain external disturbances. The agents may have different dynamics and communicate together under a directed graph. A distributed adaptive method is designed for both cases. The structures of the contro...
متن کاملLocal Confluence Analysis of Consistent EMF Transformations
Model transformation is one of the key activities in model-driven software development. An increasingly popular technology to define modeling languages is provided by the Eclipse Modeling Framework (EMF). Several EMF model transformation approaches have been developed, focusing on different transformation aspects. For the analysis of model transformations, graph transformation techniques provid...
متن کاملPrecise Semantics of EMF Model Transformations by Graph Transformation
Model transformation is one of the key activities in model-driven software development. An increasingly popular technology to define modeling languages is provided by the Eclipse Modeling Framework (EMF). Several EMF model transformation approaches have been developed, focusing on different transformation aspects. To validate model transformations wrt. functional behavior and correctness, a for...
متن کاملAgent Based Simulation of Sale and Manufacturing Agents Acting Across a Pharmaceutical Supply Chain
Agent based modeling and simulation consider the behavior of agents acting in a system. The agents' interactions result in changing the agent’s behavior, the whole agent based system, and its environment. In this study, the manufacturing, sale, and receiving orders behaviors pertinent to manufacturing and sale agents acting across a pharmaceutical supply chain of an Iranian manufacturing medici...
متن کامل