|
|
Support for fundamental component development scenarios
Milata, Tomáš ; Bureš, Tomáš (advisor) ; Richta, Karel (referee)
A problem of component systems is complexity of the development process causing high complexity of supporting tools. This thesis defines a subset of basic development scenarios in SOFA 2 component system such that it results in a complete application and covers all basic concepts of SOFA 2. The individual scenarios are described in context of SOFA 2 IDE and are analyzed for the purpose of determining problematic points, which are points hard to understand for novices and tasks that developers are forced to perform in a lengthy way because of the tools. The thesis presents, as an answer to the issues, a SOFA 2 Guide set of software tools capable of generating certain content of entites and Java source code. Alongside, it uses the Cheat Sheet tool as an interactive navigation through the development cycle. The solution contributes to simplification of SOFA 2 learning process and to speeding up the development. A possibility to add a guide to more advanced SOFA 2 topics or C/C++ code generator suggests itself for future extensions.
|
|
|
Reification of the DEECo component model and its application in virtual-world simulations
Forch, Jan ; Bureš, Tomáš (advisor) ; Gemrot, Jakub (referee)
In the domain of dynamically evolving distributed systems composed of autonomous and (self-) adaptive components, the task of systematically managing the design complexity of their communication and composition is a pressing issue. This stems from the dynamic nature of such systems, where components and their bindings may appear and disappear without anticipation. As one way of addressing the challenge, [15] proposes a new component model (called DEECo), which features separation of concerns via a mechanism of dynamic implicit bindings with implicit communication. This leads to introduction of autonomous components and their dynamic interaction groups (called ensembles). The goal of the thesis is to reify the DEECo concepts and paradigms in a Java-based implementation connected to a simulation of a virtual world. As such, the thesis should provide a platform for experimentation with DEECo-based applications.
|
|
|
Evaluation of languages for creating intelligent virtual agent behaviors
Vykouk, Ondřej ; Gemrot, Jakub (advisor) ; Bureš, Tomáš (referee)
There are dozens of formalisms specialized programming intelligent virtual agents (IVA). However, there is lack of an evaluation, which would provide the designer of a new agent with an overview of their usability in real-world applications. The goal of this study was evaluation of selected formalisms in order to identify their shortcomings and suggesting improvements. These improvements would allow the designer more accurate control of the IVA's behavior. Evaluation of formalisms was designed based on real-world scenarios and their implementation in different formalisms using the platform Pogamut 3. One of the formalisms is Jason (AgentSpeak language interpreter) and it was connected to that platform as a part of this thesis. During the implementation of the scenarios were identified some problems which make creating the behavior of intelligent virtual agents harder. For these problems was proposed solution in the form of action selection mechanism (ASM) prototype and the basic methodology for designing agents with this ASM. The results of this study could be a starting point for more advanced action selection mechanism, which would allows more precise control of the behavior of intelligent virtual agents. Powered by TCPDF (www.tcpdf.org)
|
|
|
Extensible Collaborative Development Platform
Halaša, Michal ; Hnětynka, Petr (advisor) ; Bureš, Tomáš (referee)
Title: Extensible Collaborative Development Platform Author: Michal Halaša Department / Institute: Katedra distribuovaných a spolehlivých systémů Supervisor of the bachelor thesis: RNDr. Petr Hnětynka Ph.D., S 212, Malostranské nám. 25, Praha Abstract: Currently, there exist a number of collaborative development platforms (also known as "forges"). These platforms offer to developers a set of tools for collaborative development (e.g. VCS tools, bug-tracking tools, mailing-list managers, etc). On the other hand, there exist many standalone tools for bug-tracking, etc. Usually, these standalone tools offer more features to the developers, however they have to be set up and managed separately. The goal of this thesis is to develop a collaborative development platform (forge) that is fully extensible, i.e. it will allow developers to easily add existing tools to it and manage them in a unified way. Keywords: java, forge, extensible, development platform
|
|
|
Support for enterprise applications in SOFA 2
Blénessy, Tibor ; Bureš, Tomáš (advisor) ; Hnětynka, Petr (referee)
Title: Support for Enterprise Applications in SOFA 2 Author: Tibor Blénessy Department: Department of Distributed and Dependable Systems Supervisor of the master thesis: RNDr. Tomáš Bureš, Ph.D. Abstract: Industry standards defining various aspects of enterprise systems were developed in order to make development of such systems faster and to increase interoperability. For systems created with Java platform, these standards are contained under Java Enterprise Edition. SOFA 2 component system provides a solid base for development of ex- tensive component oriented systems. Goal of this work is to propose and empirically verify the possibility of integration of existing industry standards for enterprise applications in SOFA 2. Proposed solution extends SOFA 2 with components for web user in- terfaces based on Java Servlet API standard and with components for persisting data into relational databases based on Java Peristence API. In addition, it integrates core technologies from the Java Enterprise Edition platform, which should make integration of further standards easier. Keywords: enteprise applications, component system, SOFA 2, Java EE
|
|
|
C-language code generator for SOFA 2
Ježek, Lukáš ; Bureš, Tomáš (advisor) ; Bulej, Lubomír (referee)
SOFA 2 is a component system employing hierarchically composed components. It provides ADL-based design, behavior specification using behavior protocols, dynamic reconfiguration of the components, and modeling of the component communication by software connectors. This allows seamless and transparent distribution of component applications. The connectors can be automatically generated, SOFA 2 contains Java connector generator allowing to connect components with Java interfaces. The aim of this thesis is to implement C code generator and integrate it into the current SOFA 2 connector generator framework, so that C connectors can be automatically generated and thus components written in C language can be transparently connected in distributed environment. The proposed C code generator is based on the concept of template transformation, where templates containing mixture of C code and a scripting Domain Specific Language are transformed to a pure C code. Strategic term rewriting method provided by Stratego/XT framework is used for evaluation of the scripts within the templates.
|
|
|
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.
|
|
|
IDE-supported development of component-based applications
Hermann, Lukáš ; Bureš, Tomáš (advisor) ; Šimko, Viliam (referee)
Unlike many proprietary component systems, the academic ones do not have sufficient support in integrated development environments. This the- sis analyzes development of component-based applications in terms of the SOFA 2 component system and it finds out that the main issue is an in- sufficient connection between processes of common application design and creation of particular components. Based on this analysis, it defines a subset of the UML, a universal language for application design, and its semantics regarding entities of the SOFA 2 component system. Furthermore, it creates a tool integrated to the Eclipse IDE, which enables a developer to automat- ically generate these entities from a UML component model as well as to connect this model with already existing entities enabling their automatic correction in case of model changing. This tool is designed modularly so that it is possible to easily change semantics of the model or using it for other models. Finally, this thesis analyzes possibilities of extensions of this tool for other component systems, code generation and component behaviour verification.
|
|
|
GPS tracks data processing and visualization
Dobroucký, Martin ; Bureš, Tomáš (advisor) ; Svoboda, Martin (referee)
The wide spread of GPS devices capable of recording motion tracks has provided a huge amount of GPS track data with lots of information that can be used in various ways. Typical use of the data is to visualize the trajectory, but this is certainly only elementary use of the data. Additional processing, filtering and altering of data can significantly improve their information value. For example identification of popular places or routes, detection and removal of inaccurate parts of tracks, accenting speed or elevation progress on track, etc. The aim of the thesis is to identify and describe best solutions to process and visualize GPS track datasets. That means analysis of a standalone track, mutual comparison of several tracks or identification of characteristics of a large tracks set. The thesis will include a prototype implementation of selected described methods.
|
|
|
Variability of Execution Environments for Component-based Systems
Malohlava, Michal ; Bureš, Tomáš (advisor) ; Racek, Stanislav (referee) ; Duchien, Laurence (referee)
Reuse is considered as one of the most crucial software engineering concerns. It allows for delivering software systems faster with less effort. Therefore, the thesis explores limits of reuse in the context of component systems. It analyzes in depth contemporary component systems, finds their commonalities and variation points, and introduces a meta-component system -- a software product line which allows for producing a tailored component system based on a set of requirements. The thesis addresses the meta-component system definition and focuses on its crucial aspects which play the key role in component systems preparation- (1) a configurable execution environment and (2) generation of implementation artifacts. To address the first aspect, the thesis proposes a model-driven method for creating configurable execution environments. Motivated by creating execution environments, the thesis contributes to (2) by introducing a notion of domain-specific languages interoperability in the context of the code generation. Furthermore, the thesis elaborates the proposed notion resulting into a family of interoperable domain-specific languages which is parametrized by a general purpose language.
|
guest ::
