Абстрактное/конкретное разделение классов на диаграмме последовательности

В вашей диаграмме последовательности вы должны использовать только объекты тех типов, которые, как вы знаете, они есть в данный конкретный момент выполнения.

Затем вы вызываете метод для этого объекта, даже если это метод, реализованный в абстрактном родительском классе.

Диаграммы последовательности в своем отношении очень похожи на код.

Предположим, у вас следующая ситуация:

Затем вы вызываете обе реализованные операции как абстрактные для объекта ConcreteSubClass, поскольку ваш пользовательский класс имеет связь с ConcreteSubClass, независимо от того, где реализуется операция.

Если класс User имел связь с AbstractClass, тогда вы вызываете операции над объектом типа AbstractClass.

Если вы хотите смоделировать два разных класса, то на диаграмме последовательности это будет означать две разные линии жизни. Вот и все (насколько я знаю).

Вы можете отобразить любой <<stereotype>> (включая <<abstract>>) в заголовке линии жизни, как в этом примере: uml-diagrams.org: Примеры диаграмм последовательности UML → Отправить комментарии в Pluck

Например, предположим, что у нас есть этот (бесполезный) код C#:

abstract class BaseClass
{
    protected abstract string Name { get; }

    public virtual void DoSomething()
    {
        Console.WriteLine("Something useful done.");
    }

    protected void SayHello(string to)
    {
        Console.WriteLine("Hi {0}, I'm {1}", to, this.Name);
    }
}

class Case1 : BaseClass
{
    protected override string Name { get { return "Case 1"; } }

    public override void DoSomething()
    {
        base.DoSomething();
    }
}

class Case2 : BaseClass
{
    protected override string Name { get { return "Case 2"; } }

    public void DoSomething(string to)
    {
        this.SayHello(to);
        base.DoSomething();
    }
}

class Program
{
    static void Main(string[] args)
    {
        var c1 = new Case1();
        var c2 = new Case2();
        c1.DoSomething();
        c2.DoSomething("Jane");
    }
}

Тогда диаграмма последовательности UML, фиксирующая, что происходит с Program.Main, может выглядеть так:

Я нарисовал абстрактный класс как неявный дружественный объект, разделяющий время жизни (и большую часть памяти) с конкретным экземпляром класса. На самом деле так реализовано наследование классов в некоторых языках, поэтому сценарий не является полностью «придуманным».

Однако уровень детализации может быть слишком сосредоточен на реализации, не оставляя места для полезной абстракции. Эта диаграмма не переживет даже небольшой рефакторинг кода.