G. Eleftherakis, P. Kefalas, A. Sotiriadou, E. Kehris
Modeling Biology Inspired Reactive Agents Using X-machines
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.
Available: Copy on request from the authors.
Back
to Dept. of Computer Science, CITY College
Back
to Petros Kefalas home page