Sciweavers

IJIT
2004

Modeling Biology Inspired Reactive Agents Using X-machines

13 years 5 months ago
Modeling Biology Inspired Reactive Agents Using X-machines
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a powerful way in the design of agent-based systems. The software engineering research has highlighted a number of important issues: the importance of the type of modeling technique used; the careful design of the model to enable powerful testing techniques to be used; the automated verification of the behavioural properties of the system; the need to provide a mechanism for translating the formal models into executable software in a simple and transparent way. This paper introduces the use of the X-machine formalism as a tool for modeling biology inspired agents proposing the use of the techniques built around X-machine models for the construction of effective, and reliable agent-based software systems. Keywords-- Biology Inspired Agent, Formal Methods, Xmachine
George Eleftherakis, Petros Kefalas, Anna Sotiriad
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2004
Where IJIT
Authors George Eleftherakis, Petros Kefalas, Anna Sotiriadou, Evangelos Kehris
Comments (0)