extension specification : variables de bindings #16
Description
Ralf propose de mettre visible les variable B(p,t_r,t_p) dans les spécifications. Il peut en effet arriver que deux types provident le même port, mais on ne veut se connecter qu'au instance d'un type en particulier. Pouvoir dire B(p,t_r,t_p) = 0 permettrait de contrôler plus
finement les connexions. On peut avoir une remarque similaire pour la fonction d'optimisation : on peut préférer se connecter à des composants performants, mais on n'a pas suffisamment de ressource pour seulement avoir ces composants performants. Donc on utilise aussi des composants moins top, mais on essaye tout de même de maximiser le nombre de bindings qui utilisent les composants performants.
Le problème actuel pour mettre ces variables dans les spécifications est qu'elles ne sont pas pris encore en compte lors de la génération de la configuration. Donc il faut d'abord modifier l'algorithme des bonbons.