部分：约束
这个特殊部分允许检查每个模块实例是否至少被引用一次。
SEC Constraints //optional: yes, modifier: [UPDATE]
Referenced_By := <interface name>; //optional: yes, type: QID)
Referenced_Cardinality := [<minimum> .. <maximum>]; //optional: no, type: Cardinality
END_SEC有关定义类型语法的详细信息，请参阅 部分 模块声明。
. 规格：
参数
Referenced_By用于检查模块实例是否被其他模块实例引用。的价值ReferencedBy必须是一个派生自的接口IModule。如果引用实例的类型并不重要，IModule可以在这里指定。Referenced_Cardinality定义必须引用该模块的频率。如果参考数不在该范围内，则标准生成器的扫描时会产生错误。
例 27. 例子
SEC Constraints
Referenced_By := ISpecificModule;
Referenced_Cardinality := [1 .. 3];
END_SEC