Algoritmizovatelné modelování

Atributy předmětu
Kód předmětu
D18AM
Způsob zakončení
zk
Kredity
2
Rozsah
26 hodin
Úroveň studia
doktorská

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