У меня есть модель эдс, и я хотел бы сделать редактор GMF для создания экземпляров этой метамодели. Я хотел бы также некоторые живые ограничения, чтобы избежать некоторых связей между компонентами моей модели ЭМП. компонентов A, B, C, D, которые являются производными от общего класса, называемого F, и в F есть ссылка, которая соединяет F-> F, поэтому она может предоставить мне соединения между A, B, C, D компоненты.
Но когда я нахожусь в редакторе GMF, мне нужен механизм, позволяющий избежать соединения A-> B и разрешить только соединение A-> C.
Я читал, что этого можно достичь с помощью языка OCL и ограничений ссылок, которые можно добавить в файл gmfmap.
Но я не смог найти ни одного учебника со словарем OCL и примерами, делающими эту живую проверку
Есть ли у кого-нибудь указания?