P7: Algebraická špecifikácia

Zhrnutie prednášky

Prednáška sa odkláňa od UML a predstavuje algebraickú špecifikáciu ako spôsob modelovania, ktorý popisuje, čo sa s dátovou štruktúrou dá robiť, nie ako je implementovaná. Na príklade zásobníka (stack, po slovensky stoh) sa ukazuje, že pri návrhu cez pole alebo zreťazený zoznam sa pôvodný zámer stráca v implementačných mechanizmoch a väzbe na konkrétny jazyk či API. Ani UML (diagram tried, sekvencií, kompozitnej štruktúry) neumožňuje špecifikovať zásobník bez nútenia do štruktúry. Preto sa siaha po matematike, kde sa abstraktne a presne definujú vlastnosti pojmov, napríklad zásobník ako postupnosť alebo množina usporiadaných dvojíc. Tento spôsob myslenia si študenti vyskúšajú aj v povinnej časti projektu.

• - Zásobník (stack, stoh) sa pridáva a odoberá iba z vrchu a rozlišuje sa stav prázdny.
• - Implementácia poľom alebo zreťazeným zoznamom zamieša podstatu zásobníka s implementačným mechanizmom.
• - Implementácia viaže model na konkrétny jazyk a jeho API, takže je ťažko prenositeľná.
• - UML núti pracovať so štruktúrou, a preto nevhodne špecifikuje samotné vlastnosti zásobníka.
• - Algebraická špecifikácia definuje zásobník cez operácie a obmedzenia, nie cez štruktúru.
• - Matematika ponúka abstraktné a presné prostriedky, napríklad postupnosť alebo usporiadané dvojice.
• - Algebraickú špecifikáciu si študenti vyskúšajú v projekte a modely treba vedieť aspoň čítať.

Zhrnutie pripravené s pomocou AI z prepisu videa.