Object Constraint Language: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
→Invarianti semplici: sostituito "tornati" con "restituiti", tornare non è transitivo fuori da Roma |
→Invarianti semplici: corretto refuso delle in dalle |
||
Riga 7:
== Descrizione ==
=== Invarianti semplici ===
In genere, in UML, un'espressione OCL è associata a una ''classe'', e descrive proprietà degli ''oggetti'' istanze di quella classe. Queste proprietà sono espresse in forma di condizioni che legano i valori degli attributi, dei parametri, dei valori restituiti
:<code>'''context''' Persona '''inv:'''<br /></code>
|