Witam
potrzebuję zdefiniować ograniczenia dla poniższego diagramu klas. Chodzi o to aby osoba nie mogła być zatrudniona w tej samej firmie, jeśli wcześniej nie została z niej zwolniona. Co prawda diagram jest niedokładny i brak tutaj powiązania konkretnego zwolnienia z konkretnym zatrudnieniem. Ale powiedzmy, że w danym czasie może pracować na jednym stanowisku.
ja to widzę tak:
context Zatrudnienie
inv
self.przyjecie > self.zatrudnia.zwolnienie.zwol
Macie jakieś inne propozycje?