tâche concepts.contraintes.ln¶
| résumé: | L’objectif de cette tâche est d’exprimer en langage naturel les contraintes devant être ajoutées au modèle de classes. |
|---|---|
| langage: | |
| artefacts: |
|
(A) Contraintes¶
Un modèle de classes doit comporter non seulement des classes et des associations mais aussi les contraintes qui leur sont associées.
Note
Il existe trois types de contraintes : (1) les invariants, (2) les préconditions et (3) les postconditions. Ces deux dernières catégories sont associées aux opérations. Sachant que l’on ne considère pas ces dernières au niveau conceptuel, nous nous limiterons ici au invariants, et par abus de langage le terme “contrainte” sera utilisé pour “invariant”.
Dans cette tâche les invariants associés au modèle de classes doivent être décrits en Langue Naturelle (LN).
Par la suite ces invariants pourront être traduites en langage OCL, mais ce n’est pas l’objectif ici.
Pour réaliser cette tâche utiliser la syntaxe des contraintes en langue naturelle. Pour savoir comment “trouver” ces contraintes utiliser la méthode de définition des contraintes.
(Z) Suivi et status¶
Suivi: Des questions ou des hypothèses ? Voir la tâche projet.suivis.
Status: Avant de terminer cette tâche écrire le status. Voir la tâche projet.status.