A Calculus for Reconfigurable Component-Based Systems

Authors

  • Cidcley Teixeira de Souza Federal Center of Technological Education of Ceara
  • Paulo Roberto Freire Cunha Federal University of Pernambuco

DOI:

https://doi.org/10.19153/cleiej.7.2.1

Keywords:

Components, Formal Methods, Reuse, Process Algebra

Abstract

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.

Downloads

Published

2004-12-01

Issue

Vol. 7 No. 2 (2004): Special Issue of Best Papers presented at CLEI2003, La Paz, Bolivia. Guest Editors: Dr. Jose Carlos Maldonado (ICMC-USP, Brazil), Dr. Cesar Ibarra Guerrero (Bolivia), Dr. Adenilso da Silva Simao

Section

Articles

License

CLEIej is supported by its home institution, CLEI, and by the contribution of the Latin American and international researchers community, and it does not apply any author charges whatsoever for submitting and publishing. Since its creation in 1998, all contents are made publicly accesibly. The current license being applied is a (CC)-BY license (effective October 2015; between 2011 and 2015 a (CC)-BY-NC license was used).