P6: Podmienky a ohraničenia v modeloch: OCL

Zhrnutie prednášky

Prednáška sa v úvode vracia k otázkam študentov: chybové a iné toky prípadov použitia sú technicky alternatívne toky a diagramy sekvencií podporujú vetvenie pomocou kombinovaných fragmentov opt (jednoduché if) a alt (viacero podmienok, teda else) a slučky. Vysvetľuje pôvod sekvenčných diagramov ako spôsobu znázornenia konkrétneho príkladu interakcie objektov, ktorý sa neskôr rozšíril na modelovanie celých operácií a generovanie kódu. Na modeli operácie dispatch order ukazuje synchrónne volania, slučku for each item nad položkami objednávky, rezerváciu u stock managera, výpočet ceny a nastavenie objednávky ako expedovanej. Ukazuje aj nastavovanie parametrov, návratových hodnôt a násobnosti operácií v nástroji, pričom narazí na problém so zobrazením zoznamu operácií. Na záver spomína, že návratové správy možno zobrazovať alebo skrývať podľa potreby.

• - Chybové a iné toky prípadov použitia sú technicky alternatívne toky.
• - Kombinované fragmenty v diagramoch sekvencií riešia vetvenie: opt je jednoduché if, alt realizuje viac podmienok a else.
• - Sekvenčné diagramy pôvodne znázorňovali konkrétny príklad interakcie objektov, až neskôr sa začali používať na modelovanie operácií a generovanie kódu.
• - Synchrónne volania sa kreslia uzavretou šípkou, asynchrónne otvorenou.
• - Fragment slučky (loop) so strážcom, napr. for each item, vyjadruje opakovanie pre každú položku objednávky.
• - Operáciám v modeli možno nastaviť parametre, typ a násobnosť návratovej hodnoty, napr. 0..* produktov.
• - Návratové správy a volanie vlastnej operácie objektu sa zobrazujú podľa potreby, nie je nutné ich kresliť všade.

Zhrnutie pripravené s pomocou AI z prepisu videa.