|
|
Tools Generator for Domain-Specific Languages
Kosík, Daniel ; Regéciová, Dominika (referee) ; Křivka, Zbyněk (advisor)
DSL Tools Generator je nástroj pro zjednodušení vývoje doménově specifických jazyků generováním částí jejich implementace (např. abstraktního syntaktického stromu) v jazyce C# a nástrojů pro použití daného jazyka v editorech kódu. Podle zadané gramatiky a konfiguračního souboru vygeneruje implementaci serveru pro Language Server Protocol a rozšíření pro Visual Studio Code, které poskytuje zvýrazňování syntaxe a syntaktických chyb a základní doplňování kódu. Výsledkem práce je nástroj, který dokáže podstatně zkrátit čas a snížit úsilí potřebné k vytvoření doménově specifického jazyka s podporou v editorech kódu.
|
|
|
Integration of the Telosys Code Generator into Visual Paradigm
Vrána, Ondřej ; Bartík, Vladimír (referee) ; Rychlý, Marek (advisor)
This thesis aims at creating a Visual Paradigm plugin, which would make it possible to use Telosys code generator inside this program. Plugin must implement the designing of diagrams used for visualisation of Telosys DSL models and their translation to Telosys project. This thesis therefore includes an overview of both Visual Paradigm and Telosys together with their application programming interfaces. It then continues with designing the graphical representation of Telosys named Telosys diagram and describes an algorithm for the diagram’s translation. Next chapter describes the implementation of this plugin together with description of all its user functions. Last chapter tests the implemented plugin with example demonstration.
|
|
| |
|
|
A Tool for Automatic Generation of SQL Database Content for Software Testing
Minářová, Alice ; Charvát, Lukáš (referee) ; Smrčka, Aleš (advisor)
This thesis follows up a design and implementation of a set of two tools for testing data generating. The first tool analyzes PostgreSQL databse text output and creates a configuration file in a newly designed language that describes how the database content should be generated. Based on this file the second tool generates a SQL script to fill the target database. User can adjust the generated data to their own requirements by modifying the configuration file written in a domain-specific language. The language was designed to make possible adjustments quick and intuitive. The thesis also describes how this language should be handled. The two tools were tested on several artificially created databases and also on a real system database of Drupal. The tools are both operated via the command line which makes them suitable for usage in automation.
|
|
|
Framework and DSL for Ensemble-Based Access Control
Matějek, Jan ; Bureš, Tomáš (advisor) ; Kofroň, Jan (referee)
Access control policies typically take the form of a set of static rules pertaining to individual entities under control. This can be impractical in real-world scenarios: authorization invariably depends on wider situational context which often tends to be highly dynamic. This leads to increasingly complex rules, which have to change over time to reflect the evolution of the controlled system. Ensemble-based architectures allow dynamic formation of goal-oriented groups in systems with large number of independent autonomous components. Because of the ad-hoc and situation-aware nature of group formation, ensembles offer a novel way of approaching access control. The goal of this work is to design a Scala framework and internal DSL for describing access control related situations via ensembles. In particular, the framework will define ensemble semantics suitable for evaluating the ensembles and establishing access control at runtime.
|
|
| |
|
|
Framework and DSL for Ensemble-Based Access Control
Matějek, Jan ; Bureš, Tomáš (advisor) ; Kofroň, Jan (referee)
Access control policies typically take the form of a set of static rules pertaining to individual entities under control. This can be impractical in real-world scenarios: authorization invariably depends on wider situational context which often tends to be highly dynamic. This leads to increasingly complex rules, which have to change over time to reflect the evolution of the controlled system. Ensemble-based architectures allow dynamic formation of goal-oriented groups in systems with large number of independent autonomous components. Because of the ad-hoc and situation-aware nature of group formation, ensembles offer a novel way of approaching access control. The goal of this work is to design a Scala framework and internal DSL for describing access control related situations via ensembles. In particular, the framework will define ensemble semantics suitable for evaluating the ensembles and establishing access control at runtime.
|
|
|
Model-driven Pretty Printer for Xtext Framework
Novotný, Marek ; Malohlava, Michal (advisor) ; Čermák, Miroslav (referee)
The domain-specific language allows for describing problems of a concrete domain, for which the language is created. This fact implies that a number of languages of this kind grows with a number of problem domains. The use of domain-specific languages brings a necessity to pretty-print these languages, where the concept of pretty-printing consists of code formatting and syntax highlighting. One of tools that allow for creating domain-specific languages is the Xtext framework, which offers only a limited range of tools that are able to define a configuration for pretty-printing. Moreover, these tools are hardly understandable because they are confusing and requires knowledge of Xtext's internals. Thus this thesis introduces a new way of pretty-printing domain-specific languages. The way is based on declarative definition of formatting rules. Furthermore, this thesis helps a user to create formatting rules by utilizing nontrivial heuristics.
|
|
|
A Tool for Automatic Generation of SQL Database Content for Software Testing
Minářová, Alice ; Charvát, Lukáš (referee) ; Smrčka, Aleš (advisor)
This thesis follows up a design and implementation of a set of two tools for testing data generating. The first tool analyzes PostgreSQL databse text output and creates a configuration file in a newly designed language that describes how the database content should be generated. Based on this file the second tool generates a SQL script to fill the target database. User can adjust the generated data to their own requirements by modifying the configuration file written in a domain-specific language. The language was designed to make possible adjustments quick and intuitive. The thesis also describes how this language should be handled. The two tools were tested on several artificially created databases and also on a real system database of Drupal. The tools are both operated via the command line which makes them suitable for usage in automation.
|
|
|
Eclipse IDE plug-in for JCL support
Daněk, Tomáš ; Palovská, Helena (advisor) ; Hypšman, Martin (referee)
In the thesis I am presenting a plugin in the integrated development environment Eclipse. Plugin is designed to support writing code in JCL programming language. In the first part of the thesis I am focusing on the mainframe platform from the IBM corporation on which the JCL language is used. I also focus on the z/OS operating system and it`s components required for adequate runtime environment for JCL language. In the next section I am discussing the Eclipse environment which is used as runtime platform for the plugin. As a base for the plugin is used an Xtext framework. The framework is specifically designed for development of custom domain specific languages.
|
guest ::
