Improving the development process for teleo-reactive programming through advance composition
Hawthorne, James, Anthony, Richard J. and Petridis, Miltos (2011) Improving the development process for teleo-reactive programming through advance composition. In: ICAS 2011: Seventh International Conference on Autonomic and Autonomous Systems. IARIA, pp. 75-80. ISBN 9781612081342
PDF
11_18.pdf Restricted to Repository staff only Download (245kB) |
Abstract
Teleo-Reactive programming as applied to autonomic systems is both a viable and exciting prospect as it inherently recovers from errors and unexpected events whilst proceeding towards its goal. It does this without the need to know in advance, the specific events which might occur, thus greatly reducing the human maintenance element. Whilst the benefits of this technique are great once the program has been composed, the challenge of validation attached to these programs also increases. We aim to ease the composition process needed when constructing T-R programs by building new abilities in to our existing Teleo-Reactive framework. Firstly, these new abilities will make it possible to detect validation issues at design time,
thus reducing the likelihood of problems and increasing the ease of detecting them. Secondly, it will be possible for programs to be automatically composed from existing elements, thus further reducing the cost of validation issues. These ideas can even be extended to allow for dynamic composition and runtime changes to goals and actions.
Item Type: | Conference Proceedings |
---|---|
Title of Proceedings: | ICAS 2011: Seventh International Conference on Autonomic and Autonomous Systems |
Additional Information: | 1] This paper forms part of the published proceedings of ICAS 2011, The Seventh International Conference on Autonomic and Autonomous Systems, held 22-27 May 2011, at Venice/Mestre, Italy. [2] The paper is archived in the free access ThinkMindTM Digital Library |
Uncontrolled Keywords: | teleo-reactive programming, software composition, goal-based software |
Subjects: | Q Science > QA Mathematics > QA76 Computer software T Technology > T Technology (General) |
Pre-2014 Departments: | School of Computing & Mathematical Sciences School of Computing & Mathematical Sciences > Department of Smart Systems Technologies |
Related URLs: | |
Last Modified: | 14 Oct 2016 09:16 |
URI: | http://gala.gre.ac.uk/id/eprint/6445 |
Actions (login required)
View Item |
Downloads
Downloads per month over past year