SCH-EUSR-33

[SCH-EUSR-33] The number of each Subset/SendingOrReceivingEndUsers MUST be lower or equal to the sum of the Subset/SendingEndUsers plus Subset/ReceivingEndUsers

About

ID
SCH-EUSR-33
Flag
fatal
Context
/eusr:EndUserStatisticsReport
Test
every $st in (eusr:Subset) satisfies xs:integer($st/eusr:SendingOrReceivingEndUsers) <= xs:integer($st/eusr:SendingEndUsers + $st/eusr:ReceivingEndUsers)
Rules
  • BR-EUSR-18 The Subset End User Cardinality that have sent or received datasets MUST be lower or equal to the sum of the Subset End User Cardinality that have sent datasets and the Subset End User Cardinality that have received datasets.
Syntax binding