%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