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 delledalle operazioni, e così via. Nel seguente esempio compare un'espressione che fa riferimento a un attributo:
 
:<code>'''context''' Persona '''inv:'''<br /></code>