Formal specification of multi-agent systems: approach based on meta-models and high-level Petri nets - case study of a transportation system (original) (raw)
Related papers
International Journal of Information Technology and Computer Science
The Agent Petri Nets (APN) formalism provides a set of adapted and specific tools, relations and functions for modeling multi-agent systems (MAS). However, there is a lack of tools for verifying the APN models. In order to fill some of these gaps, we propose in this paper, a meta-modeling approach based on the Model Driven Architecture (MDA). The Eclipse Modeling Framework (EMF) permits to define a generic APN Meta-model in Ecore informal format. Its abstraction level is very high, it offers as a basis for developing system models dedicated to various specific domains. In addition, the Object Constraint Language (OCL) aims to increase the structural verification level of the model and the Graphical Modeling Framework (GMF), for its part, is concerned with generating a graphical editor associated with the APN meta-model. Thus, we combine the rigor of APN formalism with the power of the MDA-based metamodeling tools for verifying APN models.
Petri Net: A Tool for Modeling and Analyze Multi-agent Oriented Systems
International Journal of Intelligent Systems and Applications, 2012
Analysis and proper assessment of multiagent system properties are very much important. In this paper, we discussed about methodologies for modeling, analysis and design of multi-agent oriented system with the help of Petri net. A Multi-agent system can be considered as a discrete-event dynamic system and Petri nets are used as a modeling tool to assess the structural properties of the multi-agent system. Petri net provides an assessment of the interaction properties of the multiagent.
Agents Petri Nets: Theory and Application
The domain of Petri Nets (PN) engineering has been the concern of many researchers. The present paper lies within this context aiming at the definition of a new formalism for the modelling at the multi agents systems (MAS), which is based on agents called Agents Petri Net (APN). That is why, the definitions that treat the internal state of the agent and its behavior are proposed. The suggested mathematical definitions help us to model the interactive systems in a rigorous manner and without any ambiguity. It is through simple examples that our approach is proven to be valid.
A New Formalism for Modeling a Multi Agent Systems: Agent Petri Nets
Journal of Software Engineering and Applications, 2010
In this paper, we present a new formalism for Modeling Multi Agent Systems (MAS). Our model based a PN is able to describe not only not the internal state of each agent modeled but also its behavior. Owing to these features, one can model naturally the dynamic behavior of complex systems and the communication between these entities. For this, we propose mathematical definitions attached to firing transitions. To validate our contribution, we will deal with real examples.
Using nested Petri nets for modeling multiagent systems
IOP Conference Series: Materials Science and Engineering
The multi-agent simulation system is presented in the form of a two-level nested Petri net. The semantics of the interaction of agents is described. A GIS-oriented information system has been developed that implements the behavior algorithms of various classes of active agents. The system can be useful both for making decisions on dealing with emergencies and for training operational personnel. An example of a nested Petri network describing the processes of spreading and extinguishing of the wildfire is given.
Component Based Multi-Agent System Modeling and Analysis: A Case Study
2007
We previously proposed a Colored Petri Net (CPN) based modeling methodology to model multiagent systems. The methodology creates a component to describe the local behavior for each agent, and then concatenate all components to form a system model. In this paper, we focus on a case study to evaluate our modeling approach. The experiments in the case study are based on modeling and simulation of a multi-agent system for the Chicago downtown subway system.
Formal Specification and Prototyping of Multi-agent Systems
2000
This paper presents a multi agent-oriented prototyping approach. It is a generic approach, applicable to a wide range of multi-agent systems. This approach relies on a few assumptions, the most important is that MAS must be described by an organizational model which semantics is given in term of a formal framework. This model allows for a simple description of both individual and collective multi-agent system aspects. The framework we use to give a formal description of this model is based on a multi-formalism approach. We illustrate this approach through a case study.
A Multi-Agent Based Environment to Aid in the Design of Petri Nets Based Software Systems
1996
This paper explores the possibility of applying distributed arti cial intelligent systems and multi-agent systems to help in the design of engineering software systems. We de ne an environment consisted basically by arti cial designers that based on their knowledge, help a human designer to obtain the design of the software systems. The software design engineering problem we take as example is the design of the interlocking software for distributed track-vehicle controllers. The design of these modules are based on Petri nets, from which we can derive invariants that are used as the basis to characterize agent's knowledge in our design aid environment.