Modélisation des systèmes temps-réel répartis embarqués pour la ...

II-5.2.2 Connecteurs
Modélisation des systèmes temps-réel répartis embarqués
Un connecteur constitue l’abstraction utilisée pour modéliser les interactions entre composants.
Un connecteur décrit des correspondances entre interfaces de composants ainsi que les
règles qui prévalent lors des interactions. Un connecteur représente classiquement les communications
entre les composants, et peut donc être interprété dans une certaine mesure comme la
représentation d’un intergiciel ; il matérialise alors des communications par tube à la manière
Unix, par appel de sous-programme distant (RPC), etc.
Un connecteur peut se voir attribuer des rôles, qui représentent les rôles que peuvent tenir
différents composants dans l’interaction décrite par le connecteur. Ainsi par exemple dans une
architecture dont les communications sont basées sur un mécanisme de type tube et filtre, un
connecteur de type tube, aura deux rôles : source, qui correspondra au composant – fichier ou
processus – qui fournit les données, et puits, qui correspondra au composant – le filtre suivant ou
un fichier – destinataire des données.
La notion de connecteur est plus ou moins développée d’un ADL à un autre [Oussalah, 2005 ;
Medvidovic et Taylor, 2000]. Dans des langages tels que Darwin ou Rapide, un connecteur peut
être une connexion directe des ports des composants, associée à une sémantique très simple voire
implicite ; d’autres langages, comme Unicon, définissent un connecteur comme une combinaison
de connecteurs prédéfinis ; un connecteur peut également être spécifiés à l’aide d’un langage de
définition (Wright).
II-5.2.3 Configurations
Une configuration (architecturale), aussi appelée topologie, décrit un assemblage de composants
et de connecteurs. Les composants et connecteurs correspondent à des instances nommées
de types de composants et de connecteurs permettant leur référencement. Les relations entre interfaces
des composants et rôles des connecteurs sont établies à l’aide de liaisons (bindings). Une
configuration fournit une information structurelle, qui peut éventuellement être amenée à évoluer
au cours de l’exécution du système.
Une configuration permet le déploiement automatique de l’architecture définie. Les configurations
permettent aussi dans certains ADL de construire des composants composites, c’est-à-dire
constitués d’une configuration de composants et de connecteurs. Pour cela, il doit être possible de
relier les ports des sous-composants à ceux du composite. L’intérêt des composants composites est
de permettre la réutilisation de configurations complètes mais aussi de prendre en charge le développement
de techniques compositionnelles de vérification formelle (la vérification est effectuée
au niveau du particulier, un constituant de l’architecture, puis réutilisée au niveau de la vérification
globale).
D’autres caractéristiques peuvent intervenir, telles que la prise en compte de contraintes ou
encore l’hétérogénéité et l’évolutivité des architectures [Medvidovic et Taylor, 2000].
II-5.3 Langages pour assister la production de systèmes exécutables
La syntaxe d’UML permet en grande partie de représenter les notions classiques d’un langage
de description d’architecture ; il est utilisé comme support syntaxique pour de nombreux ADL
[Garlan et al., 2002 ; Hofmeister et al., 1999 ; Elloy et Simonot-Lion, 2002 ; Rumpe et al., 1999].
De la même façon, FractalADL peut être considéré comme un ADL dédié à l’assemblage de
composants applicatifs.
22 c○ 2007 Thomas Vergnaud