Леммы ROSS

Лемма 1

Лемма 1. Доказательство

Предположим, что логическая развилка находится в операции. Тогда операция будет разделена на логические 3 части: одна часть до развилки и 2 части после. Это противоречит аксиоме атомарности.

Лемма 1. Следствие A

Если возникает потребность в логической развилке, то ее можно перенести на уровень выше или ниже. Логические развилки следует переносить:

1. на уровень сценариев. В этом случае сценарий параметризирует вызов операции и обрабатывает результат выполнения операции;
2. на уровень сервисов. В этом случае операция запрашивает у сервиса результат логических расчетов, выполненных внутри сервиса.

Лемма 2

Лемма 2. Доказательство

Предположим, что сценарий вызывается из другого сценария. Тогда сценарий имеет доступ к другому сценарию, а это противоречит аксиоме однородности. Предположим, что сценарий вызывается из операции. Тогда операция должна будет обработать результат выполнения сценария, т.е. содержать логическую развилку. Согласно лемме 1 логические развилки находятся в сервисах либо сценариях.

Лемма 2. Следствие A

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

Лемма 2. Следствие B

Если сценарий A передает управление сценарию B без завершения сценария A, то сценарий B является частью сценария A и должен быть преобразован в операцию.

Пример 1: запрос разрешений на геопозицию и получение геопозиции. Геопозиция сама по себе не имеет смысла, она полезна только в контексте некоторого сценария, т.е. является операцией. Пример 2: обработка ошибки. Ошибка обрабатывается отдельным сценарием, который может а) успешно обработать ошибку и вернуть поток управление в исходный сценарий б) завершиться неудачей и вернуть ошибку в исходный сценарий. Исходный сценарий вместо запуска сценария использует специальную операцию для обработки ошибки. Операция передаст ошибку в специальный сервис обработки ошибок, а сервис уже запустит сценарий обработки ошибки.

Лемма 3

Лемма 3. Доказательство

Предположим, что сервис имеет доступ к операции. Это противоречит аксиоме вложенности, следовательно сервис не имеет доступа к операциям.

Лемма 3. Следствие A

Если сервису нужно обратиться к операции A, то это признак неявной зависимости. Как правило, сервис обслуживает запрос другой операции, например, операции B. Операция B всегда выполняется в контексте некоторого сервиса (аксиома вложенности), значит, вызов операции A следует добавить во все сценарии, где используется операция B. Если операции A и B связаны безусловно, то их следует объединить в одну операцию.

Лемма 3. Следствие B

Если сервису нужно обратиться к операции, не следует «обходить» лемму 3 переносом операции в отдельный сценарий. Сценарий, состоящий из единственной операции, избыточен, поскольку эквивалентен операции.