Кто-нибудь знает учебник good Object Constraint Language (OCL)?

я наткнулся на пару вопросов о OCL выражений. Прочитав несколько университетских слайдов и погуглив его, я все еще не могу его правильно понять.

интересно, знает ли кто-нибудь из вас хорошие ресурсы, которые я должен прочитать, чтобы понять этот материал.

ограничения, которые меня беспокоят:

1. все, кто работает в отделе, имеют одного и того же менеджера.
2. никто в компании не является менеджером сам.
3. никто в компании не зарабатывает больше, чем его менеджер.

для 1-го у меня есть:

контекст отдела

inv self.материал - > forAll (менеджер = self.персонал.менеджер)

2-я:

связи компании

inv self.employee - > select (manager = менеджер.менеджер) -> пустой()

3-я:

связи компании

inv self.сотрудник - > выбрать (зарплата > менеджер.зарплата) -> пустой()

но я не думаю, что это правильно. Я больше всего не уверен, действительно ли в Примере 2 и 3 я сравниваю отдельных сотрудников с их фактической зарплатой менеджера / менеджера.