A.2 Les quatre briques de base et leurs attributs

A.2.1 Dispositifs

La structure d'un dispositif est définie par un ensemble d'attributs et deux fonctions, qui sont énumérés dans le tableau A.2.1 puis décrits par la suite.

Tableau A.1: Structure d'un dispositif. La colonne de gauche liste le nom des attributs, celle de droite précise leur type.

	nom		chaîne de caractères
	parent		$\rightarrow$ Configuration
	slots		Slot [ ]
	paramètres		Paramètre [ ]
	configurationFille		Configuration
	prototype		vrai/faux
	composite		vrai/faux
	mutable		vrai/faux
	entréesImplicites		vrai/faux
	sortiesImplicites		vrai/faux
	$\mu$		fonction
	$\epsilon$		fonction

$\blacksquare$ #1 :

Cet attribut contribue à identifier la fonction du dispositif, par exemple le type de traitement de données qu'il effectue. Il peut également refléter le rôle spécifique du dispositif au sein de la configuration.

$\blacksquare$ #1 :

Une référence à la configuration à laquelle appartient le dispositif, ou ou null s'il s'agit d'un dispositif-prototype.

$\blacksquare$ #1 :

Les slots d'un dispositif lui permettent de communiquer avec les autres dispositifs lors de la phase d'exécution ( $\rightarrow$ section A.2.2).

$\blacksquare$ #1 :

Un dispositif possède un ensemble éventuellement vide de paramètres. Les valeurs de ces paramètres déterminent certains aspects du comportement du dispositif pendant la phase de construction et d'exécution. Un dispositif ne peut pas comporter deux paramètres portant le même nom ( $\rightarrow$ section A.2.1).

$\blacksquare$ #1 :

La configuration-fille du dispositif, lorsqu'il s'agit d'un dispositif composite ; null sinon.

$\blacksquare$ #1 :

Spécifie si le dispositif est un dispositif-prototype ( $\rightarrow$ section A.2.1).

$\blacksquare$ #1 :

Spécifie si le dispositif est de type composite ( $\rightarrow$ section A.4).

$\blacksquare$ #1 :

Un dispositif est dit mutable s'il est susceptible de se spécialiser en fonction de la valeur prise par certains de ses attributs ( $\rightarrow$ annexe B).

$\blacksquare$ #1 :

Indique si le dispositif reçoit des informations de l'environnement, c'est-à-dire des données autres que celles en provenance de ses slots d'entrée) ( $\rightarrow$ section C.5.1).

$\blacksquare$ #1 :

Indique si le dispositif émet des informations vers l'environnement, c'est-à-dire ailleurs que sur ses slots de sortie ( $\rightarrow$ section C.5.1).

$\blacksquare$ #1 :

$\mu$ est la fonction de mutation du dispositif, qui détermine le comportement de celui-ci pendant la phase de construction ( $\rightarrow$ annexe B).

$\blacksquare$ #1 :

$\epsilon$ est la fonction d'exécution du dispositif, qui détermine le comportement de celui-ci pendant la phase d'exécution ( $\rightarrow$ annexe C).

A.2.1.1 Paramètres

La structure d'un paramètre, décrite dans le tableau A.2.1, est simplement celle d'un attribut. Les paramètres peuvent être ainsi vus comme des attributs de dispositif supplémentaires.

Tableau A.2: Structure d'un paramètre.

	nom		chaîne de caractères
	type		(selon l'implémentation)
	valeur		type

A.2.1.2 Dossiers de prototypes

Un dispositif-prototype est en tous points semblable à un dispositif, à ceci près qu'il ne fait pas partie d'une configuration, ne mute pas (il est obligatoirement dans un état consistant ( $\rightarrow$ section B.2.4)) et n'est jamais exécuté. Uniquement destiné à être dupliqué, celui-ci possède un état statique qui définit un paramétrage initial (valeur par défaut des paramètres) et un comportement (fonctions de mutation et d'exécution).

Les dispositifs-prototypes sont regroupés dans un dossier de prototypes dont la structure est la suivante:

Tableau A.3: Structure d'un dossier de prototypes.

	nom		chaîne de caractères
	prototypes		Dispositif [ ]

A.2.2 Slots

Un slot est un état du dispositif qui est accessible aux autres dispositifs. Ces derniers ont la possibilité d'écrire sur le slot s'il s'agit d'un slot d'entrée, ou de lire sa valeur s'il s'agit d'un slot de sortie (figure 3.11). Ces échanges se font par l'intermédiaire des connexions ( $\rightarrow$ section A.3).

Les attributs d'un slot sont énumérés dans le tableau ci-dessous, et détaillés par la suite.

Tableau A.4: Structure d'un slot.

	nom		chaîne de caractères
	parent		$\rightarrow$ Dispositif ou Configuration
	sens		entrée/sortie
	type		(selon l'implémentation)
	supertype		(selon l'implémentation)
	externe		vrai/faux
	déclencheur		vrai/faux
	t-mutable		vrai/faux
	s-mutable		vrai/faux
	absent		vrai/faux

$\blacksquare$ #1 :

Cet attribut identifie le slot au sein du dispositif. Le nom de chaque slot d'entrée d'un dispositif est unique, de même pour ses slots de sortie. Les noms comportant des points « . » définissent des slots structurés (structure cependant non explicite dans ICOM).

$\blacksquare$ #1 :

Une référence au dispositif ou à la configuration à laquelle appartient le slot, selon qu'il s'agisse d'un slot de dispositif ou d'un slot externe.

$\blacksquare$ #1 :

Cet attribut vaut entrée ou sortie, selon qu'il s'agisse d'un slot d'entrée ou d'un slot de sortie. Ce critère restreint l'ensemble des connexions possibles entre slots ( $\rightarrow$ section A.3).

$\blacksquare$ #1 :

Le type d'un slot décrit le type de données qui y transitera lors de la phase d'exécution. Dans la phase de construction, celui-ci détermine simplement la compatibilité des connexions ( $\rightarrow$ section A.3.2).

$\blacksquare$ #1 :

Le supertype d'un slot décrit l'ensemble des types que peut posséder un slot t-mutable. ( $\rightarrow$ annexe B)

$\blacksquare$ #1 :

Un slot externe est un slot isolé n'appartenant à aucun dispositif. Il sert à communiquer avec la configuration parente dans les dispositifs composites. Un slot non externe est également appelé slot de dispositif. ( $\rightarrow$ section A.4.1)

$\blacksquare$ #1 :

Un slot est dit déclencheur s'il est susceptible de provoquer une mutation de son dispositif parent. Cet attribut vaut faux pour les slots absents. ( $\rightarrow$ annexe B)

$\blacksquare$ #1 :

Un slot est dit t-mutable s'il est susceptible de changer de type. ( $\rightarrow$ annexe B)

$\blacksquare$ #1 :

Un slot est dit s-mutable s'il est susceptible d'être ajouté ou supprimé du dispositif. Un slot ne peut pas être simultanément s-mutable et t-mutable. En outre, un slot déclencheur ne peut pas être s-mutable. ( $\rightarrow$ annexe B)

$\blacksquare$ #1 :

Spécifie si le slot est un slot absent ou un slot présent. Les slots présents sont créés par le dispositif, et les slots absents sont créés par les mécanismes de mutation. ( $\rightarrow$ annexe B)

A.2.3 Connexions

Une connexion est une relation liant deux slots, indiquant que ces deux slots partageront la même valeur lors de la phase d'exécution. La structure d'une connexion est décrite dans le tableau A.2.3.

Tableau A.5: Structure d'une connexion.

	parent		$\rightarrow$ Configuration
	sortie		$\rightarrow$ Slot
	entrée		$\rightarrow$ Slot

$\blacksquare$ #1 :

Une référence à la configuration parente de la connexion.

$\blacksquare$ #1 :

Une référence à un slot de sortie appartenant à parent ou à l'un de ses dispositifs-fils.

$\blacksquare$ #1 :

Une référence à un slot d'entrée appartenant à parent ou à l'un de ses dispositifs-fils.

Les connexions sont orientées de la sortie vers l'entrée, et seront parfois notées $\bf s \rightarrow e$, $s$ étant le slot de sortie et $e$ le slot d'entrée.

A.2.4 Configuration d'entrée

Une configuration d'entrée est principalement constituée d'un ensemble de dispositifs et de connexions. Elle peut éventuellement être encapsulée dans un dispositif composite, auquel cas elle possède un dispositif parent. La structure d'une configuration d'entrée est décrite ci-dessous:

Tableau A.6: Structure d'une configuration d'entrée.

	nom		chaîne de caractères
	parent		$\rightarrow$ Dispositif
	bibliothèque		Dossier [ ]
	dispositifs		Dispositif [ ]
	connexions		Connexion [ ]
	slotsExternes		Slot [ ]

$\blacksquare$ #1 :

Ce nom contribue à identifier la fonction et le rôle de la configuration d'entrée.

$\blacksquare$ #1 :

Une référence au dispositif parent de la configuration, lorsque celle-ci est encapsulée dans un dispositif composite, null sinon.

$\blacksquare$ #1 :

La bibliothèque de dispositifs de la configuration, composée d'un ensemble de dossiers de prototypes.

$\blacksquare$ #1 :

L'ensemble des dispositifs de la configuration d'entrée.

$\blacksquare$ #1 :

L'ensemble des connexions qui relient les dispositifs entre eux. Les connexions seront abordées en détail dans la section suivante.

$\blacksquare$ #1 :

Une configuration peut comporter des slots isolés dits externes, qui lui permettent de communiquer avec l'extérieur. Ces objets sont décrits dans la section A.4.