A Calculus for Reconfigurable Component-Based Systems

CLEI Electronic Journal

Cidcley Teixeira de Souza¹  Paulo Roberto Freire Cunha² 

[1] Federal Center of Technological Education of Ceara;Federal University of Pernambuco;

关键词: Components;    Formal Methods;    Reuse;    Process Algebra;   

DOI  :  10.19153/cleiej.7.2.1

来源: DOAJ

【 摘 要 】

The concept 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, we propose to deal with reconfiguration abstraction also in the formal specification level. We show that the process algebra 1⁄4-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 1⁄4, we propose the R1⁄4-calculus. R1⁄4 is a 1⁄4-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.

【 授权许可】

Unknown