dmrom, взял понятие "виртуальная функция" из C++ (я так подозреваю).
В UML действительно нет понятия "виртуальная функция", но есть "абстрактная операция".
По семантике "виртуальная функция" в C++ = "абстрактная операция" в UML.
Я сообщил нотацию абстрактной операции.