Analyse statique du Langage de modélisation UML

Ce matériel couvre l’analyse statique du langage de modélisation UML, destiné aux étudiants en informatique ou en génie logiciel souhaitant maîtriser la représentation statique des systèmes à l’aide des diagrammes UML. Il présente les concepts fondamentaux du diagramme de classes, des associations, de l’héritage, ainsi que les diagrammes de packages et d’objets, illustrés par une étude de cas.

Diagramme de classes

Le diagramme de classes est un outil essentiel en phases d’analyse et de conception. En phase d’analyse, il décrit la structure préliminaire des entités avec quelques attributs et méthodes. En phase de conception, il détaille l’ensemble des classes avec tous les attributs, méthodes, types de paramètres et types de retour.

Ce diagramme représente la structure statique du système, formée par un ensemble de classes et les relations entre elles (associations, généralisations, etc.).

Classe : définition et représentation

Une classe est un modèle décrivant les caractéristiques communes et le comportement d’un ensemble d’objets. Elle est constituée d’un ensemble d’attributs et d’opérations (méthodes).

Graphiquement, une classe est représentée par un rectangle divisé en trois parties :

• Le nom de la classe
• Les attributs
• Les méthodes

Déclaration des attributs et des opérations

La syntaxe de déclaration d’un attribut est :

<visibilité> [ / ] <nom_attribut> : <type> [ '['<multiplicité>']' [{<contrainte>}] ] [ = <valeur_par_défaut> ]

La déclaration d’une opération comprend les types des paramètres et le type de retour :

<visibilité><nom_méthode>([<paramètre_1>, ... , <paramètre_N>]) : [ <type_renvoyé> ] [{ <propriétés> }]

Visibilité

• Public (+) : visible par toutes les classes.
• Privé (-) : visible uniquement dans la classe elle-même.
• Protégé (#) : visible dans la classe et ses sous-classes.

Exemple de déclaration complète

+ nom : String
- age : Integer = 18
# calculerSalaire(bonus : Float) : Float

Dans cet exemple, l’attribut nom est public de type String, age est privé avec une valeur par défaut 18, et la méthode calculerSalaire est protégée, prenant un paramètre bonus de type Float et retournant un Float.

Associations entre classes

Définition

Une association est une relation entre deux classes qui décrit les connexions structurelles entre leurs instances (objets). Elle peut être nommée, mais ce n’est pas obligatoire.

Multiplicité

La multiplicité indique, aux deux extrémités d’une association, le nombre d’objets pouvant participer à la relation. Elle est exprimée sous la forme d’un intervalle d’entiers positifs ou nuls (q1..q2).

Exemple :

0..* UTILISE 0..*

Cela signifie qu’un objet d’une classe peut être lié à zéro ou plusieurs objets de l’autre classe.

Association réflexive

Une association est dite réflexive lorsqu’elle relie des objets d’une même classe.

Rôle dans une association

Le rôle précise la fonction d’une classe dans une association donnée. Il est indispensable pour les associations réflexives et permet de distinguer plusieurs associations entre deux classes en précisant le concept attaché à chaque relation.

Classe d’association

Une classe d’association est une association qui contient des attributs et qui ne participe pas à d’autres relations. Elle réalise la navigation entre les instances des classes qu’elle connecte.

Agrégation et composition

• Agrégation : relation de contenance exprimant une relation « partie de ».
• Composition : agrégation forte représentée par un losange rempli. Elle implique que la destruction de l’objet composite entraîne la destruction de ses composants. La multiplicité du côté composite est au maximum 1 (1 ou 0..1). La composition est une agrégation non partagée.

Héritage

L’héritage est un mécanisme basé sur la généralisation qui permet aux sous-classes d’hériter des attributs, opérations et associations de la super-classe.

Diagramme de paquetage

Un paquetage (ou package) est un regroupement d’éléments UML. Ce regroupement peut être motivé par des raisons sémantiques, d’usage ou de localisation. Un paquetage peut contenir n’importe quel élément de modélisation UML.

Diagramme d’objets

Le diagramme d’objets représente les liens structurels entre instances de classes. Il facilite la compréhension de structures complexes en montrant les objets et leurs relations à un instant donné.

Il existe trois représentations possibles des instances dans un diagramme d’objets, bien que ce matériel ne détaille pas ces trois formes.

Glossaire des termes clés

• Classe : Modèle décrivant les caractéristiques communes et le comportement d’un ensemble d’objets, constitué d’attributs et d’opérations.
• Attribut : Propriété ou donnée contenue dans une classe.
• Opération (méthode) : Fonction ou comportement associé à une classe.
• Visibilité : Niveau d’accès aux attributs ou méthodes (public, privé, protégé).
• Association : Relation entre deux classes décrivant les connexions entre leurs instances.
• Multiplicité : Indication du nombre d’objets pouvant participer à une association.
• Association réflexive : Association reliant des objets d’une même classe.
• Rôle : Fonction d’une classe dans une association donnée.
• Classe d’association : Association possédant des attributs et servant à connecter des classes.
• Agrégation : Relation « partie de » exprimant une contenance faible.
• Composition : Agrégation forte où la vie des composants dépend de celle du composite.
• Héritage : Mécanisme permettant aux sous-classes de reprendre les attributs, opérations et associations d’une super-classe.
• Paquetage (package) : Regroupement d’éléments UML pour organiser la modélisation.
• Diagramme d’objets : Représentation des instances de classes et de leurs liens à un instant donné.

Points clés à retenir

• Le diagramme de classes décrit la structure statique du système avec classes, attributs, méthodes et relations.
• La visibilité des attributs et méthodes est essentielle pour contrôler l’accès (public, privé, protégé).
• Les associations relient les classes et sont caractérisées par des rôles et des multiplicité.
• L’agrégation et la composition expriment des relations de contenance avec des degrés de dépendance différents.
• L’héritage permet la réutilisation et la spécialisation des classes.
• Les paquetages organisent les éléments UML pour une meilleure gestion du modèle.
• Le diagramme d’objets illustre les instances concrètes et leurs relations à un moment donné.