Compositional behaviour and reliability models for adaptive component-based architectures