Keywords: MSDKVS, EMF, metamodelling, modeltransformation, M3B, transformation bridge, MDSE, abstract syntax, Sirius, graphical concrete syntax
Astract: Powerful metamodeling frameworks for realizing Model-Driven Software Engineering (MDSE) exist, each having its own strengths, weaknesses, functionalities, programming languages and engineering communities. By combining their individual benefits, it would be preferable to establish interoperability between them, i.e. transforming metamodels and models created in one framework into equivalent (meta)models in other frameworks. Thus enabling the freedom of choosing the metamodeling platform without risking a lock-in effect.Two of the most well known metamodeling frameworks, which are well documented and available for free are the Eclipse Modeling Framework (EMF) and the Modeling SDK for Visual Studio (MSDKVS). This thesis gives detailed explanations on how to achieve interoperability between EMF and MSDKVS on two levels, namely the abstract and graphical concrete syntax levels. The platforms are compared, their features are mapped accordingly and a bidirectional transformation bridge on their metamodel and model layers is implemented. The approach will be extensively evaluated by transforming available metamodels and generated or manually created models thereof. The evaluation regarding the validity, executability and the expressiveness of the transformation bridge is done quantitatively and qualitatively.

Keywords: conceptual modeling, accessibility, web modeling, model engineering, GLSP
Astract: According to the World Health Organization, the number of disabilities is increasing steadily. Additionally, as the internet has become a fundamental aspect of our daily lives, it is essential to ensure that all individuals, regardless of their abilities, have equal access to different information and services. Despite a growing effort to promote inclusion worldwide, there are still inaccessible tools and technologies in the field of computation. This results in unequal access to information systems and products for many people with disabilities. Consequently, accessibility should also be a key element, particularly in conceptual modeling, since web modeling tools have grown in popularity, as these tools have become essential in various fields, allowing professionals to work together, create, and build intricate web-based systems. In this regard, web accessibility is crucial for web modeling tools, as it ensures that users with disabilities can contribute fully to the modeling process and have equal chances to benefit.This thesis presents existing web accessibility issues in conceptual modeling research by identifying current research gaps and delineating a vision toward more inclusive, i.e., disability-aware conceptual modeling, based on a systematic review of the literature and current modeling tools. One key finding relates to a gap in research and tool support concerning physical disabilities. Based on these results, this thesis presents the first modeling prototype that can be used keyboard-only, thereby including users with physical disabilities to engage in conceptual modeling.

Keywords: testing, model engineering, web modeling, GLSP, modeling tools
Astract: Testing plays an important role in the quality assurance of software applications. It serves as a means to uncover potential issues introduced by code changes. As modern software systems become increasingly complex, manual testing practices often do not guarantee comprehensive coverage. Hence, automated testing has emerged as a solution to ensure thorough evaluation. This thesis delves into the domain of testing diagram editors, particularly focusing on the Graphical Language Server Platform (GLSP), which utilizes the Language Server Protocol, enabling developers to construct web modeling tools. In accordance, this thesis investigates the challenges of testing diagram editors. The investigation delves into the mechanics of browser automation and assesses the strengths and limitations of modern web testing frameworks such as Selenium, Cypress, and Playwright. This evaluation lays the groundwork for developing an extensible and maintainable testing framework tailored to GLSP. Within this context, the thesis addresses essential questions concerning how diagrams can be tested and interactions automated.For this reason, developing a solution that effectively addresses the unique demands of such tools is explored and encompasses various factors, including architectural and design principles, to form a foundation of an efficient and adaptable testing framework.To conclude, a comprehensive test suite is constructed. This suite spans a range of scenarios, each with different aspects of GLSP-based diagram editors to assess the testing framework’s capabilities in addressing those challenges.

Keywords: conceptual modeling, knowledge graph, modulaisation, genetic algorithm, model-driven engineering
Astract: Conceptual models are an integral part of information systems. They abstract concrete instances to display and emphasise specific aspects. These models grow and over time lead to monolithic artefacts and increased complexity. Modularisation is a process and technique to reduce complexity and make conceptual models more comprehensible by decomposing monolithic artefacts into smaller, understandable modular units. However, automatically finding a good modularisation solution, especially for any conceptual model, is difficult.Currently, there is a lack of a framework that can automatically modularise any conceptual model without any manual operation, where users can easily control configurations and extend the framework. Using the same framework or tool for different conceptual models, e.g. UML or BPMN models, is impossible. Most automatic modularisation approaches focus on specific conceptual models.This thesis aims to develop a complete modularisation framework, called GGMF, which stands for Generic Genetic Modularisation Framework, with a user interface. Users can customise parameters and specify objective criteria for modularisation solutions. It embeds the CM2KG framework for transforming conceptual models into knowledge graphs. A genetic algorithm receives the knowledge graph as an input and determines modularisation solutions. The framework generates the solutions as modularised knowledge graphs. The framework is designed to be extensible. Users can define custom objectives for the fitness function and replace the genetic encoding and operators with their own definitions.Finally, the work is evaluated by focusing on the configuration aspects, the impact of parameter changes, the comprehensibility of modularisation solutions and comparison with state-of-the-art modularisation-related techniques.

Keywords: Archi, ArchiMate, Enterprise architecture, Knowledge graph, Modeling tool
Astract: This paper presents the EAKG Toolkit that entails a new Knowledge Graph-based representation of enterprise architecture (EA) models and further enables reasoning on EA knowledge. Our developed EAKG Toolkit is unique in the sense that it i) transforms ArchiMate models into a KG representation – the Enterprise Architecture Knowledge Graph (EAKG), ii) visualizes the EAKG for interactive exploration, and iii) extends the EAKG with additional nodes and edges to visually represent detected EA smells.