A refinement checking based strategy for component-based systems evolution

José Dihego, Augusto Sampaio, Marcel Oliveira

We propose inheritance and refinement relations for a CSP-based component model (BRIC), which supports a constructive design based on composition rules that preserve classical conc…