Metaprogramovanie / Architektúra

Architektúra softvéru

• Štruktúra systému
• Rozhodnutia, ktoré je zložité zmeniť
• Ako umožniť odloženie nepodstatných rozhodnutí?

Metaprogramovanie

• Flexibilita
• DRY: Don't Repeat Yourself

Dependency Inversion Principle

1. High-level modules should not import anything from low-level modules. Both should depend on abstractions (e.g., interfaces).
2. Abstractions should not depend on details. Details (concrete implementations) should depend on abstractions.

Dependency Injection

• Dependency inversion principle
• Inversion of Control Containers and the Dependency Injection pattern

Príklad

Dependency Injection

Kód

https://git.kpi.fei.tuke.sk/meta/examples/spring-di

Metaprogramovanie

• Metadáta pre deklaratívny opis
• Oddelenie vrstiev a modulov
  • loose coupling
  • separation of concerns
• Automatické generovanie detailov na základe abstraktnejšej špecifikácie

MDSD

Model-driven software development

• Špecifikácia systému pomocou vysokoúrovňového modelu
• Generovanie časti implementácie z neho

Model-Driven Architecture (MDA)

• Štandard definovaný Object Management Group (OMG)
• UML ako modelovací jazyk
• Väčšinou nahradený jednoduchšími alternatívami

Model

• Grafický (napr. UML)
• Textový – doménovo-špecifický jazyk (DSL)
  • externý
  • interný – samotný programovací jazyk

Príklad: JetBrains MPS

• Definícia DSL
• Projekčný editor
• Generovanie kódu

Architektúra systému

Hierarchia modelov

Architektúra generátora

Model vo vygenerovanom kóde

• Model implementovaný aj v cieľovom jazyku
  • generujeme len konfiguráciu modelu
• Bez explicitnej reprezentácie modelu v cieľovom jazyku
  • opakovanie kódu
  • riešenie obmedzení cieľovej platformy