P6: Podmienky a ohraničenia v modeloch: OCL

Zhrnutie prednášky

Prednáška sa po organizačných poznámkach k etape projektu a rekapitulácii stavových diagramov venuje modelovaniu operácií. V UML je operácia to, čo sa v objektovo orientovaných jazykoch nazýva metóda, a vždy patrí k nejakej triede; v diagrame tried je vidieť len jej signatúru. Operácia pozostáva z parametrov, návratovej hodnoty a tela s algoritmom, teda krokmi, rozhodnutiami, cyklami a volaniami iných operácií. Keďže volania a závislosti medzi objektmi z textu nevidno, na ich znázornenie sa používa diagram sekvencií, ukázaný na operácii dispatch order s parametrom, volaním get content a návratovou hodnotou. Zdôraznená je aj odlišná UML konvencia zápisu typov (názov, dvojbodka, typ) oproti Jave.

• - Štruktúrne modely UML zachytávajú statickú stavbu systému, behaviorálne jeho správanie.
• - Operácia v UML zodpovedá metóde a vždy patrí k nejakej triede.
• - Operácia pozostáva z parametrov, návratovej hodnoty a algoritmu s krokmi, rozhodnutiami, cyklami a volaniami iných operácií.
• - Diagram sekvencií zobrazuje, kto koho volá, a odhaľuje závislosti medzi volaniami, ktoré z textu nevidno.
• - Počiatočný symbol v diagrame sekvencií označuje volanie operácie prichádzajúce zvonka.
• - V UML sa typ uvádza za názvom po dvojbodke, na rozdiel od Javy.

Zhrnutie pripravené s pomocou AI z prepisu videa.