44
X-Machines for Agent-Based Modeling: FLAME Perspectives
FIGURE 3.1: Block diagram of FLAME. cf. [76].
in the development process to test the efficiency of the FLAME framework
[41, 39].
3.1 FLAME and Its X-Machine Methodology
FLAME agents are based on mathematical notation of formal X-machines,
to represent the agent architecture, their memory, messages, states and transition functions. Compared to traditional state machine models representing
an agent, extended state machines (X-machines) are a powerful model that
can represent complete definitions of agents. With added complexity, memory
and communication protocols, communicating X-machines can easily be used
to mathematically define and verify large complex systems as they interact
through messages.
An X-machine can be formally stated as [104],
X = (I, O, M, S, F, T, IS, IM S)
(3.1)
X-Machines for Agent-Based Modeling: FLAME Perspectives
FIGURE 3.1: Block diagram of FLAME. cf. [76].
in the development process to test the efficiency of the FLAME framework
[41, 39].
3.1 FLAME and Its X-Machine Methodology
FLAME agents are based on mathematical notation of formal X-machines,
to represent the agent architecture, their memory, messages, states and transition functions. Compared to traditional state machine models representing
an agent, extended state machines (X-machines) are a powerful model that
can represent complete definitions of agents. With added complexity, memory
and communication protocols, communicating X-machines can easily be used
to mathematically define and verify large complex systems as they interact
through messages.
An X-machine can be formally stated as [104],
X = (I, O, M, S, F, T, IS, IM S)
(3.1)