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