OCL - ograniczenia

Witam, mam dwa pytania, na które nie mogę znaleźć odpowiedzi związane z językiem OCL:

• Ile rodzai ograniczeń pozwala zapisać OCL?
  ?? dwa - ograniczenia początkowe dla atrybutów(init), ograniczenia wyprowadzone dla atrybutów(derive) ??

• Czy taki zapis inwariantu jest poprawny ?

context kl: KLIENT
inv: self.wiek<=70

Co do 1., ja bym odpowiedział, że 3 - niezmienniki (inv) dla klas oraz warunki początkowe (pre) i końcowe (post) dla metod.

Co do 2., IMHO bez kl ;) Czyli:
context Klient
inv: self.wiek <= 70 -- aczkolwiek self nie jest wymagane, jeżeli jasno wynika z kontekstu