“…Tackling these needs by means of informal models may lead to non generic or suboptimal solutions due to the complexity of the problem. In front of this limit, formal model-based design constitutes a promising approach (Farkas et al, 2006, Landry et al, 2004, particularly studied in our work for architectural self adaptation at different levels of the end-to-end communication stack (application, middleware and transport levels) (Chassot et al, 2006a). In (Van Wambeke et al, 2007), we propose an analytical model aimed at helping the decision process at the Transport level was designed.…”