Skip navigation

Improving the development process for teleo-reactive programming through advance composition

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

[img] 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
Selected for GREAT 2016: None
Selected for GREAT 2017: None
Selected for GREAT 2018: None
URI: http://gala.gre.ac.uk/id/eprint/6445

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics