%0 Journal Article %A George Eleftherakis and Petros Kefalas and Anna Sotiriadou and Evangelos Kehris %D 2007 %J International Journal of Computer and Systems Engineering %B World Academy of Science, Engineering and Technology %I Open Science Index 1, 2007 %T Modeling Biology Inspired Reactive Agents Using X-machines %U https://publications.waset.org/pdf/9448 %V 1 %X 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. %P 172 - 175