Io-6-wyk-Slajd30
Przykład
Diagram przedstawia rodzinę. Obiekt klasy Mąż jest związany z dokładnie jednym obiektem klasy Żona. Każde z nich jest związane z obiektami klasy Dziecko.
Sam rysunek bez ograniczeń mógłby prowadzić do rozmaitych interpretacji, także nieprawdziwych. Dlatego wprowadzenie ograniczeń w OCL pozwala uściślić model.
Relacja pomiędzy Mężem i Żoną ma nałożone ograniczenie, że data ślubu obu obiektów musi być identyczna, a także nawigując od Męża poprzez związany z nim relacją poślubieni obiekt Żona, otrzymujemy uczestniczący w tej relacji obiekt Żona (zatem Mąż i Żona są ze sobą związani relacją wzajemności).
Ponadto Żona musi mieć wiek powyżej 18 lat, a Mąż – 21.
Aby zapewnić, że dzieci posiadane przez Żonę były także dziećmi Męża, nałożono odpowiednie ograniczenia na relacje między Mężem i Dzieckiem oraz Żoną i Dzieckiem.
