November 2002 SPEM, v1.0: WohlgeformtheitcRichtlinien SPEM_Foundation 2-11 2 2,7,2 GeneralizableElement 2,7,3 Begrenzung 2,7,4 Klassifikator 2,7,5 BehavioralFeature 2,7,6 AssociationEnd 2,7,7 Verbindung [ C3][2.5.3.20.3 ] Kreisförmige Erbschaft wird nicht erlaubt. [ C4][2.5.3.20.4 ] Das Elternteil muß im namespace von umfaßt werden GeneralizableElement. [ C5][2.5.3.20.5 ] Ein GeneralizableElement kann ein Kind von nur sein GeneralizableElement der gleichen Art. [ C6][2.5.3.11.1 ] Eine Begrenzung kann nicht an sich angewendet werden. [ C7][2.5.3.8.3 ] Kein Entgegengesetztes AssociationEnds kann den gleichen Namen in a haben Klassifikator. [ C8][2.5.3.5.1 ] Alle Parameter sollten einen einzigartigen Namen haben. [ C9][2.5.3.5.2 ] Die Art der Parameter sollte im namespace umfaßt werden vom Klassifikator. [ C10][2.5.3.3.2 ] Ein Fall kann möglicherweise nicht durch Aufbau bis mehr als einen gehören zusammengesetzter Fall. [ C11][2.5.3.1.1 ] Das AssociationEnds muß einen einzigartigen Namen innerhalb haben Verbindung. [ C12][2.5.3.1.2 ] Höchstens kann ein AssociationEnd eine Anhäufung sein oder Aufbau.