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