|
|
Using Stratego/XT for Generation of Software Connectors
Malohlava, Michal
Software connectors are used in component based systems as a special entities modeling and realizing component interactions. Besides this behavior, connectors can provide extra functionality and benefits (e.g. logging, adaptation, monitoring). This approach requires generation of connector code with respect to requirements of components, a target environment and features specified at the design stage. In this thesis we show how to extend the existing connector generator [33] by the Stratego/XT transformation engine, which includes a language for implementing program transformations and a collection of transformation tools. We use the toolset to realize a simple method of defining connector implementation, which is use as a template for a process of generation source code.
|
|
|
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.
|
|
|
Projectional editor for domain-specific languages
Dvořák, Ondřej ; Malohlava, Michal (advisor) ; Šimko, Viliam (referee)
Title: Projectional editor for domain-specific languages Author: Ondřej Dvořák Department: Department of Distributed and Dependable Systems Supervisor: RNDr. Michal Malohlava Abstract: Programming is a craft requiring a good tooling. One of tools selected as crucial for software development is an integrated development environment (IDE) that allows to maintain most of the general-purpose languages. Domain-specific languages grow in a popularity last years, thus it is necessary to support them by IDE as well. Not just a textual or graphical form of DSL sources is suitable for their maintenance, so does the combination of them. One of the promising approaches is represented by a novel method called a projectional editing. Its objective is to show different visualization forms of program source code, combine and manipulate with them at one place. The thought is typically realized by a projectional editor. In this thesis we design a projectional editor for domain-specific languages and provide its experimental implementation. It analyzes potential approaches to a projectional editing and designs their suitable realization in Microsoft Visual Studio. It provides a universal implementation of a projectional editor on the top of Visual Studio as well as on the top of a standalone application. Moreover, it supports...
|
|
|
Route Finder System
Hryzlík, Pavel ; Malohlava, Michal (advisor) ; Ježek, Pavel (referee)
Title: Route Finder System Author: Pavel Hryzlík Department: Department of Distributed and Dependable Systems Supervisor: RNDr. Michal Malohlava, Department of Distributed and Dependable Systems Abstract: The navigation systems have become an integral part of our lives. However, contemporary solutions are not able to effectively combine navigation information based on public transport and walking. Nevertheless, in large cities such functionality is beneficial. Therefore, the objective of the thesis is to design and implement a navigation system utilizing the route find library JRGPS. The resulting application Route Finder System provides an effective and user friendly way to find routes combining public transport and walking. Keywords: route, path, finder, navigation system, public transport
|
|
|
SOFA 2 graphical tools improvement
Kudláček, Ondřej ; Malohlava, Michal (advisor) ; Čermák, Miroslav (referee)
This enhancement of component system SOFA 2 is focused on the graphical interface. SOFA 2 is based on Eclipse Modeling Framework, through which is constructed a hierarchical model of the system. The extension of SOFA 2 developed in this project provides - via the graphical interface tools for the so called Deployment Plan - an editing of applications developed by SOFA 2 and copying of their components between repositories. The graphical interface is created as a stand-alone program or as a plug-in for the Eclipse platform. The enhancement is added to the management console called MConsole, which allows editing models and applications developed in SOFA 2. The whole library is programmed in the Java programming language. The graphical environment is build on JFace library for EMF-based models editors. EMF.Edit framework and its library Command are used for the editation of the models.
|
|
|
Application for Construction Cost Calculations
Heřmánek, Ondřej ; Ježek, Pavel (advisor) ; Malohlava, Michal (referee)
Primal goal of this application is costs calculation of constructions. Application is designed to meet the requirements of small construction companies that employ workers of all crafts and have their own warehouse for materials and heavy machinery. The biggest benefit of this application is processing certain calculations automatically.
|
|
|
Interactive Debugger for MSIM
Martinec, Tomáš ; Děcký, Martin (advisor) ; Malohlava, Michal (referee)
The goal of this thesis is to extend the debugging possibilities of MSIM by connecting it to the Eclipse IDE. MSIM (MIPS Simulator) is a machine simulator based on a MIPS processor and a simple hardware model. The simulator is primarily used for education of operating systems. At the beginning of this work MSIM provided basic features for debugging the code that runs inside the virtual machine. The basic features are accomplished by implementing GNU Debugger (GDB) remote connection interface and also by several integrated debugging commands. The work presented in this thesis connects the Eclipse IDE debugging front-end to MSIM via the GDB remote connection interface. Necessary means to provide comfortable experience of both source-level and assembly-level debugging are implemented. Additionally, a discussion about advanced debugging features such as: user space code debugging with a thread scope; call tree construction; reverse execution; and other techniques is presented in the thesis.
|
|
|
COSIM - Coating Simulation
Jílek, Jan ; Kofroň, Jan (advisor) ; Malohlava, Michal (referee)
In the given coating chamber is a system of rotating holders, which holds rotating tools. The chamber also contains electrodes (of various materials), from which the material evaporates and is coating the tools. The goal of this thesis is to simulate the process of coating and visualize the resulting layer in given places of coated tools depending on their placement, number, rotation speed and other optional settings.
|
|
|
Mode Change in Real-time Component Systems
Outlý, Matěj ; Bureš, Tomáš (advisor) ; Malohlava, Michal (referee)
The goal of the thesis is to examine possibilities of dynamic reconfiguration in real-time component systems, especially to formally describe support of operating modes. The thesis introduces a reconfiguration mechanism based on properties and relations between them. The mechanism is designed to facilitate a straight forward modeling of operating modes and reconfiguration rules and preserves re-usability of assembled components. The thesis also presents a realization of the mechanism suitable for the domain of embedded real-time systems.
|
|
|
Reputation-based Adaptation for Structured P2P Networks
Ladecký, Martin ; Novotný, Miroslav (advisor) ; Malohlava, Michal (referee)
The goal of this thesis is to implement reputation based trust management into the routing protocol of peer-to-peer network. This implementation is compared with current standard peer-to-peer security implementations - mostly no security at all and reputation based management without implementation in the routing mechanism. The objective is to improve routing performance and efficiency of secure algorithms.
|
guest ::
RSS feed.