Метамоделирование: различия между версиями
Содержимое удалено Содержимое добавлено
Строка 111:
Вот попытка описать некоторые куски модели:
Есть класс людей.
Между людьми есть отношение "родитель".
У людей есть свойства "пол", "дата рождения" и "дата смерти".
(X есть родитель Y) && (X имеет пол "Ж") => X есть мать Y.
(X есть родитель Y) && (Y имеет пол "М") => Y есть сын X.
Число родителей X <= 2.
| |||