A Calculus for Reconfigurable Component-Based Systems

ept of reconfigurable systems is almost always restricted to the abstract design level, in which configuration languages are used to manipulate software connections. In this paper, se to deal with reconfiguration abstraction also in the formal specification level. We show that the process algebra -calculus, widely applied to specify composable systems, is not suitable to capture all the properties required by these kinds of systems. To deal with these restrictions of , we propose the R-calculus. R is a -calculus extension that uses the concept of components as unit of specification. Its semantics allows for the reconfiguration of formal specifications in the same way configuration languages do.

• Type: Journal
• Year: 2004
• Where: CLEIEJ
• Authors: Cidcley Teixeira de Souza, Paulo Roberto Freire Cunha
• Keywords: Abstract Design Level, CLEIEJ 2004, Formal Specification Level, Formal Specifications