Un support méthodologique pour la configuration de composants génériques

Domenico Cavaliere 1 Ye-Qiong Song 1 Françoise Simonot-Lion 1 Olivier Hembert 2
1 TRIO - Real time and interoperability
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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
keyword : uml ocl configuration
Type de document :
Rapport
[Interne] A00-R-305 || cavaliere00b, 2000
Liste complète des métadonnées

https://hal.inria.fr/inria-00099335
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:53:01
Dernière modification le : jeudi 11 janvier 2018 - 06:20:05

Identifiants

  • HAL Id : inria-00099335, version 1

Collections

Citation

Domenico Cavaliere, Ye-Qiong Song, Françoise Simonot-Lion, Olivier Hembert. Un support méthodologique pour la configuration de composants génériques. [Interne] A00-R-305 || cavaliere00b, 2000. 〈inria-00099335〉

Partager

Métriques

Consultations de la notice

165