Reusing Formal Specification of Components

C.T. de Souza, P.R.F. Cunha (Brazil)


Components, Reuse, Formal Methods, Process Algebra.


The concept of reuse of components in the building of large software systems are almost restrict to code reuse. In this paper, we propose to deal reuse at specification level, in which components’ specifications may be reused in the modelling of component-based systems. To deal with this new concept, we propose the Rπ-calculus. Rπ is a π calculus extension that use the concept of component as unit of specification and whose semantics allow the reuse of these components in any system without the manipula tion of channel names.

Important Links:

Go Back