pio lotnisko

1. (Ipkt) Które z podanych stwierdzeń jest prawdziwe dla podanego niżej diagramu

klas:

_al_ linia oferuje wiele lotów z teaCLSameaa lotniska    może, nie musi

bl każdy lot jest przypisany jednej linii cj lotnisko obslusuie wiele orzvlotów może. nie musi d) pasażer jest przypisany do jednego lotu

2. (Ipkt) Zapisz w postaci inwariantu OCL ograniczenie, że lot nie mole mieć więcej pasażerów nil maxliczhaPAsaz; czy można to zapisać na diagramie

context LOT    Nie można ?

inv: pasazer->size() <= maxliczbaPAsaz

3. (3pkt) Dodaj (wpostaci klasy i asocjacji na diagramie) informację, że

każdy lot ma przypisanego pilota, który jest pracownikiem linii, która lot oferuje; linia zatrudnia wielu pilotów

4. (2pkt) Napisz ograniczenie, że

dla lotu nazwa lotniska ‘cel’ musi być różna od nazwy lotniska ‘start’

context LOT

inv: cel.Nazwa <> start.Nazwa

5. (3pkt) Dla operacji obliczenia

dla danego lotniska liczby pasażerów, którzy mogą przylecieć

podaj ograniczenia pre i post

pre: przyloty->notEmpty()

post: result = przyloty.maxliczbaPAsaz -> sum()

Ktoś wie jak zliczyć wszystkich pasażerów wszystkich przylotów?