Рисунок 2.2 – Пример начального размещения муравья
2.2 Правила соединения UFO-компонентов
Пусть задана библиотека компонентов

, из которых необходимо собрать систему, заданную контекстной диаграммой, изображенной на рис. 2.1. Каждый компонент

библиотеки тоже характеризуется своим множеством входов

, а также – своим множеством выходов

(рис. 2.3).

Рисунок 2.3 – Контекстная диаграмма компонента

Входы и выходы контекстной диаграммы системы и компонентов имеют такую характеристику как тип. Существуют следующие правила соединения входов и выходов [11]. Вход In (n) контекстной диаграммы системы может быть присоединен к входу

компонента

, если тип In (n) совпадает с типом

. Это условие совпадение типов можно записать в виде равенства

(рис. 2.4).

Рисунок 2.4 – Соединение входа с входом
Выход Out (m) контекстной диаграммы системы может быть присоединен к выходу

компонента

, если тип Out (m) совпадает с типом

. Это условие можно записать в виде равенства

(рис. 2.5).

Рисунок 2.5 – Соединение выхода с выходом
Выход

компонента

может быть присоединен к входу

компонента

, если тип

совпадает с типом

. Это условие можно записать в виде равенства

(рис. 2.6).

Рисунок 2.6 – Соединение выхода с входом
Пусть контекстная диаграмма системы имеет вход a и выход b (рис. 2.7).

Рисунок 2.7 – Пример контекстной диаграммы системы
Пусть в библиотеку компонентов входит компонент С1 с входом a и выходом c и компонент С2 с входом c и выходом b (рис. 2.8).

Рисунок 2.8 – Примеры контекстных диаграмм компонентов
Тогда вход a и выход b системы могут быть соединены с помощью компонентов С1 и С2 так, как показано на рис. 2.9.

Рисунок 2.9 – Примеры соединений компонентов
2.3 Элементарное перемещение муравья
2.3.1 Перемещение из входа контекстной диаграммы
Пусть изначально муравей находится в конце входной стрелки In (n). Он может случайным образом выбрать из библиотеки компонентов любой компонент

, у которого есть вход

, который можно присоединить к входу In (n). После присоединения входа

компонента

к входу In (n) контекстной диаграммы, муравей "переползает" по входу

на компонент

и пытается присоединять "висящие" входы компонента

либо к еще свободным входам контекстной диаграммы системы, либо к еще свободным выходам других компонентов. Аналогично муравей пытается присоединять "висящие" выходы компонента

либо к еще свободным выходам контекстной диаграммы системы, либо к еще свободным входам других компонентов (рис. 2.10).

Рисунок 2.10 – Присоединение компонента к входу системы
Если после вышеперечисленных действий муравья у компонента

не осталось "висящих" входов и выходов, то муравей "выползает" из компонента

по входу

, через который он попал в этот компонент. На этом перемещения муравья прекращаются.
Если же у компонента

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

, то далее он должен действовать так, как описано ниже в пункте 2.3.3. Если муравей оказался в начале "висящего" выхода компонента

, то далее он должен действовать так, как описано ниже в пункте 2.3.4.
2.3.2 Перемещение из выхода контекстной диаграммы
Пусть изначально муравей находится в начале выходной стрелки Out (m). Он может случайным образом выбрать из библиотеки компонентов любой компонент

, у которого есть выход

, который можно присоединить к выходу Out (m). После присоединения выхода

компонента

к выходу Out (m) контекстной диаграммы, муравей "переползает" по выходу

на компонент

и пытается присоединять "висящие" входы компонента

либо к еще свободным входам контекстной диаграммы системы, либо к еще свободным выходам других компонентов. Аналогично муравей пытается присоединять "висящие" выходы компонента

либо к еще свободным выходам контекстной диаграммы системы, либо к еще свободным входам других компонентов (рис. 2.11).

Рисунок 2.11 – Присоединение компонента к выходу системы
Если после вышеперечисленных действий муравья у компонента

не осталось "висящих" входов и выходов, то муравей "выползает" из компонента

по выходу

, через который он попал в этот компонент. На этом перемещения муравья прекращаются.
Если же у компонента

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

, то далее он должен действовать так, как описано ниже в пункте 2.3.3. Если муравей оказался в начале "висящего" выхода компонента

, то далее он должен действовать так, как описано ниже в пункте 2.3.4.
2.3.3 Перемещение из входа UFO-компонента
Пусть изначально муравей находится в начале входной стрелки

компонента

. Он может случайным образом выбрать из библиотеки компонентов любой компонент

, у которого есть выход

, который можно присоединить к входу

. После присоединения выхода

компонента

к входу

компонента

, муравей "переползает" по выходу

на компонент

и пытается присоединять "висящие" входы компонента

либо к еще свободным входам контекстной диаграммы системы, либо к еще свободным выходам других компонентов. Аналогично муравей пытается присоединять "висящие" выходы компонента

либо к еще свободным выходам контекстной диаграммы системы, либо к еще свободным входам других компонентов (рис. 2.12).