Browse by author
Lookup NU author(s): Dr Richard Payne
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
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. Copyright 2008 ACM.
Author(s): Payne R
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems (SERENE)
Year of Conference: 2008
Pages: 73-78
Publisher: ACM Press
URL: http://dx.doi.org/10.1145/1479772.1479786
DOI: 10.1145/1479772.1479786
Library holdings: Search Newcastle University Library for this item
ISBN: 9781605582757
