Un support méthodologique pour la configuration de composants génériques
Résumé
Lors de la construction d'applications basée sur des composants réutilisables, un composant générique doit souvent être paramétré (configuré) avant d'être intégré dans l'architecture globale de l'application. Afin de guider la construction d'applications, dans cet article nous proposons une spécification en UML de l'étape de configuration et l'expression des contraintes en OCL. Nous traitons l'exemple de configuration d'un automate programmable industriel qui est l'un des composants exprimés en UML et utilisés dans la construction d'un modèle de simulation d'un atelier de production automatisé. Afin de pouvoir exprimer l'occurrence des événements et les contraintes qui s'y appliquent dans le modèle de comportement, une extension d'OCL a également été proposée. l'utilisation d'OCL nous donne la possibilité de vérifier le respect des contraintes non seulement lors des étapes successives de configuration mais également lors de l'exécution de l'application. En effet, OCL est un formalisme d'expression de contraintes utilisable à l'intérieur d'UML à la fois dans un diagramme de classe et un diagramme d'état-transition, permettant ainsi de lier une vue structurelle à une vue comportementale. || For the construction of the applications based on reusable components, a generic component must often be parameterised (configured) before being integrated in the total application architecture. In order to guide the construction of the applications, in t