Discussion :

[colocolo]

salut;

j'ai trop de lacunes et je vois trucs pas clair sur OCL (object constraint language).

dans un livre intitulés: "Modélisation objet avec UML"
dans la définition d'OCL; j'ai trouvé cette expression(phrase):

"les contraintes en OCL s'expriment dans le modél, mais s'appliquent à chacune des instances du modél."

ma demande consiste de m'aider a voir clair sur OCL

merci(je suis pas français ,la cause que je m'exprime mal)

[hed62]

Qu'est ce qui n'est pas clair pour toi ?

Les diagramme de classes sont généraux, on peux instacier les classes (en donnant des diagrammes d'instances).

Les contraintes OCL se posent sur le DC, mais s'appliquent à tout diagramme d'instance que l'on pourrait construire.

[colocolo]

salut;

est ce que les contraintes OCl se posent seulement sur le diagramme de classe? ou d'autre diagramme? et comment (je veux un exemple).
merci

[hed62]

A ma connaissance, oui.

Voici un exemple issu d'un cours :

La première image est un DC imprécis. La deuxieme image est le même DC, décoré par OCL.


Version texte :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
-- le nombre de siège est positif
context AirPlane
inv : self.numberOfSeats >= 0 -- ou numberOfSeats >= 0

-- initialement aucun passager enregistré
context Flight::passengers : Set(Person)
init : Set{}

context Flight::numberOfPassengers : Integer
derive : passengers->size()

context Flight::availableSeats() : Integer
body : capacity - numberOfPassengers

et comment (je veux un exemple).

La prochaine fois, évite d'exiger ainsi

[colocolo]

merci;

[colocolo]

salut;

j'ai pas bien saisie la notion du CONTEXTE dans OCL;

quelle est son but?

merci

[Hephaistos007]

salut;

j'ai pas bien saisie la notion du CONTEXTE dans OCL;

quelle est son but?

merci

Cela permet d'indiquer à quelle classe est associée une contrainte. C'est nécessaire pour pouvoir utiliser le mot clé self par exemple. Sans cela, comment savoir à quoi se réfère self ?

[colocolo]

salut;

les stéréotypes INVARIANT , POSTCONDITION ,PRECONDITION

quelles leurs utilisation? ou pourquoi utilisent on?

[hed62]

Une recherche très rapide donnera :

http://laurent-audibert.developpez.c...rs-UML023.html

ainsi que de nombreux autres cours sur OCL.



En deux mots :
INVARIANT : contrainte qui doit toujours être vraie,
POSTCONDITION : contrainte qui doit être vraie en sortie de fonction
PRECONDITION : contrainte qui doit être vraie en entrée de fonction

[hed62]

http://www.developpez.net/forums/sho...d.php?t=461870

...

[Ded1988]

Bonjour a toute La Grande Famille Developpez.com,
Je suis nouveau sur le Site et aussi débutant Sur UMl Et OCl pendant mes recherche sur Internet j ai du constater que quelque Problème sur OCl et Uml ont pu trouvé des Solution ici. Pour cela je me suis proposé la Même initiative, peut-être je pourrai avoir des Conseil ou une Aide afin d avance sur Mon Projet. Voila je pressente ici mon Projet en quelque ligne et dire a quel niveau je me trouve et ce donc je souhaiterai pour avoir comme aide ou conseil si possible pour avancer sur le Projet. La Description de Notre Systeme est le suivant : <<<<< Gérer le réfrigérateur(Frigo Intelligent) : organiser correctement les aliments

Gérer le réfrigérateur est un système, qui peut être géré différents aliments.
Après les achats à l'épicerie, le système d'information est la possibilité de classer les aliments dans le réfrigérateur correctement et organiser.
En outre, le réfrigérateur doit effectuer diverses tâches telles que la planification de la prochaine liste d'achats, des informations sur les produits périmés, vérifier la quantité d'un aliment, vérifier les éléments ouverts et même enregistrer les recettes.
Pour une gestion claire et intelligente, nous devons réduire les produits de la catégorie avant d'être dépeints dans le réfrigérateur. La catégorie comprend des fruits, des légumes, des boissons, des bonbons, des recettes et des objets ouverts. Pour que chaque article ou de recettes peuvent être trouvées en faisant une recherche>>>>>>>>>>.

J ai deja un fait un Example de Diagrame de Classe,la je suis souhaiterai faire des Pres et Post Condition sur Mon Systeme et quelque Contraite OCl.