4. Выходные сигналы каждой подсети, кроме последней связываются с входными сигналами следующей подсети в списке подсетей в разделе описания состава. Если какая-либо подсеть в разделе описания состава указана с некоторым не равным единице числом экземпляров, то считается, что экземпляры этой подсети перечислены в списке в порядке возрастания номера.
5. Для блоков типа Cascad замыкание выхода блока на вход блока отсутствует. Для блоков типов Loop и Until замыкание выхода блока на вход блока достигается путем установления связей между выходными сигналами последней подсети в списке подсетей в разделе описания состава с входными сигналами первой подсети в списке подсетей в разделе описания состава. Если какая-либо подсеть в разделе описания состава указана с некоторым не равным единице числом экземпляров, то считается, что экземпляры этой подсети перечислены в списке в порядке возрастания номера.
Описания всех сетей, приведенные в предыдущем разделе полностью соответствуют правилам генерации. В качестве более общего примера приведем раздел описания сигналов и параметров трех условных блоков.
Layer A
ContentsNet1, Net2[K], Net3
InSignals[1.. NumberOf( InSignals,Net1)+K *NumberOf( InSignals,Net2)+ NumberOf( InSignals,Net3)] <=> Net1. InSignals[1.. NumberOf( InSignals,Net1)],
Net2[1..K]. InSignals[1.. NumberOf( InSignals,Net2)],Net3. InSignals[1.. NumberOf( InSignals,Net3)]
OutSignals[1.. NumberOf( OutSignals,Net1) + K *NumberOf( OutSignals,Net2)+ NumberOf( OutSignals,Net3)] <=> Net1. OutSignals[1.. NumberOf( OutSignals,Net1)],
Net2[1..K]. OutSignals[1.. NumberOf( OutSignals,Net2)],
Net3. OutSignals[1.. NumberOf( OutSignals,Net3)]
Parameters[1.. NumberOf( Parameters,Net1) + K *NumberOf( Parameters,Net2)+ NumberOf( Parameters,Net3)] <=> Net1. Parameters[1.. NumberOf( Parameters,Net1)],
Net2[1..K]. Parameters[1.. NumberOf( Parameters,Net2)],
Net3. Parameters[1.. NumberOf( Parameters,Net3)]
CascadB
ContentsNet1, Net2[K], Net3
InSignals[1.. NumberOf( InSignals,Net1)] <=> Net1. InSignals[1.. NumberOf( InSignals,Net1)]
OutSignals[1.. NumberOf( OutSignals,Net3)] <=> Net3. OutSignals[1.. NumberOf( OutSignals,Net3)]
Parameters[1.. NumberOf( Parameters,Net1) + K *NumberOf( Parameters,Net2)+ NumberOf( Parameters,Net3)] <=> Net1. Parameters[1.. NumberOf( Parameters,Net1)],
Net2[1..K]. Parameters[1.. NumberOf( Parameters,Net2)],
Net[3]. Parameters[1.. NumberOf( Parameters,Net3)]
Net1. OutSignals[1.. NumberOf( OutSignals,Net1)],
Net2[1..K]. OutSignals[1.. NumberOf( OutSignals,Net2)] <=> Net2[1..K]. InSignals[1.. NumberOf( InSignals,Net2)],Net3. InSignals[1.. NumberOf( InSignals,Net3)]
Loop C N
ContentsNet1, Net2[K], Net3
InSignals[1.. NumberOf( InSignals,Net1)] <=> Net1. InSignals[1.. NumberOf( InSignals,Net1)]
OutSignals[1.. NumberOf( OutSignals,Net3)] <=> Net3. OutSignals[1.. NumberOf( OutSignals,Net3)]
Parameters[1.. NumberOf( Parameters,Net1) + K *NumberOf( Parameters,Net2)+ NumberOf( Parameters,Net3)] <=> Net1. Parameters[1.. NumberOf( Parameters,Net1)],
Net2[1..K]. Parameters[1.. NumberOf( Parameters,Net2)],
Net[3]. Parameters[1.. NumberOf( Parameters,Net3)]
Net1. OutSignals[1.. NumberOf( OutSignals,Net1)],
Net2[1..K]. OutSignals[1.. NumberOf( OutSignals,Net2)] <=> Net2[1..K]. InSignals[1.. NumberOf( InSignals,Net2)],
Net3. InSignals[1.. NumberOf( InSignals,Net3)]
Net3. OutSignals[1.. NumberOf( OutSignals,Net3)] <=> Net1. InSignals[1.. NumberOf( InSignals,Net1)]
Частично сокращенное описание
Если описываемый блок должен иметь связи, устанавливаемые не так, как описано в разделе «Раздел описания связей», то соответствующий раздел описания блока может быть описан явно полностью или частично. Если какой либо раздел описан частично, то действует следующее правило: те сигналы, параметры и их связи, которые описаны явно, берутся из явного описания, а те сигналы, параметры и их связи, которые не фигурируют в явном описании берутся из описания по умолчанию. Так, в приведенном в разделе «Пример описания блоков»описании слоя точек ветвления BLay невозможно использование генерируемого по умолчанию подраздела установления связи выходных сигналов блока с входными сигналами подсетей. Возможно следующее сокращенное описание.
Читать дальше