Без заголовка

RuleSpeak - это не формализация, а рекомендации. По моему опыту, полезны только те вещи, которые можно проверить тулами. Желательно, выведя красивые диаграммки. вы обсуждаете какой-то непонятный мне уровень абстракции метода разработки на непонятном мне уровне детальности. Может быть. Полное описание получится объёмным. Да и некогда этим заниматься. И комментирую я не стандарт, а текст в контексте постинга.