Algoritmizovatelné modelování

Anotace:
Student se seznámí s teoretickým základem založeným na metamodelování, které umožňuje k modelům přistupovat jako k formální datové struktuře typu graf, kterou je možné automaticky (bez zásahu člověka) nebo semiautomaticky (pomocí dialogu s člověkem - analytikem) měnit. Tímto způsobem lze algoritmicky realizovat aplikaci návrhových vzorů, refaktoring, datovou normalizaci a další transformační techniky používané v praxi softwarového inženýrství.

Osnova:

1. funkcionální programování
2. transformace grafů
3. základy jazyka Scheme
4. metamodelování, metamodel UML
5. návrhové vzory a objektová normalizace tříd
6. přístup model-driven engineering
7. programovací jazyk Metacase
8. programovací jazyk Craftcase

Klíčová slova:
transformace grafů, model-driven engineering, metamodelování, objektová normalizace tříd, návrhové vzory

Studijní literatura a studijní pomůcky 
[1] Ambler, S., Agile Database Techniques: Effective Strategies for the Agile Software Developer, Willey, 2003
[2] Engels, G. et all, Graph Transformations and Model-Driven Engineering, Springer Science, 2010