| |
S EMANTICS A.1.1.5 A SSOCIATIONS Verbindungen beschreiben strukturelle Verhältnisse zwischen Kategorien. Im Allgemeinen können Kategorien an jeder möglicher Zahl teilnehmen von den Verbindungen und von den Verbindungen können zwei oder mehr Kategorien anschließen. D EFINITION A.4 (A SSOCIATIONS Der Satz von Verbindungen wird vorbei gegeben I. ein nitesatz Namen A SSOC N II. eine Funktion verbindet: ( Ein SSOC C- LASS + als 7 h c 1 . . . c n I mit ( n = 2) . Die Funktions- Teilnehmer bildet jeden Verbindungsnamen wie ab Ein SSOC zu einer niteliste h c 1 . . . c n I von Kategorienparticipat- ing in der Verbindung. Die Zahl n vom Teilnehmen wird Kategorien auch der Grad benannt von einer Verbindung; Verbindungen mit Grad n werden n benannt - ary Verbindungen. Für viele Probleme ist der Gebrauch von binären Verbindungen häufig das cient suf. Eine Selbstassoziation (oder rekursive Verbindung) sa an ist eine binäre Verbindung, wo beide Enden der Verbindung sind tached zur gleichen Kategorie c so daß associates( sa ) = h c, c I . Die Funktions- Teilnehmer muß nicht injective sein. Mehrfacher Verbindungsover der gleiche Satz der Kategorien sind möglich. OLE NAMEN R Kategorien können mehr als in einer Verbindung jede Zeit einmal aussehen, die eine andere Rolle spielt. Z.B. in einem Selbst Verbindung PhoneCall auf einer Kategorien- Person wir müssen zwischen der Person unterscheiden, welche die Rolle eines Anrufers hat und eine andere Person, die das aufgerufene Programm ist. Folglich weisen wir jedem die Kategorie zu, die an einer Verbindung ein einzigartiger Rollenname teilnimmt. Rollennamen sind auch für OCL-Navigationsausdrücke wichtig. Ein Rollenname einer Kategorie wird verwendet, um festzustellen Navigationsweg in dieser Art von Ausdrücken. D EFINITION A.5 (OLE NAMEN R Wie gelassen Ein SSOC seien Sie eine Verbindung mit associates( wie ) = h c 1 . . . c n I . Rollennamen für eine Verbindung sind De ned durch eine Funktion Rollen: ( Ein SSOC N + als 7 h r 1 . . . r n I mit ( n = 2) wo alle Rollennamen eindeutig sein müssen d.h. I, J { 1 . . . n } : I 6 = J = r I 6 = r J . Das Funktions- roles( wie ) = h r 1 . . . r n I weist jedem Kategorie zu c I für 1 = I = n Teilnehmen an der Verbindung ein einzigartiges Rolle Namenß$+0r I . Wenn Rollennamen in einem Kategoriendiagramm ausgelassen werden, werden implizite Namen in UML konstruiert, indem man verwendet Name der Kategorie am Zielende und -ändern seines rstbriefes zur Kleinschreibung. Wie oben erwähnt, ausdrückliche Rolle Namen sind für Selbst-Verbindungen vorgeschrieben. Ocl 2,0 R EVISED S UBMISSION V ERSION 1,5, J UNE 3, 2002 A-3 |  |
|
| |
|
|