C # создает переполнение буфера

Когда на диаграмме UML класс должен быть абстрактным? Когда мы хотим предотвратить создание экземпляров?

Изменить: Может ли абстрактный класс полностью реализовать метод (когда метод зависит только от атрибутов этого абстрактного класса)?