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

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

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

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

Однако, для реальной работы требуются уточнения.

Во-первых, одна и та же вариативная ситуация формализует:

• и базовый блок автомата, то есть, его конструкцию
• и его рабочий профиль, получаемый в эксперименте с ним, то есть, его поведение

Здесь и далее везде принято, что дерево сборки такой ВС всегда имеет высоту 1, то есть, его даже можно специально не указывать, извлекая прямо из описания - мысленно или автоматически.

Для этого могут использоваться два типа записей - сокращённая в виде [(x=1,y=1), (x=1,y=2), (x=2,y=2)] и xml-подобная:
<vs>
  <state>
    <atom>x=1</atom>
    <atom>y=1</atom>
  </state>
  <state>
    <atom>x=1</atom>
    <atom>y=2</atom>
  </state>
  <state>
    <atom>x=2</atom>
    <atom>y=2</atom>
  </state>
</vs>

То есть, формула ВС содержит просто перечисление (формул) своих состояний.

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

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

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

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

Назад Вперёд