The Interaction-Oriented Design of Agent simulations (IODA) methodology is divided in three fundamental parts:

• a formal model that defines precisely what informations the model of a simulation has to contains, and how these informations have to be represented;
• a modeling methodology that makes possible to intuitively, and gradually, build the formal model of the simulation;
• generic algorithms that make possible to implement directly -- i.e. without interpretations or model transformations -- the model of the simulation. These algorithms are illustrated in the context of discrete time simulations.

Reactive agents

The formal model of IODA is independent from the cognitive/reactive or hybrid nature of agents. This site presents how the interaction matrix can be exploited to define the behavior of reactive agents.

Advanced methodological support

The elements presented on this page are merely an outline of the IODA project. Please refer to publications for the full description of IODA features.

IODA provides software engineering tools that are not described in this website, including:

• agent inheritance;
• interaction inheritance;
• interaction matrix inheritance;
• interactions, which cardinality is not restricted to (1,0) or (1,1);
• advanced reactive interaction selection process;
• simultaneous interactions conflicts detection.