Version imprimable
Bonjour,
A partir de ce diagramme ( en fichier joint ) je dois écrire une précondition pour :
context GroupeCours::ajouterAuxiliaire(codePermanent : String, role : RoleAuxiliaire, nbHeures : Integer)
pre : ??? **"Pour les charges de correcteur et de démonstrateur, l'étudiant a déjà suivi le cours correspondant avec une note finale valant A"**
Si quelqu'un peut m'aider..
Ce serait très apprécier Merci !
Bonsoir,
franchement je ne comprends rien à votre demande
vous devez écrire la précondition en quel langage, UML ? langue naturelle (Français ..) ?
ce qui suit ??? est votre proposition de réponse ?
à part cela le diagramme ne respecte pas les notations UML, mais c'est sans doute un problème lié à l'outil utilisé
Bonsoir,
En faite, il s'agit d'utiliser l'outil USE
Voila un exemple de contraintes : OCL
if (etudiants.groupesCoursSuivis.noGroupeCours -> includes( self.noGroupeCours)) and (etudiants.groupesCoursSuivis.session -> includes(self.session))
then etudiants.codePermanent -> excludes(codePermanent)
else true
endif
En faite j'ai utilise le language francais, seulement parce que je n'arrive pas a traduire la precondition en OCL.