QCM : Modélisation des systèmes avec SysML (24 questions)

Explication

SysML est un langage graphique de modélisation des systèmes complexes, dérivé d’UML, et il constitue un standard en ingénierie système. L’OMG l’a adopté officiellement le 19 septembre 2007. SysML n’est pas un langage textuel de programmation dérivé de BPMN.

Explication

SysML est un langage graphique de modélisation des systèmes complexes, dérivé d’UML et devenu un standard en ingénierie système. Il n’est pas dérivé d’un langage de gestion de processus métier et sa portée ne se limite pas aux systèmes simples.

Explication

SysML comporte neuf types de diagrammes, qui représentent les aspects fonctionnel, structurel et comportemental d’un système. Les diagrammes fonctionnels sont le diagramme de cas d’utilisation et le diagramme d’exigences ; les diagrammes d’activité ne font pas partie de cette catégorie. Le diagramme d’exigences n’est pas un diagramme structurel.

Explication

Une exigence spécifie une capacité ou une contrainte à satisfaire, par exemple une fonction ou une condition de performance, de fiabilité ou de sécurité. Elle n’est pas une caractéristique facultative ni une condition laissée à la convenance du système.

Explication

Les exigences expriment à la fois les besoins du client et les contraintes du système. Elles ne sont pas définies ici comme l’expression des objectifs de l’équipe de conception ou de ses ressources.

Explication

La contenance décompose une exigence composite en exigences unitaires, le raffinement ajoute des précisions et la dérivation relie des exigences de niveaux différents, généralement avec des choix d’architecture. La dérivation ne relie donc pas des exigences de même niveau.

Explication

Les exigences non fonctionnelles couvrent notamment la performance, la fiabilité, la sécurité, la volumétrie, les aspects physiques et les interfaces. La réalisation d’une fonction relève d’une exigence fonctionnelle, tandis que les autres propositions décrivent des relations entre exigences ou leur rôle général.

Explication

Le cas d’utilisation est un service rendu à un acteur et rassemble des séquences d’actions réalisées par le système. Il ne décrit pas les séquences exécutées par l’acteur ni les composants internes de réalisation.

Explication

Ce diagramme montre les acteurs, les cas d’utilisation et leurs interactions. Il ne précise pas comment le système réalise le service, ni ses composants ou ses algorithmes.

Explication

« Include » intègre obligatoirement un cas d’utilisation dans le cas de base, tandis qu’« extend » ajoute un cas de façon optionnelle. La relation « extend » ne précise pas comment le système réalise le service. Les deux propositions qui attribuent à « extend » une intégration obligatoire sont donc incorrectes, tout comme celle qui présente « include » comme une interaction facultative.

Explication

La généralisation d’acteurs regroupe les aspects communs de plusieurs acteurs concrets dans un acteur généralisé, et les spécialisations peuvent avoir leurs propres cas d’utilisation. L’héritage de description et l’ajout d’interactions spécifiques concernent la généralisation des cas d’utilisation.

Explication

Une ligne de vie représente l’existence d’un élément, porte un nom et un type, et se dessine verticalement en pointillés. Elle ne représente pas un message et n’est pas une ligne horizontale continue.

Explication

Un message est transmis d’une ligne de vie à une autre et constitue une communication unidirectionnelle qui déclenche une activité chez le destinataire. Il n’est pas représenté par une flèche verticale : une flèche pleine représente l’envoi d’un message et une flèche pointillée son retour ou résultat direct. Un message peut être synchrone ou asynchrone ; la communication entre deux lignes de vie n’est donc pas définie comme nécessairement synchrone.

Explication

Dans un diagramme de séquence, l’ordre chronologique se lit de haut en bas et les messages suivent la séquence décrite dans le cas d’utilisation. Leur ordre ne dépend pas de la présentation des acteurs. Un message synchrone se représente par une flèche pleine, et non par une flèche évidée.

Explication

Le fragment « loop » répète un ou plusieurs opérandes selon une condition de garde, ce qui justifie les formulations portant sur la répétition d’un ou de plusieurs opérandes sous cette garde. La condition de temps ne remplace pas la garde, et l’exécution parallèle relève du fragment « par ».

Explication

Le fragment « alt » exécute l’opérande dont la condition est vraie ; les formulations évoquant la sélection et la dépendance à cette condition expriment cette règle. Il ne lance pas chaque opérande dont la garde est satisfaite.

Explication

Une contrainte de durée porte sur l’intervalle entre des événements, tandis qu’une contrainte de temps fixe l’instant auquel un événement se produit. Les deux formulations qui inversent ces notions sont donc incorrectes.

Explication

Le bloc est l’élément graphique de base de SysML pour modéliser la structure et peut représenter une entité physique, logique ou conceptuelle. Le comportement n’est pas la fonction définitoire indiquée, et les entités logiques ou conceptuelles sont également représentables.

Explication

Le diagramme de définition de blocs décrit les éléments structurels de base et leur hiérarchie. La décomposition ainsi que les échanges ou flux au sein du système relèvent du diagramme de bloc interne, et non du BDD.

Explication

Les valeurs décrivent les caractéristiques quantifiables du bloc, les fonctions désignent les opérations demandables et les contraintes expriment les conditions à vérifier. Les parties décrivent la décomposition du bloc, et non ses caractéristiques quantifiables ni les conditions à vérifier.

Explication

La multiplicité indique l’intervalle du nombre d’instances d’un bloc pouvant participer à une relation, avec une borne inférieure et une borne supérieure. Elle ne dénombre pas les opérations du bloc.

Explication

L’agrégation est une relation plus faible et facultative, représentée par un losange vide ; elle ne correspond donc ni à un losange plein ni à une partie obligatoire. La composition représente une partie obligatoire et son losange plein se place du côté du tout.

Explication

Une association est une relation d’égal à égal, sans contenance, et elle est bidirectionnelle par défaut. L’héritage et la hiérarchie caractérisent la généralisation, tandis que la contenance et le sens unique ne définissent pas une association.

Explication

La généralisation relie un bloc spécialisé à un bloc généralisé, et non deux blocs de même niveau sans héritage. Le bloc spécialisé hérite des propriétés du bloc généralisé et peut lui ajouter des propriétés spécifiques ; le bloc généralisé n’hérite donc pas des propriétés du bloc spécialisé. La représentation de la généralisation est une flèche triangulaire pointant vers le bloc généralisé.