George Eleftherakis and Petros Kefalas and Anna Sotiriadou and Evangelos Kehris
Modeling Biology Inspired Reactive Agents Using Xmachines
172 - 175
2007
1
1
International Journal of Computer and Systems Engineering
https://publications.waset.org/pdf/9448
https://publications.waset.org/vol/1
World Academy of Science, Engineering and Technology
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 agentbased 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 Xmachine formalism as a tool for modeling biology inspired agents proposing the use of the techniques built around Xmachine models for the construction of effective, and reliable agentbased software systems.
Open Science Index 1, 2007