Keywords: Modell, Versionierung, SYSML, Modellierung, Modellversionierung
Astract: With the increasing popularity and usage of domain specific modeling languages, model versioning is be getting more and more important in software development, especially when model-based development methods come into play. This is also an important aspect for model-based systems engineering. Models and the distributed, collaborative development of models are constantly gaining significance. SysML is a domain-specific modeling language for systems engineering. The open source development platform Eclipse and its outstanding Eclipse Modeling Framework are an excellent base for model-driven software development. The initiative „Collaborative Modeling with Eclipse“ provides a modeling platform, founded on the named technologies and the modeling tool Papyrus, that tries to enable the comfortable working with models in teams. This work tries to improve the results, retrieved from the modeling platform when comparing SysML models. From an analysis of carried out model comparisons, several weak spots in differencing and visualization of those differences were found. Through the development of appropriate extensions, the identified weak spots could be addressed.

Keywords:
Astract: At the faculty for Informatics, TU Wien, there is a great heterogenity among students regarding their educational requirements, especially concerning prior knowledge of programming. Nevertheless, programming is an essential part of the first year curricula of CS and Business Informatics bachelor studies and it constitutes a base, a tool or content of further courses throughout the further study progress. To support prospective students in programming already prior to their start of studies, a MOOC (massive open online course) on introductory programming has been developed at the Faculty of Informatics at TU Wien. During summer 2017 it has been successfully implemented with a limited participants group of 579 prospective students and a small group of other internal and external test persons. Ongoing evaluations have already shown that the course and its implementation as a MOOC has the significant potential to serve as an additional bridging-course offer to prospective MINT students.

Keywords:

Keywords: UML, fUML, code generation, code verification, execution semantics, model-driven engineering
Astract: The concept of abstraction is the foundation of the evolution of computer science. Complex concepts and techniques are composed to a level of abstraction on which new techniques can be built. The evolution of programming languages is no exception. The assembly language was an abstraction of binary machine code instructions, making them interpretable by humans. Up to the nineties, many programming languages required the user to manually allocate and deallocate memory - a task that is carried out by all modern languages without the knowledge of the user. Model-driven engineering (MDE) is a software development methodology that introduces models as the central element, raising the level of abstraction beyond programming languages. Software systems described by the means of modeling languages have certain advantages: they are easier to understand, better to maintain as the described system changes over time, and they can be translated to be used on different target platforms. The latter is carried out by model transformations and code generators. UML is a standardized modeling language that is widely used to express the structure and behavior of systems. The transformation of systems described by means of UML concepts into executable code has been a tedious task for many years. This is because of the lack of formal semantics, which specify how models that conform to the abstract syntax of the modeling language have to be interpreted, which required the developers of code generators to rely on individual interpretations of the meaning of the modeling concepts. This circumstance was addressed with the fUML standard published in 2011. It covers the formal specification of the semantics of a subset of UML consisting of class modeling, activity modeling and action language concepts. Along with the standard, a conforming virtual machine was introduced that allows the user to execute fUML compliant models. However, up until today, no code generator compliant to fUML has been develped impeding the automated generation of implementation artifacts from fUML models for different target platforms. The first goal of this thesis is to elaborate and implement a code generation approach that generates executable code from fUML compliant models. The main requirement of the generator is to produce code that, when executed, behaves equivalent to the fUML model from which it was generated. The second goal of this thesis is to develop a component that verifies the correctness of the code generated from an input model by comparing its execution to the execution of the model carried out by the fUML virtual machine. Both goals aim to provide support for one of the key features of MDE for fUML: the automated transformation from a higher level of abstraction to a lower level. Thereby, an increase in productivity and efficiency for users of fUML shall be achieved.

Keywords:
Astract: Model Driven Engineering (MDE) aims to raise the level of abstraction in software engineering by moving from code-centric approaches to model-centric ones, which means that the main artifacts in the software development process are models. Thereby, MDE can be used for both creating new software as well as modernizing or extending existing software. The latter usage scenario of MDE requires the reverse engineering (RE) of existing software into higher-level models. The main aim of RE is to extract information of existing software and obtain a more abstract view for further analysis. Model Driven Reverse Engineering (MDRE) is the application of MDE techniques to perform RE tasks. While many MDRE approaches for reverse engineering the structure of a system already exist, there is a lack of approaches for also reverse engineering the behavior of a system, especially detailed behavior descriptions including algorithmic details of the software. This work proposes an approach for overcoming this gap by using MDE techniques to reverse engineer the detailed behavior of a system. The goal of this work is to elaborate a mapping between code written in the general purpose programming language C# and UML models conformant to fUML, by using an MDRE approach. The OMG standard Semantics of a Foundational Subset for Executable UML Models or foundational UML (fUML) is chosen because it is possible to precisely and completely define the behavior of a software system with fUML models. Thus, fUML is a suitable candidate for serving as target language for MDRE approaches that aim to reverse engineer the detailed behavior of a software system. A prototype has been developed in this thesis, which is able to reverse engineer code written in C# to models conformant to fUML, and store them in the UML modeling environment Enterprise Architect.