@article{(Open Science Index):https://publications.waset.org/pdf/9448,
	  title     = {Modeling Biology Inspired Reactive Agents Using X-machines },
	  author    = {George Eleftherakis and  Petros Kefalas and  Anna Sotiriadou and  Evangelos Kehris},
	  country	= {},
	  institution	= {},
	  abstract     = {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.
},
	    journal   = {International Journal of Computer and Systems Engineering},
	  volume    = {1},
	  number    = {1},
	  year      = {2007},
	  pages     = {172 - 175},
	  ee        = {https://publications.waset.org/pdf/9448},
	  url   	= {https://publications.waset.org/vol/1},
	  bibsource = {https://publications.waset.org/},
	  issn  	= {eISSN: 1307-6892},
	  publisher = {World Academy of Science, Engineering and Technology},
	  index 	= {Open Science Index 1, 2007},
	}