RPL

Richard J. Payne
2008 Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems - SERENE '08  
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 componentbased systems, based on a teleo-reactive (T-R) language. We will provide a structural
more » ... perational semantic definition for the T-R language and describe how we aim to use this framework to create the policy language. Abstract 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 teleoreactive (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. ABSTRACT 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.
doi:10.1145/1479772.1479786 dblp:conf/serene/Payne08 fatcat:elyebi72dbhipeblms67piqtzy