Основные критерии декомпозиции

Известно множество специальных критериев декомпозиции целого на части. Критерии декомпозиции бывают составными, т.е. состоящими из других критериев и предельными, — не состоящими из других критериев. Таким образом, предельные критерии допустимо назвать строительными блоками критериальной базы, или просто критериальной базой, используемой в теории проектирования ПО. По этому, зная критериальную базу и правила построения составных критериев, можно строить специальные критерии для декомпозиции систем с неизвестной ранее топологией. Рассмотрим перечень наиболее употребимых составных критериев:

− Критерий разбиения на функции системы (функциональный критерий или критерий декомпозиции прецедентов)

− Критерий разбиения на подсистемы (модульный критерий)

− Критерий разбиения на классы (критерий классификации)

− Критерий разбиения на объекты (критерий объектной декомпозиции)

− Критерий разбиения на состояния (критерий анализа автоматной модели)

− Критерий разбиения на задачи (критерий синтеза асинхронной архитектуры)

− Критерий определения интерфейсов (критерий композиции интерфейса).

Проанализируем вышеприведенные критерии на предмет их состава при помощи критерия обобщения/специализации. В результате получим следующий перечень предельных критериев:

− Критерий пространственной декомпозиции (критерий распределенности или географичкеский критерий)

− Критерий временной декомпозиции (темпоральный критерий)

− Критерий логической декомпозиции (критерий обобщения/специализации)

Правила построения составных критериев:

Есть три базовые координаты: место в пространстве, место во времени и логическая связь со смежными сущностями (объектами предметной области)

В зависимости от того, какая проекция предметной области (системы) рассматривается, в составном критерии фигурирует тот или иной предельный критерий или критерии

К базовому критерию или критериям, образующим в проекцию, добавляется заданная специализация, отличающая один составной критерий от других

Связь проекций предметной области (системы) и составных критериев:

Функциональный критерий декомпозиции является логической проекцией рассматриваемой системы; состоит из критерия логической декомпозиции и специализирован рассмотрением функций системы

Модульный критерий является струкрурной проекцией системы; состоит из критериев логической, пространственной и временной декомпозиции, специализирован рассмотрением состава системы из замкнутых функциональных блоков

Критерий классификации является структурной проекцией системы; состоит из критерия логической декомпозиции, специализирован рассмотрением состава структуры системы из программных объектов

Критерий объектной декомпозиции является структурной проекцией системы; состоит из критерия логической декомпозиции, специализирован рассмотрением состава структуры системы из объектов, являющихся аналогами объектам предметной области

Критерий разбиения на состоания является темпоральной проекцией рассматриваемой системы (чаще объекта); состоит из критериев логической и временной декомпозиции, специализирован рассмотрением реакции системы на внешние события

Критерий разбиения на задачи является темпоральной проекцией рассматриваемой системы; состоит из критериев логической и временной декомпозиции, специализирован рассмотрением взаимодействия системы с другими системами

Критерий определения интерфейса является структурной проекцией системы; состоит из критерия логической декомпозиции, специализирован рассмотрением способов межобъектного взаимодействия в системе.