3. DIAGRAMMES SYS ML
Ici, nous allons décrire tous les diagrammes que le
langage de modélisation SYS ML utilisé notamment :
a. diagramme SysML d'expression des besoins
Permettent effectivement d'introduire une
traçabilité entre un besoin et le (ou les) diagramme(s)
réalisant ce besoin, ils consistent en fait simplement en un
élément structurel contenant une description textuelle du besoin.
On peut
Également faire des dérivations de besoins ou
bien créer une hiérarchie de besoins, mais cela semble
léger pour répondre a la demande forte d'expression bien
formalisée et automatisée -des besoins dans les langages de
modélisation.
b. diagramme paramétrique
Les diagrammes paramétriques représentent la
seconde nouveauté de SysML. Ils offrent la possibilité d'exprimer
des propriétés mathématiques entre différents
éléments d'un modèle. En cela ils offrent un apport
considérable par rapport a UML oü ce type de notation
n'était Possible qu'à travers des contraintes textuelles ou
exprimées dans le langage formel OCL.
c. Diagramme de définition de bloc
Le diagramme de définition de bloc spécifiant une
vue haut niveau d'un Capteur mobile
FIGURE 1. DIAGRAMME SYSML D'EXPRESSION DES
BESOINS
« Exigence »
Longévité
Les matériels trouvé au service informatique ne
remplis pas les normes pour mettre en place un serveur
« Dérivé »
« Exigence »
Confirmé la
réception
Les matériels affectés au service informatique
pour la mise en place du serveur doit remplir tout les normes
«Satisfaire » « Vérifier »
Vérification de comportement
Nominal
Evaluation confirmé à la
réception
LA FIGURE 1 montre un diagramme d'expression
des besoins. Celui-ci spécifie des
propriétés liées au besoin de mise en place d'un serveur.
Le bloc Longévité est un besoin de haut niveau. Le bloc
Confirmé la Réception est beaucoup plus précis. La
relation <<dérivé>> montre que le second besoin
découle directement du premier. Dans Utilisation de Sys ML pour la
modélisation des réseaux.
la partie basse de la figure, on trouve le diagramme
d'état vérification de comportement nominal qui satisfait le
besoin Confirmé la Réception (lien de type <<satisfaire
>>) ainsi que le cas de test Evaluation confirmer à la
réception qui vérifiera la bonne implémentation de ce
besoin.
FIGURE 2. DIAGRAMME DE DEFINITION DE BLOC
« Block ))
Antenne
« Block ))
Machine serveur
« Block ))
Modem
« Block ))
Routeur
« Block ))
Switch
« Block ))
Machine cliente
« Block ))
Imprimante
La figure 2 présente le diagramme de
définition de bloc spécifiant une vue haut de notre
réseau, on peut remarque facilement une imprécision du
langage.
En effet, le bloc le serveur est lié au bloc Switch via
un câble réseau, le même qui lie le bloc machine cliente, le
routeur et l'imprimante, le modem est lié au routeur et à
l'antenne, la composition entre le différent bloc vient du lien
physique.
| 
