Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

ESTIC 2016-2017 ESTIC 2016-2017 ASR-301 ASR-301 ESTIC 2016-2017 ESTIC 2016-2017

ESTIC 2016-2017 ESTIC 2016-2017 ASR-301 ASR-301 ESTIC 2016-2017 ESTIC 2016-2017 ASR-301 ASR-301 INITIATION A L’INGENIERIE DES SYSTEMES ASR301 NOTES CONCUES OU COMPILEES par Bertin Polombwe Version 1.0 – 2016/2017 CHAPITRE 5 MODELISATION SYSTEME AVEC SysML – MODULE 1 – SysML EN ACTION -1- Lionel Gendre et Jean-Marie Virely le 01/07/2013 Les diagrammes La modélisation fonctionnelle Les relations entrediagrammes La modélisation structurelle La modélisation comportementale Systems Modeling Language SysML Lionel GENDRE et Jean-Marie VIRELY ENS Cachan Les diagrammes La modélisation fonctionnelle Les relations entrediagrammes La modélisation structurelle La modélisation comportementale SysML (Systems Modeling Language) • Le langage SysML • signifiés : éléments d’un modèle • signifiants : symboles + textes • « Diagrammes SysML » • diagramme : représentation d’une partie d’un modèle selon un point de vue • interdépendants • SysML n’est pas une méthode • l’utilisation du langage est libre le 01/07/2013 -3- Lionel Gendre et Jean-Marie Virely Les diagrammes La modélisation fonctionnelle Les relations entrediagrammes La modélisation structurelle La modélisation comportementale Diagrammes SysML • Diagramme : en-tête + contenu • en-tête : ce qui est représenté • contenu : la représentation • Toujours une vue interne d’un élément... • ... identifié par son nom, réutilisé ailleurs... • ... ce qui assure la cohérence des descriptions. Type et nom de l’élément du modèle représenté Type du diagramme (donne le point de vue, il y en a 9) Nom du diagramme (libre) le 01/07/2013 -4- Lionel Gendre et Jean-Marie Virely Les diagrammes La modélisation fonctionnelle Les relations entrediagrammes La modélisation structurelle La modélisation comportementale Les 9 types de diagrammes le 01/07/2013 -5- Lionel Gendre et Jean-Marie Virely • Diagrammes fonctionnels : • uc : use case diagram (diagramme des cas d’utilisation) • req : requirement diagram (diagramme des exigences) • Diagrammes structurels : • bdd : block definition diagram (diagramme de définition des blocs) • ibd : internal block diagram (diagramme interne d’un bloc) • pkg : package diagram (diagramme des paquets) • Diagrammes comportementaux : • act : activity diagram (diagramme d’activités) • stm : state machine diagram (diagramme d’états) • sd : sequence diagram (diagramme de séquence) • par : parametric diagram (diagramme paramétrique) Les diagrammes La modélisation fonctionnelle Les relations entrediagrammes La modélisation structurelle La modélisation comportementale La modélisation fonctionnelle le 01/07/2013 -6- Lionel Gendre et Jean-Marie Virely • Diagramme des cas d’utilisation • Diagramme des exigences Les diagrammes La modélisation fonctionnelle Les relations entrediagrammes La modélisation structurelle La modélisation comportementale Le diagramme des cas d’utilisation Conduire Véhicule uc Use Cases [utilisation du véhicule] Acteur • Objectif : décrire • des cas d’utilisation : actions réalisées en utilisant le système • des acteurs extérieurs au système, qui réalisent et/ou subissent ces actions • ...et les relier Frontière du système Cas d’utilisation Conducteur Relation (participation) le 01/07/2013 -7- Lionel Gendre et Jean-Marie Virely Les diagrammes La modélisation fonctionnelle Les relations entrediagrammes La modélisation structurelle La modélisation comportementale Les cas d’utilisation • Descriptions d’actions réalisables en utilisant le système • Services rendus par le système aux acteurs • Forme : verbe à l’infinitif Conduire Véhicule uc Use Cases [utilisation du véhicule] Conducteur Cas d’utilisation le 01/07/2013 -8- Lionel Gendre et Jean-Marie Virely Les diagrammes La modélisation fonctionnelle Les relations entrediagrammes La modélisation structurelle La modélisation comportementale Les acteurs • Entités externes qui accomplissent et/ou subissent les actions de façon autonome : • individu(s) • systèmes automatisés • serveurs… • Nommés d’après leur rôle en tant qu’utilisateurs Conduire Véhicule uc Use Cases [utilisation du véhicule] Conducteur Autre représentation (synonyme) : « actor » Conducteur Acteur le 01/07/2013 -9- Lionel Gendre et Jean-Marie Virely Les diagrammes La modélisation fonctionnelle Les relations entrediagrammes La modélisation structurelle La modélisation comportementale Les relations • Participation : un acteur réalise et/ou subit un cas d’utilisation • multiplicité : nombre d’acteurs de ce type participant à ce cas d’utilisation (1 par défaut) Conduire Véhicule uc Use Cases [utilisation du véhicule] Conducteur Participation Se faire transporter Véhicule uc Use Cases [autre utilisation] Passager Participation avec multiplicité 0..4 le 01/07/2013 -10- Lionel Gendre et Jean-Marie Virely Les diagrammes La modélisation fonctionnelle Les relations entrediagrammes La modélisation structurelle La modélisation comportementale Les relations • Relations logiques entre acteurs ou cas d’utilisations Spécialisation uc Facturation d’un parking payant Inclusion Extension Barrière de parking Payer le parking Annuler la ------------------------------ extension points: Annulation « extend » transaction Conducteur « include » Justifier de l’heure d’arrivée Ajuster le tarif horaire Ajuster les tarifs Ajuster le tarif journalier Gérant le 01/07/2013 -11- Lionel Gendre et Jean-Marie Virely Les diagrammes La modélisation fonctionnelle Les relations entrediagrammes La modélisation structurelle La modélisation comportementale Exercice : vidéosurveillance le 01/07/2013 -12- Lionel Gendre et Jean-Marie Virely • Dessiner un diagramme des cas d’utilisation d’un système de vidéosurveillance • Acteurs : • opérateur, pouvant être qualifié ou non qualifié • intrus • superviseur • Cas d’utilisation : • surveiller, soit automatiquement soit manuellement • gérer la panne • Règles : • Surveiller implique toujours au moins un opérateur, et éventuellement un ou plusieurs intrus • Tout opérateur peut surveiller automatiquement • Seul un opérateur qualifié peut surveiller manuellement • Une panne peut survenir lorsqu’on surveille, et le superviseur (il y en a un seul) doit alors gérer la panne Les diagrammes La modélisation fonctionnelle Les relations entrediagrammes La modélisation structurelle La modélisation comportementale Corrigé uc Cas d’utilisation [corrigé] Système de vidéosurveillance Gérer la panne « extend » Surveiller Surveiller ------------------------------ automatiquement extension points: Panne Surveiller manuellement 0..* Intrus Superviseur 1..* Opérateur 1..* Opérateur Opérateur non qualifié qualifié le 01/07/2013 -13- Lionel Gendre et Jean-Marie Virely Les diagrammes La modélisation fonctionnelle Les relations entrediagrammes La modélisation structurelle La modélisation comportementale Cas d’utilisation (uc) : syntaxe Nom durôle Nom du système Faireune action … … A B A B A B B --------------------------- Extension points: condition A Acteur : individu ou système externe qui accomplit ou subit les actions Cas d’utilisation : action pouvant être accomplie par l’usage du système Frontière entre le système et son environnement Participation avec multiplicité N min..max min..* Spécialisation : A est untype spécialisé de B, et hérite de ses cas d’utilisation Spécialisation : A est untype spécialisé de B, et hérite de ses acteurs « include » « extend » Inclusion : B est toujours exécuté au cours de l’exécution de A Extension : A est exécuté lors de l’exécution de B si une condition est remplie le 01/07/2013 -14- Lionel Gendre et Jean-Marie Virely Les diagrammes La modélisation fonctionnelle Les relations entrediagrammes La modélisation structurelle La modélisation comportementale Le diagramme des exigences • Objectifs : • spécifier des exigences (caractéristiques ou qualités attendues) • les hiérarchiser • les documenter (éléments auxquels elles s’appliquent, traçabilité, méthodes de vérification…) req Exigences [exigences du véhicule] Exigence non exprimée « requirement » Performances du véhicule « requirement » Temps d’accélération id = 1 text = ‘’Le véhicule doit pouvoir accélérer de 0 à 100 km/h en…’’ « use case » Conduire ⊕ « refine » Exigence exprimée Relation « est contenu dans » Relation « est caractérisé par » Référence à un cas d’utilisation le 01/07/2013 -15- Lionel Gendre et Jean-Marie Virely Les diagrammes La modélisation fonctionnelle Les relations entrediagrammes La modélisation structurelle La modélisation comportementale Les exigences • Exigence : toute propriété ou capacité attendue • du système ou de son comportement • chiffrée (caractéristique) ou non (qualité) • exprimée par une phrase comportant le verbe « doit » req Exigences [exigences du véhicule] Exigence non exprimée « use case » Conduire « requirement » Performances du véhicule ⊕ « requirement » Temps d’accélération id = 1 text = ‘’Le véhicule doit pouvoir accélérer de 0 à 100 km/h en…’’ « refine » Exigence exprimée le 01/07/2013 -16- Lionel Gendre et Jean-Marie Virely Les diagrammes La modélisation fonctionnelle Les relations entrediagrammes La modélisation structurelle La modélisation comportementale La hiérarchie des exigences le 01/07/2013 -17- Lionel Gendre et Jean-Marie Virely Les diagrammes La modélisation fonctionnelle Les relations entrediagrammes La modélisation structurelle La modélisation comportementale La traçabilité des exigences Références à des éléments du modèle Justificationde la relation de satisfaction • Liens entre exigences et structures/comportements le 01/07/2013 -18- Lionel Gendre et Jean-Marie Virely Les diagrammes La modélisation fonctionnelle Les relations entrediagrammes La modélisation structurelle La modélisation comportementale Représentation des relations • Les trois représentations ci-dessous sont synonymes : « requirement » Temps d’accélération id = 1 text = ‘’Le véhicule doit pouvoir accélérer de 0 à 100 km/h en…’’ « use case » Conduire « refine » « requirement » Temps d’accélération id = 1 text = ‘’Le véhicule doit pouvoir accélérer de 0 à 100 km/h en…’’ refinedBy « use case » Conduire « requirement » Temps d’accélération id = 1 text = ‘’Le véhicule doit pouvoir accélérer de 0 à 100 km/h en…’’ refinedBy « use case » Conduire Notationdirecte Notation compartimentée Notation « post-it» le 01/07/2013 -19- Lionel Gendre et Jean-Marie Virely Les diagrammes La modélisation fonctionnelle Les relations entrediagrammes La modélisation structurelle La modélisation comportementale Exercice : vidéosurveillance le 01/07/2013 -20- Lionel Gendre et Jean-Marie Virely • Dessiner un diagramme des exigences pour uploads/Ingenierie_Lourd/ ing-sys-asr301-5-1-modelisation-systeme-avec-sysml-sysml-en-action.pdf