Inżynieria oprogramowania OCL precyzyjne modelowanie w UML - Warmer Jos, Kleppe Anneke

Autorzy zaznajamiają czytelnika z pojęciem ograniczenia i tłumaczą, do czego ograniczenie jest potrzebne. Wyjaśniają, na czym polega metoda projektowania według umowy. W drugim rozdziale omawiają podstawy języka. Opisują przykładowy model w UML, który wykorzystują w pozostałej części książki. W trzecim rozdziale opisują i ilustrują przykładami poszczególne elementy OCL, a w czwartym omawiają zastosowania tego języka.