
![]() |
| Context: AUMLSendSimple inv: (self.AUMLSendSimplesource.content.oclIsKindOf(AUMLPort)) and (self.AUMLSendSimpletarget.content.oclIsKindOf(AUMLPort)) |
![]() |
| Context: AUMLSelection inv: (self.AUMLSelectionsource.content.oclIsKindOf(AUMLPort)) and (self.AUMLSelectiontarget.content.oclIsKindOf(AUMLPort)) |
![]() |
| Context: AUMLUseProtocol inv: (self.AUMLUseProtocolsource.content.oclIsKindOf(AUMLPort)) and (self.AUMLUseProtocoltarget.content.oclIsKindOf(AUMLPort)) |