I’m looking for students on the graduate and undergraduate levels who are interested in working on one of the following areas of interest. The eventual topic should be mutually agreed on, so feel free to shoot me an email and suggest whatever you are interested in.

▹Model-based and model-driven (software) engineering
    Model transformations, collaborative modeling, multi-view and multi-paradigm modeling
    Collaborative modeling, conflict-free replicated datatypes (CRDT)
▹Domain-specific language (DSL) engineering
    Textual modeling with Xtext, visual modeling with Sirius
▹Theory of modeling
    Applied abstract algebra (especially group theory), discrete math (especially graph theory, probability theory, operations research)
▹Techniques, applications
    Design space exploration, process modeling and simulation, complex event processing (CEP), software testing
    Ontology-based knowledge representation
    Machine learning/AI in MBSE (with the appropriate background)
    Sketch-based modeling


Here are some more specific/refined example topics. (Click to unfold.)

Conflict-free replicated datatypes for distributed collaborative engineering

Conflict-free replicated datatypes (CRDT) ensure an eventually consistent state of data by avoiding conflicts, and consequently, removing the need for synchronization and conflict resolution. As such, CRDT are especially well-suited for implementing collaborative engineering environments. In principle, any datatype can be turned into a CRDT, and traditionally, registers, sets and maps have been implemented in the majority of the CRDT frameworks. There is, however, no comprehensive approach for turning arbitrary datatypes into CRDT in a semi-automated fashion. This work aims to define such an approach and implement the supporting machinery. The work will be immediately re-used in our collaborative modeling back-end.

Complex event processing with VIATRA-CEP

Complex event processing (CEP) is the technique of capturing higher-order events, emerging from spatio-temporal patterns of atomic events. CEP is a useful technique for supporting novel kinds of model transformations, collaborative modeling settings, and reasoning about the emerging properties of systems-of-systems. VIATRA-CEP is a fully modeled CEP solution built on top of the Eclipse and VIATRA frameworks, covering the full vertical of DSL engineering, automata theory and live transformations for execution semantics, and the technical details of making everything work in Eclipse. Possible topics of collaboration could include each or just one of these vertical layers; and also experimenting in various application areas.

Process model generation from partial information with PROxIMA

Models of processes are useful, and often required representations of workflows, business endeavors and engineering projects. Building such process models, however, is a challenging task. Due to the process typically cutting through multiple different domains, areas of expertise, and organizational boundaries, very often, process models are assembled from partial information. PROxIMA is a process management tool that allows modeling, optimizing and enacting very complex engineering and business processes. It relies on the the FTG+PM formalism, and allows capturing the system properties relevant to the problem.
This topic aims at generating families of feasible process model alternatives, and then, optimizing these models according to a set of criteria. Possible topics of collaboration could focus on the higher knowledge level of this topic (“what to do?”); or on the deeper, formal level (“how to do it?”).