Diagrammes Sysml Sys ML Systems Modeling Language Diagramme

Diagrammes Sysml (Sys. ML Systems Modeling Language) Diagramme des exigences Diagramme comportemental Diagramme structurel 2. Diagramme d’exigence 6. Diagramme d’activité 4. Diagramme de définition de blocs 3. Diagramme de séquence 7. Diagramme d’états 1. Diagramme de cas d’utilisation 5. Diagramme de blocs internes

Acteur Rôle joué par un utilisateur humain ou un autre système qui interagit directement avec le système étudié. Un acteur participe à au moins un cas d’utilisation. Un cas d’utilisation doit être relié à au moins un acteur. Cas d’utilisation Un cas d’utilisation (use case, ou UC) représente un ensemble de séquences d’actions qui sont réalisées par le système.

une relation d’inclusion, formalisée par le mot-clé «include» : le cas d’utilisation de base en incorpore explicitement un autre, de façon obligatoire ; une relation d’extension, formalisée par le mot-clé «extend» : le cas d’utilisation de base en incorpore implicitement un autre, de façon optionnelle, à un endroit spécifié indirectement dans celui qui procède à l’extension (appelé extension point) ; Une relation de généralisation/spécialisation (flèche blanche) : les cas d’utilisation descendants héritent de la description par leur parent commun. Chacun d’entre eux peut néanmoins . comprendre des interactions spécifiques supplémentaires

2. Diagramme d’exigence Les exigences fonctionnelles sont en général recensées dans un cahier des charges fonctionnel décrivant différents critères ainsi que des niveaux (valeurs numériques en général) pour ces critères ainsi que la flexibilité (tolérance) accordée à ces niveaux En anglais : requirement diagram Notation Sys. ML: req

2. Diagramme d’exigence la dérivation ( « derive. Reqt » ) consiste à relier des exigences de niveaux différents, par exemple des exigences système à des exigences de niveau sous-système, etc. Elle implique généralement des choix d’architecture En anglais : requirement diagram Notation Sys. ML: req

2. Diagramme d’exigence le raffinement ( « refine » ) consiste en l’ajout de précisions, par exemple de données quantitatives ; En anglais : requirement diagram Notation Sys. ML: req la contenance (ligne terminée par un cercle contenant une croix du côté du conteneur) permet de décomposer une exigence composite en plusieurs exigences unitaires, plus faciles ensuite à tracer vis -à-vis de l’architecture ou des tests ;

§ On souhaite montrer l’enchaînement des différentes étapes du fonctionnement externe du système. L’outil graphique du langage Sys. ML associé à cette étape est le diagramme de séquences (Sequence Diagram).

Le diagramme de séquence montre la séquence verticale des messages passés entre éléments (lignes de vie) au sein d’une interaction. Une ligne de vie possède un nom et un type. Elle est représentée graphiquement par une ligne verticale en pointillés.

loop : boucle. Le fragment peut s’exécuter plusieurs fois, et la condition de garde explicite l’itération ; • opt : optionnel. Le fragment ne s’exécute que si la condition fournie est vraie ; • alt : fragments alternatifs. Seul le fragment possédant la condition vraie s’exécutera.

4. Diagramme de définition de blocs BDD. Diagramme de définition de blocs (Bloc Définition Diagram, BDD). On définit les différents matériels qui vont être utilisés dans le système. Cette définition en définissant des sous-ensembles du système réalisant une composante de la fonction globale puis en détaillant chaque sous-système en éléments réalisant chacun une fonction élémentaire

4. Diagramme de définition de blocs BDD.

4. Diagramme de définition de blocs BDD. Agrégation La relation d’agrégation (losange vide) est beaucoup Composition moins forte que la Le côté du tout est relation de indiqué par un losangecomposition(losange plein. La multiplicité plein) de ce même côté ne peut être que 1 ou 0. . 1 Du côté des parties, on peut indiquer un nom de rôle et une multiplicité (la valeur par défaut étant toujours 1 Chaque sous-système peut ensuite être détaillé.

5. Diagramme de blocs internes On définit les échanges d’information (chaîne d’information) et les transferts d’énergie (chaînes d’énergie) dans l’ensemble du système ou à l’intérieur d’un sous-ensemble en spécifiant les différentes grandeurs qui relient chaque sous ensemble.

5. Diagramme de blocs internes

7. Diagramme d’états Le diagramme états transitions ou machine à état (state machine) est un outil de représentation graphique montrant la suite des différents états que peut prendre le système automatisé séquentiel. Montre les différents états pris par le système (ou un sous-système) en fonction des interactions Il répond à la question : "Comment représenter les différents états du système ? " Limites et préconisation : Ce diagramme servira avant tout à décrire le fonctionnement d'un programme. Ce diagramme trouve toute sa place en lien avec les logiciels de simulation comportementale (Matlab, Lab. View, Modelica, …). En anglais : state diagram Notation Sys. ML: stm

7. Diagramme d’états État Transition Activité L’état composite orthogonal correspond à un ensemble d’états pour lesquels plusieurs états peuvent être actifs à un instant donné. Il se décompose en plusieurs régions dont le déroulement s’effectue simultanément (séquences en parallèle). Chaque région contient un graphe associé à un état composite non orthogonal.

7. Diagramme d’états entry /, définit les activités qui seront exécutées au début de l’activité de l’état ; c’est en général dans cette catégorie que l’on décrit les actions à réaliser sur la partie opérative du système ; do /, définit des activités ou des calculs qui seront exécutés lorsque l’état est actif ; c’est en général dans cette rubrique qu’on effectue les calculs nécessaires (comptages, affectation de valeurs en mémoire, …) ; Il faut noter que pour les activités de type entry ou do, les résultats sont maintenus même si l’état n’est plus actif. exit /, définit les activités qui seront exécutées à la fin de l’activité de l’état. C’est en général à ce niveau qu’on annulera les actions qu’on souhaite voir effectuées uniquement pendant la durée d’activité de l’état. -activité conditionnée à une transition interne, c’est le moyen de ne réaliser une activité, lorsqu’un état est actif, que si un évènement survient. La syntaxe est du type évènement / activité ; par exemple after(20 s)/laver État « sous-état » (submachine state) Ce type d’état correspond à un sous-programme exécuté lorsque ce sous-état devient actif. La notation du sous-état est donnée ci-contre. Le graphe représentant ce sous-programme associé au sous-état peut être : un graphe d’état complet ; un état composite non orthogonal ou orthogonal (voir ci après). Il permet de réaliser une structuration de la description du fonctionnement du système à évènement discrets par approche descendante progressive.

7. Diagramme d’états État composite à une seule région (état non orthogonal) L’état composite non orthogonal correspond à un ensemble d’états pour lesquels un seul peut être actif à un instant donné. L’état composite peut comprendre des tests, des branchements conditionnels. Condition ou condition de garde C’est une expression booléenne qui doit être vraie lorsque l’événement arrive pour que la transition soit déclenchée. Elle est notée entre crochets. S’il y a plusieurs transitions avec un même événement, elles doivent avoir des conditions différentes. Lorsqu’il y a plus de deux conditions, il est recommandé d’utiliser le mot-clé else pour garantir l’exhaustivité. Les changements d’état interne se modélisent en utilisant le mot-clé when suivi d’une expression booléenne dont le passage de faux à vrai déclenche la transition. Le passage du temps se modélise en utilisant le mot-clé after suivi d’une expression représentant une durée, décomptée à partir de l’entrée dans l’état courant.

Ref Sys. ML par l’exemple Un langage de modélisation pour systèmes complexes Auteur : Pascal Roques Éditeur : Eyrolles