Interacting Automata for Modelling Distributed Systems

Lomazova, Irina A.

doi:10.1007/3-540-44862-4_92

Cited by 1 publication

(1 citation statement)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Even though there are general purpose formalisms to formally describe complex concurrent systems (such as Process Algebras and Petri Nets) they are not suitable to describe agents since these languages and notations do not provide specific operators to deal with the inherent characteristics of agents. However, there has been already several studies to formally describe the use of intelligent electronic agents that are nested into one another (see, for example, [2,3] for two approaches based on Petri Nets and automata, [4,5] for approaches based on process algebras, and [6,7] for approaches based on finite state machines). Most of these approaches have been created in favor of comprehensibility.…”

Section: Introductionmentioning

confidence: 99%

A Hierarchical Methodology to Specify and Simulate Complex Computational Systems

Andrés

Molinero

Núñez

2009

Lecture Notes in Computer Science

View full text Add to dashboard Cite

We introduce a novel methodology to formally specify complex multiagent systems. Our approach allows us to redefine computational problems in terms of agents that perform certain tasks. In our view, a system is formed by the combination of atomic and complex agents. Atomic agents are in charge of executing atomic tasks while complex agents reunite and summarize the properties of their underlying atomic agents. Basically, our approach consists in specifying the smaller parts of the problem as atomic agents. Each atomic agent is in charge of executing a small transformation of resources. Afterwards, the system will recombine them to form complex agents that will embrace the knowledge of several atomic agents. All agents are located on a superstructure of communication cellules created to record the hierarchy of the tasks. In order to provide a useful framework, we have developed a tool that fully implements all the stages of the methodology.

show abstract