Как запутать аналитика. Часть вторая: что такое моделирование предметной области?

using System;
using System.Collections.Generic;
using static System.Console;
using static System.FormattableString;

namespace InterfacesSample
{
    interface IColoredEntity
    {
        int ColorCode { get; }
    }

    interface IVehicle : IColoredEntity
    {
        string VinNumber { get; }
        int WheelCount { get; }
        int MaxCarryingKgs { get; }
    }

    interface IBuilding : IColoredEntity
    {
        bool IsResidental { get; }
        int FloorCount { get; }
    }

    class PassengerCar : IVehicle
    {
        public string VinNumber { get; }
        public int WheelCount => 4;
        public int MaxCarryingKgs => 400;
        public int ColorCode { get; }
        public PassengerCar(string vinNumber, int colorCode)
        {
            VinNumber = vinNumber;
            ColorCode = colorCode;
        }
    }

    class ResidentalBuilding : IBuilding
    {
        public bool IsResidental => true;
        public int FloorCount { get; }
        public int ColorCode { get; }
        public ResidentalBuilding(int floorCount, int colorCode)
        {
            if (!(floorCount >= 1 && floorCount <= 100))
                throw new ArgumentOutOfRangeException(nameof(floorCount));

            FloorCount = floorCount;
            ColorCode = colorCode;
        }
    }

    class Program
    {
        static void Main(string[] args)
        {
            var car1 = new PassengerCar(vinNumber: "VIN 1", colorCode: 0);
            var car2 = new PassengerCar(vinNumber: "VIN 2", colorCode: 1);

            var house1 = new ResidentalBuilding(floorCount: 100, colorCode: 2);
            var house2 = new ResidentalBuilding(floorCount: 100, colorCode: 3);

            var coloredObjects = new List<IColoredEntity>
            {
                car1,
                car2,
                house1,
                house2
            };

            var vehicles = new List<IVehicle>
            {
                car1,
                car2
            };

            WriteLine("Colored Objects:");
            foreach (var coloredObject in coloredObjects)
            {
                WriteLine(Invariant(
                    $"Color: {coloredObject.ColorCode:X8}"));
            }

            WriteLine("Vehicles:");
            foreach (var vehicle in vehicles)
            {
                WriteLine(Invariant(
                    $"Vin Number: {vehicle.VinNumber}; Color: {vehicle.ColorCode:X8}"));
            }

            // Output:
            //Colored Objects:
            //Color: 00000000
            //Color: 00000001
            //Color: 00000002
            //Color: 00000003
            //Vehicles:
            //Vin Number: VIN 1; Color: 00000000
            //Vin Number: VIN 2; Color: 00000001
        }
    }
}

using System.Collections.Generic;
using System.Globalization;
using static System.Console;

namespace InterfacesSample2
{
    interface ILandVehicle
    {
        int MaxCarryingKgs { get; }
        int MaxPassengers { get; }
    }

    interface ISwimmingVehicle
    {
        int MaxCarryingKgs { get; }
        int MaxPassengers { get; }
    }

    interface IAmphibian : ILandVehicle, ISwimmingVehicle
    {
    }

    class Sedan : ILandVehicle
    {
        public int MaxCarryingKgs => 400;
        public int MaxPassengers => 4;
    }

    class Pickup : ILandVehicle
    {
        public int MaxCarryingKgs => 500;
        public int MaxPassengers => 1;
    }

    class Boat : ISwimmingVehicle
    {
        public int MaxCarryingKgs => 450;
        public int MaxPassengers => 3;
    }

    class UniversalVehicle : IAmphibian
    {
        public int MaxCarryingKgs => 250;
        public int MaxPassengers => 2;
    }

    class SwimmingCar : IAmphibian
    {
        public int MaxCarryingKgs => 300;
        public int MaxPassengers => 3;

        int ISwimmingVehicle.MaxCarryingKgs => 200;
        int ISwimmingVehicle.MaxPassengers => 1;
    }

    class Amphibian : IAmphibian
    {
        int ILandVehicle.MaxCarryingKgs => 350;
        int ILandVehicle.MaxPassengers => 3;

        int ISwimmingVehicle.MaxCarryingKgs => 250;
        int ISwimmingVehicle.MaxPassengers => 1;
    }

    class Program
    {
        static void Main(string[] args)
        {
            var sedan = new Sedan();
            var pickup = new Pickup();
            var universalVehicle = new UniversalVehicle();
            var swimmingCar = new SwimmingCar();
            var amphibian = new Amphibian();
            var boat = new Boat();

            var landVehicles = new List<ILandVehicle>()
            {
                sedan, pickup, universalVehicle, swimmingCar, amphibian
            };

            var swimmingVehicles = new List<ISwimmingVehicle>
            {
                universalVehicle, swimmingCar, amphibian, boat
            };

            var amphibians = new List<IAmphibian>
            {
                universalVehicle, swimmingCar, amphibian
            };

            WriteLine("Land Vehicles:");
            foreach (var vehicle in landVehicles)
            {
                WriteLine(string.Format(
                    CultureInfo.InvariantCulture,
                    "MaxCarryingKgs: {0}; MaxPassengers: {1}",
                    vehicle.MaxCarryingKgs, vehicle.MaxPassengers));
            }

            WriteLine("Swimming Vehicles:");
            foreach (var vehicle in swimmingVehicles)
            {
                WriteLine(string.Format(
                    CultureInfo.InvariantCulture,
                    "MaxCarryingKgs: {0}; MaxPassengers: {1}",
                    vehicle.MaxCarryingKgs, vehicle.MaxPassengers));
            }

            WriteLine("Amphibians:");
            foreach (var vehicle in amphibians)
            {
                WriteLine(string.Format(
                    CultureInfo.InvariantCulture,
                    "MaxCarryingKgs: {0}/{1}; MaxPassengers: {2}/{3}",
                    ((ILandVehicle)vehicle).MaxCarryingKgs,
                    ((ISwimmingVehicle)vehicle).MaxCarryingKgs,
                    ((ILandVehicle)vehicle).MaxPassengers,
                    ((ISwimmingVehicle)vehicle).MaxPassengers));
            }

            // Output:
            //Land Vehicles:
            //MaxCarryingKgs: 400; MaxPassengers: 4
            //MaxCarryingKgs: 500; MaxPassengers: 1
            //MaxCarryingKgs: 250; MaxPassengers: 2
            //MaxCarryingKgs: 300; MaxPassengers: 3
            //MaxCarryingKgs: 350; MaxPassengers: 3
            //Swimming Vehicles:
            //MaxCarryingKgs: 250; MaxPassengers: 2
            //MaxCarryingKgs: 200; MaxPassengers: 1
            //MaxCarryingKgs: 250; MaxPassengers: 1
            //MaxCarryingKgs: 450; MaxPassengers: 3
            //Amphibians:
            //MaxCarryingKgs: 250/250; MaxPassengers: 2/2
            //MaxCarryingKgs: 300/200; MaxPassengers: 3/1
            //MaxCarryingKgs: 350/250; MaxPassengers: 3/1
        }
    }
}

как теперь вы назовете моделируемый объект? Автомобиль-плавсредство? А, если потом появятся другие классы, к которым относится этот объект? Будете перечислять их названия через дефис, и говорить: автомобиль-плавсредство-альфа-омега?

Надо создать модель объекта учета и отнести его к двум разным классам одновременно: к классу операций по продаже и к классу операций по покупке. В разных классах будет один атрибут «исполнитель», значения которого будут зависеть от того, какой класс мы рассматриваем: класс покупок, или класс продаж. И это неожиданно – оказывается, что значения атрибутов одного объекта учета могут зависеть от того, как мы классифицировали объект учета.

Если я правильно понял задачу, то к одному объекту учета относятся 2 "исполнительных" атрибута:

• "исполнитель-продавец"
• "исполнитель-покупатель"

Для класса "операция по покупке" атрибут "операция по покупке"."исполнитель" соответствует атрибуту "исполнитель-покупатель", для другого класса — "исполнитель-продавец":

• "операция по покупке"."исполнитель" = "объект учета"."исполнитель-покупатель"
• "операция по продаже"."исполнитель" = "объект учета"."исполнитель-продавец"

Т.е. вовсе не оказывается, что "значения атрибутов одного объекта учета могут зависеть от того, как мы классифицировали объект учета". Значения атрибутов объекта учета не зависят от классификации. От классификации зависит маппинг (сопоставление) атрибутов класса (значимых в контексте рассматриваемой задачи) и атрибутов объекта учета (всех доступных атрибутов объекта). Другое дело, что мы в целях экономии, как правило, маппим атрибуты один-в-один: "цвет" на "цвет", "массу" на "массу", поэтому и создается впечатление, что "атрибут класса" == "атрибут объекта". По значению — да, а по имени — не всегда.

Мне кажется достаточно спорным вывод "Классификация всегда субъективна и потому требует указания на субъект, проведшего классификацию." Нужна карта сопоставления атрибутов класса атрибутам объектов, чтобы два различных субъекта (и любая программа) провели классификацию объектов одинаково.

А в целом — весьма интересно наблюдать за вашей серией публикаций. Чувствуется биение мысли :)