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