Browse by author
Lookup NU author(s): Dr Richard Payne
Component-based systems with the ability to alter their configuration at runtime are becoming increasingly attractive to large organisations. However, for such systems to be trustworthy, the system user must be able to be confident that any dynamic reconfiguration takes place in a predictable manner. We present the foundations for a reconfiguration policy language (RPL), to govern reconfigurations of component-based systems, based on a teleo-reactive (T-R) language. We will provide a structural operational semantic definition for the T-R language and describe how we aim to use this framework to create the policy language.
Author(s): Payne RJ
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Year: 2008
Pages: 9
Print publication date: 01/10/2008
Source Publication Date: October 2008
Report Number: 1124
Institution: School of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1124.pdf
