Рассмотрено формальное уточнение операции пересечения спецификаций классов. Спецификация классов уточняется как пара соответствующих функциональных бинарных отношений. Пересечение спецификаций классов уточняется как теоретико-множественное пересечение соответствующих бинарных отношений (функций). Для формальной модели получены следующие математические результаты: множество классов представляется как частично упорядоченное множество, структура которого установлена (нижняя полурешетка, полная полурешетка); показано, при каких условиях пересечение функциональных бинарных отношений будет непустым; установлены критерии совместности функциональных бинарных отношений. Полученные результаты можно использовать при практическом построении базового (родительского) класса для заданных двух классов. Такие классы в случае успешного построения будут считаться производными.

  Повний текст PDF - 391.139 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"