Charles Explorer logo
🇨🇿

Pouziti DSL pro automaticke generovani softwarovych konektoru

Publikace na Matematicko-fyzikální fakulta |
2008

Abstrakt

Komponentově orientované softwarové inženýrství představuje zavedené paradigma, jehož podstatou je model aplikace sestávající z mnoha komponent, které obsahují pouze aplikační logiku a komunikují pouze prostřednictvím dobře definovaných rozhraní. V moderních komponentových systémech jsou komunikační cesty mezi komponentami realizovány pomocí konektorů, které umožňují modelování komunikace odděleně od aplikační logiky a zjednodušují implementaci komunikačních cest, především díky možnosti automatického generování implementačního kódu konektorů.

To samo o sobě představuje netriviální úlohu, především z důvodu široké sémantické mezery mezi abstraktní specifikací konektoru ve fázi návrhu a jeho spustitelnou implementací. V článku představujeme přístup k řešení tohoto problému založený na využití doménového jazyka pro popis šablon implementací konektorů a jejich následné transformace na zdrojový kód s využitím transformačního frameworku Stratego/XT.