|
|
Tools Generator for Domain-Specific Languages
Kosík, Daniel ; Regéciová, Dominika (oponent) ; Křivka, Zbyněk (vedoucí práce)
DSL Tools Generator is a tool for simplifying the development of domain-specific languages by generating parts of their implementation (e.g. abstract syntax tree) in C# and tools for using the language in a code editor. Based on an ANTLR4 grammar and a DSL configuration file, it generates a server implementation for the Language Server Protocol and a language support extension for Visual Studio Code that provides syntax highlighting, error reporting, and basic code completion functionality. The developed tool can significantly reduce the time and effort required for building a DSL with editor support.
|
|
|
Automatická tvorba obsahu databáze SQL pro podporu testování
Minářová, Alice ; Charvát, Lukáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá navržením a implementací dvojice nástrojů pro generování dat za účelem testování. První nástroj analyzuje textový výstup databáze PostgreSQL a vytváří konfigurační soubor v nově navrženém jazyce, který popisuje, jakým způsobem se má vygenerovat obsah databáze. Druhý nástroj na základě tohoto souboru generuje skript SQL dotazů naplňujících cílovou databázi. Uživatel může přizpůsobit generovaná data vlastním požadavkům modifikací konstrukcí v doménově specifickém jazyce. Tento jazyk byl navržen tak, aby byl zásah do konfiguračního souboru pro uživatele rychlý a intuitivní. Část práce se zabývá popisem práce s tímto jazykem. Nástroje byly testovány na uměle navržených databázích i na databázi reálného systému Drupal. Jejich řízení je zcela obslouženo přes příkazový řádek, jsou tedy vhodné k použití při automatizaci.
|
|
|
Framework and DSL for Ensemble-Based Access Control
Matějek, Jan ; Bureš, Tomáš (vedoucí práce) ; Kofroň, Jan (oponent)
Politiky řízení přístupu se obvykle specifikují jako sada statických pravidel, která se vztahují ke konkrétním spravovaným entitám. To může být v reálných situacích nepraktické: autorizace nutně závisí na širším situační kontextu, který je často velmi dynamický. Výsledkem jsou čím dál komplexnější pravidla, která se musí během času měnit, aby reflektovala vývoj řízeného systému. Architektury založené na ensemblech umožňují dynamicky vytvářet účelové skupiny v systémech s velkým počtem nezávislých autonomních komponent. Protože jsou skupiny formované dle potřeby a v závislosti na situaci, ensembly představují nový náhled na otázku řízení přístupu. Cílem této práce je navrhnout framework a interní DSL v jazyce Scala, určený k popisu přístupových pravidel prostřednictvím ensemblů. Konkrétně tento framework specifikuje sémantiku ensemblů přizpůsobenou pro účely jejich vytváření za běhu systému a řízení přístupu jejich prostřednictvím.
|
|
|
Framework and DSL for Ensemble-Based Access Control
Matějek, Jan ; Bureš, Tomáš (vedoucí práce) ; Kofroň, Jan (oponent)
Politiky řízení přístupu se obvykle specifikují jako sada statických pravidel, která se vztahují ke konkrétním spravovaným entitám. To může být v reálných situacích nepraktické: autorizace nutně závisí na širším situační kontextu, který je často velmi dynamický. Výsledkem jsou čím dál komplexnější pravidla, která se musí během času měnit, aby reflektovala vývoj řízeného systému. Architektury založené na ensemblech umožňují dynamicky vytvářet účelové skupiny v systémech s velkým počtem nezávislých autonomních komponent. Protože jsou skupiny formované dle potřeby a v závislosti na situaci, ensembly představují nový náhled na otázku řízení přístupu. Cílem této práce je navrhnout framework a interní DSL v jazyce Scala, určený k popisu přístupových pravidel prostřednictvím ensemblů. Konkrétně tento framework specifikuje sémantiku ensemblů přizpůsobenou pro účely jejich vytváření za běhu systému a řízení přístupu jejich prostřednictvím.
|
|
|
Domain-Specific Language for Learning Programming
Klimeš, Jonáš ; Parízek, Pavel (vedoucí práce) ; Vinárek, Jiří (oponent)
V rámci této práce jsme navrhli jazyk pro výuku programování. Nejprve jsme popsali osm existujících nástrojů pro výuku programování a identifikovali jsme jejich vlastnosti, které jsou důležité pro proces učení. Potom jsme navrhli výukový doménově specifický jazyk Eddie. Eddie je vhodný pro dospívající děti a dospělé, kteří se chtějí naučit programovat. Jazyk používá doménu postavenou na jazyku Robot Karel, ve které uživatelé mohou ovládat postavičku robota ve dvourozměrné mřížce. Vytvořili jsme prototyp jazyka Eddie pomocí nástroje MPS Language Workbench. Jazyk Eddie postupně představuje cykly, podmínky, proměnné, funkce a objekty. Uživatelské programy mohou být vytvářeny a spouštěny ve vývojovém prostředí Eddie Studio. Eddie Studio také vizualizuje akce robota ve spuštěném programu. Powered by TCPDF (www.tcpdf.org)
|
|
|
Model-driven Pretty Printer for Xtext Framework
Novotný, Marek ; Malohlava, Michal (vedoucí práce) ; Čermák, Miroslav (oponent)
Doménově specifický jazyk slouží k popisu problémů v doméně, pro níž byl vytvořen. Tento fakt implikuje existenci velkého množství jazyků tohoto druhu. Používání doménově specifických jazyků přináší s sebou potřebu tyto jazyky formátovat a zvýrazňovat jejich syntaxi. Jedním z nástrojů, které umožňují tvorbu doménově specifických jazyků, je prostředí Xtext, který nabízí pouze omezenou paletu nástrojů umožňující nadefinovat formátování kódu a jeho zvýraznění. Navíc jsou tyto nástroje pro uživatele těžko pochopitelné, jelikož jsou nepřehledné a vyžadují znalosti vnitřních záležitostí prostředí Xtext. Proto tato práce představuje nový způsob formátovaní a zvýrazňování kódu pro prostředí Xtext, který je založen na deklarativní definici formátovacích pravidel. Kromě toho tato práce pomáhá uživateli s tvorbou formátovacích pravidel na základě netriviálních heuristik.
|
|
|
Automatická tvorba obsahu databáze SQL pro podporu testování
Minářová, Alice ; Charvát, Lukáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá navržením a implementací dvojice nástrojů pro generování dat za účelem testování. První nástroj analyzuje textový výstup databáze PostgreSQL a vytváří konfigurační soubor v nově navrženém jazyce, který popisuje, jakým způsobem se má vygenerovat obsah databáze. Druhý nástroj na základě tohoto souboru generuje skript SQL dotazů naplňujících cílovou databázi. Uživatel může přizpůsobit generovaná data vlastním požadavkům modifikací konstrukcí v doménově specifickém jazyce. Tento jazyk byl navržen tak, aby byl zásah do konfiguračního souboru pro uživatele rychlý a intuitivní. Část práce se zabývá popisem práce s tímto jazykem. Nástroje byly testovány na uměle navržených databázích i na databázi reálného systému Drupal. Jejich řízení je zcela obslouženo přes příkazový řádek, jsou tedy vhodné k použití při automatizaci.
|
host ::
RSS.