Discussion :

[colocolo]

salut:
pourquoi et en quoi en utilise l'ocl??

[hed62]

OCL est un langage formel de description de contraintes. Il est notamment employé pour combler les manques d'UML, qui est semi-formel.

[colocolo]

tu peux me donner un exemple sur l'importance d'ocl dans l'uml.
contraintes?? une explication
formel?? une explication

merci
et bonne fete

[hed62]

Tu devrais rédiger un peu mieux tes questions

formel = qui ne contient pas d'ambiguité. Le français est informel, uml est semi formel car il n'a pas d'ambiguïté mais n'exprime pas tout.

Par exemple : A est composé de B, de C et de D. Mais si il contient un B avec comme valeur 0, alors A ne peut contenir de D. La 1e phrase s'exprime en UML, pas la deuxieme. OCL permet cela via une contrainte.

[colocolo]

merci bcp:

si tu as des docs (en français) sur l'ocl ça serai tres cool de ta part.
bonne fete.

[hed62]

Tu trouveras des liens sur les topics qui parlent d'OCL.

[ze_corsaire]

http://www.omg.org/docs/formal/06-05-01.pdf

[ndp]

Salut,

...
formel = qui ne contient pas d'ambiguité. Le français est informel, uml est semi formel car il n'a pas d'ambiguïté mais n'exprime pas tout.
...

Je sais que c'est une definition, repandu d'uml mais j'ai deux remarque a faire dessus:
premier point:
Pour certains, dont moi, un language de modelisation formel, est un language qui repose sur un model mathematique.

Le deuxieme point:
Meme si je pars sur la definition: formel = qui ne contient pas d'ambiguité.
Je ne suis pas d'accord sur le fait que uml n'ai pas d'ambiguite. De memoire, il y a des ambiguites ecrites noir sur blanc.

Avec ca en tete, je travaille toujours avec UML, parce que je le trouve tres expressif, et c'est vrai que des contraintes OCL, je n'en ai pas fait depuis la fac.

[colocolo]

OCL est un langage formel de description de contraintes. Il est notamment employé pour combler les manques d'UML, qui est semi-formel.

pourquoi est-il semi formel (uml)?
quelles sont les manques d'uml?

[hed62]

UML ne peut pas tout exprimer, notamment certaines contraintes. C'est pourquoi il n'est pas formel. (sinon, oui, c'est vrai, on ne peut pas dire qu'il n'y a pas d'ambiguïté)

[colocolo]

UML ne peut pas tout exprimer, notamment certaines contraintes. C'est pourquoi il n'est pas formel. (sinon, oui, c'est vrai, on ne peut pas dire qu'il n'y a pas d'ambiguïté)

quelles sont ces contraintes?

[colocolo]

salut a tout le monde;

quand j'ai fait des recherches et j'ai vu des ebooks j'ai constater que tout les
exemples ils utilisaient bcp les diagrammes de classes pour montrer les contraintes pourquoi?
est-ce que les contraintes d'uml se devoile qu'au utilisant les diagrammes de classes ? ou c'est de hasard.
merci.

je pose ces questions car j'ai un exposé sur l'ocl et je veux comprendre
merci.

[hed62]

est-ce que les contraintes d'uml se devoile qu'au utilisant les diagrammes de classes ?

Ce ne sont pas "les contraintes d'UML", mais des contraintes du métier que UML ne peut préciser.

On utilise plus souvent les diagramme de classe pour exprimer les contraintes OCL car c'est plus pratique pour expliquer.

c.f. quelques posts plus hauts :

Par exemple : A est composé de B, de C et de D. Mais si il contient un B avec comme valeur 0, alors A ne peut contenir de D. La 1e phrase s'exprime en UML, pas la deuxieme. OCL permet cela via une contrainte.

[colocolo]

salut;
est-ce que tout les developeurs qui utilise uml comme modél de conception
doivent utiliser ocl?

[colocolo]

salut ;
j'ai trouvé cette définition sur le net a propos d'ocl;

OCL (Object Constraint Language) a été créé dans le but d'ajouter aux diagrammes de classes les informations qui ne pouvaient être exprimées par la notation graphique d'UML.

est-ce que c'est vrai?
le lien:http://home.gna.org/brillant/2004-Moniot/UML-POO.html

[hed62]

est-ce que c'est vrai?

Oui, c'est ce que l'on te dit depuis le début

tous les developeurs qui utilisent uml comme modèle de conception doivent utiliser ocl?

Non.

[colocolo]

Non.

pourquoi?

[bruno_pages]

pourquoi?

drôle de question

l'utilisation d'ocl n'a rien d'obligatoire, de la même façon qu'il n'est pas obligatoire d'utiliser les machines à état ou autre

en d'autre terme le fait que j'utilise des couverts à table n'impose pas que je doive forcément utiliser une cuillère

[colocolo]

salut a tout le monde;
j'ai trouvé un document sur l'OCL (le document est en englais)
il dit:

The requirements of OCL:
1. The OCL must enable us to express extra, necessary, information on object models.
2. The OCL must be a precise and unambiguous language that can be easily read by developers and customers.
3. The OCL must be a declarative language, its expressions can have no side-effects.
4. OCL must be a typed language so that OCL expressions can be type checked for correctness.

j'ai fait la traduction mais j'ai pas compris (le fond)
le 3 et 4 emme point
je veux seulement comprendre.
merci

[hed62]

1. The OCL must enable us to express extra, necessary, information on object models.
2. The OCL must be a precise and unambiguous language that can be easily read by developers and customers.
3. The OCL must be a declarative language, its expressions can have no side-effects.
4. OCL must be a typed language so that OCL expressions can be type checked for correctness.

1 : ocl permet d'exprimer des informations supplémentaires
2 : ocl est un langage précis, non ambigu, facile à lire (bon, on va dire que ocl tente de l'être)
3 : ocl est un langage déclaratif, je ne comprend pas le sens de la suite...
4 : ocl est un langage typé (on affecte un type aux données) donc on peut vérifier de manière automatique (un genre de compilation) le fait que les contraintes soient ou non correctes.