12. Вариативные Ситуации

12.1. Вариативная ситуация

Вариативная ситуация (ВС) vs - это непустое множество состояний, связанных отношением ЛИБО, то есть таких, для которых существует дерево сборки.

В контекстах, акцентирующих внимание на состояниях, будет использоваться запись [vs].

Базисом ВС |vs| называется объединение базисов всех её состояний. █

Формула ВС - это произвольная запись дерева сборки, у которого листьями служат (формулы) состояний.

Замечание 12.1

ВС формализует эксперимент с простым автоматом:

• участвует только один автомат, который активен
• в качестве входных переменных служат ключи дерева сборки
• перечислением генерируемых ими действий, уникальных для каждой системы
• возможно возникающим при этом признаком ошибки, генерируемым хотя бы одной из этих систем

ВС формализует как конструкцию, так и процесс функционирования технической системы мгновенного действия, заключающийся в допустимости нахождения её в одном из указанных состояний при абстрагировании от причины их смены, что более подробно разбирается в разделе, посвящённом семантике.

Замечание 12.2

ВС здесь обычно не рассматривается отдельно, а только в составе (рассматриваемой далее) системы.

Поэтому явно перечисляемые состояния из состава базовых ВС для простоты будут принадлежать одному массиву, то есть очевидно будут являться ЛИБО-связанными (их дерево сборки образовано ключами, совпадающими с их состояниями).

А у прочих, то есть системообразующих, но не базовых ВС, дерево сборки будет совпадать с деревом разбиения.

12.2. Формула ВС

Очевидно, формула ВС должна в первую очередь содежать набор образующих её формул состояний, для которых надо выбрать способы их объединения, то есть разделители и, возможно, ограничители в начале и конце их последовательности.

А кроме того, согласно определению ВС надо бы зафиксировать способы записи дерева сборки.

Однако, согласно замечанию 12.2 здесь(!), то есть в языке И-ЛИБО систем этого можно не делать, указывая лишь состояния.

Согласно общему подходу различются формулы ВС (см. Примеры):

• в данном тексте
• в языке И-ЛИБО систем
• в демонстрационных проектах

Назад Вперёд