B.1 Vue d'ensemble

L'essentiel du comportement en édition d'une configuration d'entrée repose sur les mécanismes de mutation. Les dispositifs mutables sont des dispositifs capables de se spécialiser ou se restructurer en modifiant la valeur de certains de leurs attributs en fonction de la valeur d'autres attributs, selon un mécanisme appelé mutation. Lors d'une mutation, le type de certains slots peut changer: ces slots sont nommés t-mutables. Une mutation peut également restructurer un dispositif en créant ou en supprimant des slots dynamiques, nommés s-mutables.

L'ensemble des attributs qui provoquent ces spécialisations et l'ensemble des attributs spécialisables constituent respectivement le paramétrage et le m-paramétrage du dispositif (figure B.1):

Figure: Fonction de mutation $\mu$ d'un dispositif $d$ comportant les paramètres $p1$, $p2$ et les slots $S1$, $S2$, $S3$ et $S4$. $\Pi$, la source de $\mu$, est composé des valeurs prises par ses paramètres et des attributs de connexion de ses slots déclencheurs. $\Pi _m$, la cible de $\mu$, décrit les types des slots t-mutables de $d$, ainsi que de l'ensemble des slots s-mutables que possède le dispositif après mutation.

1. Le paramétrage $\Pi$ d'un dispositif décrit les valeurs prises par ses paramètres, et spécifie si ses slots déclencheurs sont connectés, ainsi que leurs types connectés.
2. Le m-paramétrage $\Pi _m$ d'un dispositif décrit l'ensemble de ses slots s-mutables, ainsi que l'ensemble des types pris par ses slots t-mutables.
3. Chaque dispositif comporte une fonction de mutation $\mu: \Pi \mapsto \Pi_m$ qui à un paramétrage associe un m-paramétrage.

Après une introduction préliminaire sur les notions de signature et de valuation, nous définirons plus précisément $\Pi$, $\Pi _m$ et la fonction $\mu$, puis nous décrirons les mécanismes de base qui permettent d'appliquer et de propager les fonctions de mutation.