В настоящем разделе определены информационные требования к прикладному модулю "Модель поведения на основе внешнего состояния", которые представлены в форме прикладной эталонной модели (ПЭМ).
Примечания
1 Графическое представление информационных требований представлено в приложении С.
2 Спецификация отображения определена в 5.1. Она показывает, как применены информационные требования при использовании общих ресурсов и конструкций, определенных в схеме ИММ или импортированных в схему ИММ прикладного модуля, описанного в настоящем стандарте.
Далее представлен фрагмент EXPRESS-спецификации, с которого начинается описание схемы External_state_based_behaviour_model_arm и устанавливаются необходимые внешние ссылки.
EXPRESS-спецификация:
*)
SCHEMA External_state_based_behaviour_model_arm;
(*