Expression des contraintes OCL dans la spécification de mission d'un système de systèmes.

Abstract

Un système de systèmes peut être compris comme le résultat de l'interaction entre les systèmes constitutifs indépendants et hétérogènes existants qui coopèrent pour former un système plus vaste et plus complexe permettant d'accomplir une mission. Le but de ce travail est de proposer une notation permettant d'exprimer des contraintes OCL graphiquement lors de la spécification d'une mission d'un SoS (System of System). La syntaxe abstraite a été exprimé par un méta-modèle, tandis que la syntaxe concrète a été exprimée à l'aide d'éléments graphiques. Nous avons implémenté un outil de spécification à l'aide d'EMF (Eclipse Modeling Framework)-GMF (Graphical Modeling Framework) et nous avons validé l'outil par une étude de cas. Mots clés : Systèmes de Systèmes SoS, Object Constraint Language OCL, Mission, Méta-modèle, contrainte.