Using a teleo-reactive programming style to develop self-healing applications
Hawthorne, James and Anthony, Richard (2010) Using a teleo-reactive programming style to develop self-healing applications. Autonomic Computing and Communications Systems: Third International ICST Conference, Autonomics 2009, Limassol, Cyprus, September 9-11, 2009, Revised Selected Papers. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (23). Springer, Berlin Heidelberg, pp. 114-129. ISBN 978-3-642-11481-6 (Print), 978-3-642-11482-3 (Online) (doi:10.1007/978-3-642-11482-3_8)Full text not available from this repository.
A well designed traditional software system is capable of recognising and either avoiding or recovering from a number of expected events. However, during the design phase it is not possible to envision and thus equip the software to handle all events or perturbations that can occur; this limits the extent of adaptability that can be achieved. Alternatively a goal-oriented system has the potential to steer around generic classes of problems without the need to specifically identify these.
This paper presents a teleo-reactive approach for the development of robust adaptive and autonomic software where the focus is on high level goals rather than the low level actions and behaviour of software systems. With this approach we maintain focus on the business objectives of the system rather than the underlying mechanisms.
An extensible software framework is presented, with an example application which shows how unexpected events can be dealt with in a natural way.
|Item Type:||Book Section|
|Additional Information:|| This paper was presented at the Third International Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (ICST) Conference, Autonomics 2009, held in Limassol, Cyprus, from September 9-11, 2009.|
|Uncontrolled Keywords:||robust software, goal-based systems, software frameworks, error recovery, context awareness, self-healing|
|Subjects:||Q Science > QA Mathematics > QA75 Electronic computers. Computer science|
|School / Department / Research Groups:||School of Computing & Mathematical Sciences|
School of Computing & Mathematical Sciences > Department of Computer Systems Technology
|Last Modified:||17 Jan 2013 13:54|
Actions (login required)