SNIP_ADAPTIVE_CAN_FIGURE_Figure_5_25

Figure 5.25: Modeling of the DiagnosticSovdUpdatePortMapping [constr_10458] Restriction for the applicability of DiagnosticSovdUpdatePortMapping Imposition time: IT_DiagDes ⌈If a PPortPrototype is referenced in the role pPortPrototypeInExecutable by a DiagnosticSovdUpdatePortMapping, then the PPortPrototype shall be typed by a DiagnosticSovdUpdateInterface.⌋ [constr_10459] Restriction for the applicability of DiagnosticSovdUpdateInterface Imposition time: IT_DiagDes ⌈If a PPortPrototype is typed by a DiagnosticSovdUpdateInterface, then the PortPrototype shall only be referenced in the role pPortPrototypeInExecutable by a DiagnosticSovdUpdatePortMapping.⌋ [constr_10460] Uniqueness of reference from DiagnosticSovdUpdatePortMapping to DiagnosticSovdUpdate Imposition time: IT_DiagDes ⌈Each instance of DiagnosticSovdUpdate shall only be referenced in the role serviceInstance by exactly one DiagnosticSovdUpdatePortMapping.⌋