Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

Bildinformationen anzeigen

Laufende Abschlussarbeiten

Masterarbeit: A Systematic Literature Survey on Concepts of Digitalization of Business Processes

Motivation

To realize digitalization in the company and to make it usable for business processes is a question that is a concern for many companies today. Here the term digitalization functions as an umbrella term. In order to discuss and understand the changes caused by digitalization, it is necessary to understand which concrete concepts are meant by digitalization in the respective context.


Task description

Therefore, we aim to carry out an in-depth study to identify concepts of digitalization in the context of business processes and business process models. The research method should follow a systematic literature review approach combined with a taxonomy or framework development. This topic is a research-based topic without any need for implementation.

  • Plan a systematic literature review method with explanation. Do and report the research according to that.
  • Form a comprehensive categorization of digitalization concepts in the context of business processes / business process models

Further information

It is possible to write this thesis in German or English. Please write in your application shortly why you are interested in the topic and what further experience you have in the field. Before the proposal process, there will be a short test (consisting of general questions and your understanding of the topic) to see if you are the right person for the topic.


References

  • Kitchenham, B.: Procedures for Performing Systematic Reviews. (2004)
  • Nickerson, R.C. et al.: A method for taxonomy development and its application in information systems. European Journal of Information Systems 22, 336–359 (2013)
  • Rittmeier, F., Engels, G., Teetz, A. (2019). Process Weakness Patterns for the Identification of Digitalization Potentials in Business Processes. Cham: Springer International Publishing.

Contact

Florian Rittmeier


Download Topic

Masterarbeit: Implementation and Evaluation of an Augmented Reality Assistance System for Surgical Procedures

Contact Enes YigitbasIvan Jovanovikj

Student Timo Renzelmann

Masterarbeit: Development Framework for Multi-User Cross-DeviceAR Applications

Contact Enes YigitbasIvan Jovanovikj

Student Christian Fischer

Bachelorarbeit: Development of a Framework for Displaying Sensor Data in Mixed Reality

Contact Enes YigitbasIvan Jovanovikj

Student Frederik Hannesen

Masterarbeit: Development of an AR Assistance System for Interior Design Tasks

Contact Enes YigitbasIvan Jovanovikj

Student Andreas Schönhals

Bachelorarbeit: Development Framework for Supporting Collaborative Tasks in VR and AR Applications

Contact Enes YigitbasIvan Jovanovikj

Student Jakob Mathias Greuel

Bachelorarbeit: Using Process Mining to Enhance Virtual Reality Training

Contact Enes YigitbasIvan Jovanovikj

Student Sebastian Krois

Masterarbeit: Model-Driven Development of Multi-Platform AR Applications

Contact Enes YigitbasIvan Jovanovikj

Student Frank Mensah

Masterarbeit: Implementation and Evaluation of a Virtual Reality Interface for Robot Programming

Contact Enes YigitbasIvan Jovanovikj

Student Kadiray Karakaya

Masterarbeit: Domain Specific Language for Process-Aware Augmented Reality Applications

Contact Enes YigitbasIvan Jovanovikj

Student Sven Hartwig

Masterarbeit: Augmented Reality Indoor/Outdoor Navigation Framework for Android

Contact Enes YigitbasIvan Jovanovikj

Student Jan Lippert

Masterarbeit: Augmented Reality Assisted Robot Programming

Contact Enes YigitbasIvan Jovanovikj

Student Jonas Eilers

Masterarbeit: Model-Based Product Configuration in Augmented Reality Applications

Contact Sebastian Gottschalk, Enes Yigitbas

Student Eugen Schmidt 

Abstract

Follows...

Masterarbeit: Using Augmented Reality to Enhance Robot Debugging

Contact Enes YigitbasIvan Jovanovikj

Student Michael Josef Wieneke

Bachelorarbeit: Evaluierung des ASAM iLinkRT Kommunikationsprotokolls zur Umsetzung einer ASAM XIL Prüfstandsanbindung

Contact Ivan Jovanovikj

Student Marvin Peukert

Bachelorarbeit: Evaluierung des Kommunikationsprotokolls ASAM iLinkRT zur Anbindung eines Mess- und Kalibrierwerkzeugs mittels ASAM MCD-3 MC

Contact Ivan Jovanovikj

Student Markus Röse

Bachelorarbeit: Development of an Evaluation Framework for Test-Automation Tools

Contact Ivan Jovanovikj

Student Oliver Kolodzik

Masterarbeit: Modular Construction of Context-Specific Test Case Migration Methods

Contact Ivan Jovanovikj

Student Vishal Joseph Vincent

Masterarbeit: Quality Assessment of Test Cases in Software Migration Projects

Contact Ivan Jovanovikj

Student Abhishek Hassan Chandrashekar

Masterarbeit: Situational Context Identification for Test Case Migration

Contact Ivan Jovanovikj

Student Anu Tony Thottam

Masterarbeit: Systematic Literature Review on Tolerance in Model-driven Engineering

Contact: Nils Weidmann

Motivation:

Tolerating inconsistencies – or flexibility in MDE in a broader sense – is a research topic of growing interest. Domain experts shouldn’t be forced to maintain perfect consistency between multiple models at each point of time for several reasons:

  • There might be different equally good solutions
  • There might be no consistent solution at all
  • Restoring consistency involves unexpected changes

Even though the topic is frequently discussed for many years, there is no systematic overview of the proposed literature up to now.

Tasks:

  • Conduct a systematic literature review on tolerance in model-driven engineering according to a standard research method in software engineering
  • Develop a tool chain for collecting papers from a research database and filtering them according to given criteria
  • Compose a suite of examples to demonstrate fault-tolerant approaches and prototypically implement some of these examples in an Eclipse-based MDE tool

Preconditions:

Successful participation in at least one of the courses:

  • Bachelor Lecture: Model-Based Software Development
  • Master Lecture: Model-Driven Software Development
  • Master Lecture: Fundamentals of Model-Driven Engineering
  • Seminar: Advanced Model-Based Techniques
  • Seminar: Maintaining Consistency in Model-Driven Engineering
  • Project Group: VICToRy
Masterarbeit: Step-wise Visualization of Model Transformation Processes

Contact: Nils Weidmann

Motivation:

Model transformations are an important aspect when maintaining consistency in the field of Model-Driven Engineering. Classic MDE tools treat model transformation as a background task without user interaction or an appropriate visualization of the transformation results. However, these features would be beneficial for the users of the tool to understand both the process and the output models – and as a result – consider the MDE tool as trustworthy software. The project group “VICToRy” started developing a debugger for model transformations in winter 2018/19 and summer 2019.

Tasks:

  • Create an overview of breakpoint types used in MDE and other fields of software engineering, such as object-oriented or functional programming
  • Create a detailed concept for breakpoints for model transformations using software engineering methods
  • Enhance the VICToRy debugger by breakpoint functionalities
  • Evaluate the approach by conducting a case study with students of an MDE-related lecture

Preconditions:

Successful participation in at least one of the courses:

  • Bachelor Lecture: Model-Based Software Development
  • Master Lecture: Model-Driven Software Development
  • Master Lecture: Fundamentals of Model-Driven Engineering
  • Seminar: Advanced Model-Based Techniques
  • Seminar: Maintaining Consistency in Model-Driven Engineering
  • Project Group: VICToRy
Masterarbeit: Integration of Domain Constraints into a Tool for Bidirectional Model Transformations

Contact: Nils Weidmann

Motivation:

Domain constraints that go beyond restrictions already encoded into meta-models are essential for modelling software systems of practical relevance. Rule-based approaches to MDE often require the user to indirectly specify these domain constraints as application conditions that are attached to single rules instead of directly specifying them for the whole system. This involves several problems: it is particularly difficult to validate the completeness of application conditions, especially when new rules are added to the system. An approach for directly integrating domain constraints in rule-based model transformations was already presented on a theoretical basis but lacks implementation for more than simple consistency checks.

Tasks:

  • Integration of domain constraints for different consistency management operations, including forward and backward transformation as well as consistency checking by correspondence creation
  • Enhancing the eMoflon Specification Language (EMSL) to specify domain constraints and create an appropriate visualization for the user
  • Evaluate the approach regarding correctness, expressiveness (in comparison to other approaches) and scalability

Preconditions:

Successful participation in at least one of the courses:

  • Bachelor Lecture: Model-Based Software Development
  • Master Lecture: Model-Driven Software Development
  • Master Lecture: Fundamentals of Model-Driven Engineering
  • Seminar: Advanced Model-Based Techniques
  • Seminar: Maintaining Consistency in Model-Driven Engineering
  • Project Group: VICToRy
Masterarbeit: Consistent transformation and synchronization of UML-B and Event-B models

Contact: Nils Weidmann

Motivation:

Safety-critical systems have to be verifiable, meaning that the correctness of the software system can be formally proven. In the area of software modelling – you require models to have an unambiguous formal semantics in order to conduct verification steps. However, ambiguous visual languages like SysML (Systems Modeling Language) are well-accepted in industry and therefore many engineers are far more experienced with languages that do not fulfill the requirements to be verifiable.

Adding knowledge about the application domain, it is possible to consistently transform models in SysML notation into Event-B to formally verify the created system models. In case the Event-B models must be adapted due to the verification results, a backward transformation to SysML should also be possible. To keep the transformation flexible and to align the two directions of transformation, a bidirectional rule-based approach should be used.                                                       

Tasks:

  • Specify transformation rules for SysML to Event-B
  • Implement a bidirectional transformation between the two language within an MDE tool
  • Create a test suite of models to validate the approach

Preconditions:

Successful participation in at least one of the courses:

  • Bachelor Lecture: Model-Based Software Development
  • Master Lecture: Model-Driven Software Development
  • Master Lecture: Fundamentals of Model-Driven Engineering
  • Seminar: Advanced Model-Based Techniques
  • Seminar: Maintaining Consistency in Model-Driven Engineering
  • Project Group: VICToRy
Masterarbeit: Rule-Based Product Configuration in Client-Server Systems

Contact: Nils Weidmann

Motivation:

Rule engines are used for validation tasks for product configurations in various branches of producing industry. In contrast to directly programmed validations, rule-based approaches have the advantage of being flexible for additional or changed requirements that arise while working with a software system. In a distributed scenario, an additional dimension of complexity comes into play: Where does the validation task take place? Conceptually, it’s the easiest way to run all validations on a server, but this usually causes performance problems. So a more efficient solution would be to distribute validations among server and clients, depending on the knowledge and data access these systems have.

Tasks:

  • Develop an architecture for rule-based validation in distributed systems
  • Compare multiple rule engines and choose the most suitable one for client and server side
  • Implement a prototype for rule-based validations on client and server

Preconditions:

Successful participation in at least one of the courses:

  • Bachelor Lecture: Model-Based Software Development
  • Master Lecture: Model-Driven Software Development
  • Master Lecture: Fundamentals of Model-Driven Engineering
  • Seminar: Advanced Model-Based Techniques
  • Seminar: Maintaining Consistency in Model-Driven Engineering
  • Project Group: VICToRy
Bachelorarbeit: Ontologie-basierte Generierung von Wissenssystemen

Motivation

Wissenssysteme unterstützen Entscheidungsträger nicht nur bei der strukturierten Ablage von existierendem Wissen, sondern ebenfalls bei der Generierung von neuem Wissen aus vorhandenem Wissen. Insbesondere der erste Anwendungsfall setzt voraus, dass Entscheidungsträger ihr Wissen gemäß der genutzten Technologie (wie beispielsweise dem Resource Description Framework RDF [1]) in das Wissenssystem eintragen können. Dazu können Entscheidungsträger sowohl die entsprechenden Beschreibungssprachen als auch Editoren (wie bspw. den Fluent Editor [2] oder Protégé [4] für RDF) nutzen. Diese Ansätze sind jedoch darauf ausgelegt, Wissen unabhängig von der konkreten Domäne des Entscheidungsträgers zu erfassen, was die Komplexität der Sprachen bzw. Tools erhöht und die Benutzerfreundlichkeit meist einschränkt.

 

In der Regel ist es möglich, die Datentypen des in einem Wissenssystems abzulegenden Wissens durch eine Ontologie zu beschreiben (für RDF siehe Web Ontology Language OWL [4]). Im Rahmen der Bachelorarbeit soll evaluiert werden, ob unter Zuhilfenahme einer Ontologie automatisch ein domänenspezifisches Wissenssystem inklusive grafischer Benutzer-oberfläche generiert werden kann, mit dem Entscheidungsträger bei der Wissenserfassung produktiver arbeiten können.

 

Aufgabenbeschreibung

Ziel der Bachelorarbeit ist es, zu evaluieren, ob die Generierung einer Web Applikation (Front- und Backend) zur Erfassung und Persistenz von durch eine Ontologie beschriebenem Wissen zum einen technisch möglich ist und zum anderen die Produktivität bzw. das Anwendererlebnis von Entscheidungsträgern und Domänenexperten bei der Wissenserfassung verbessert. Dazu müssen insbesondere folgende Aufgaben bearbeitet werden:

•    Grundlegende Einarbeitung in Wissenssysteme, Ontologien, Usability Metriken [5], etc.
•    Zusammentragen von verwandten Arbeiten (bspw. [6-9]) und Erhebung von Anforderungen basierend darauf
•    Entwicklung eines Konzepts zur Generierung von Wissenssystemen (Front- und Backend) basierend auf einer Ontologie
•    Prototypische Implementierung & Evaluation des Ansatzes gegenüber den zuvor genannten „General-Purpose-Editoren“

 

Referenzen

[1]: www.w3.org/RDF/

[2]: www.cognitum.eu/semantics/FluentEditor/

[3]: protege.stanford.edu

[4]: www.w3.org/OWL/

[5]: www.researchgate.net/publication/220635983_Usability_measurement_and_metrics_A_consolidated_model

[6]: www.researchgate.net/publication/221565287_Ontology-based_Editor_for_Metadata_Documents

[7]: oro.open.ac.uk/29124/

[8]: link.springer.com/chapter/10.1007/978-3-642-28062-7_3

[9]: ceur-ws.org/Vol-1268/paper2.pdf

Masterarbeit: Online Filterung basierend auf der Reisezeit mit verschiedenen Transportmitteln

Motivation

Im Projekt OWL.Kultur-Plattform (https://www.sicp.de/projekte/owlkultur-plattform/) wird unter anderem eine Webseite zur Darstellung der Veranstaltungen im Raum Ostwestfalen-Lippe implementiert. Aktuelle Implementierungen auf anderen Webseiten (wie z. B. Ebay Kleinanzeigen) benutzen die Postleitzahl und Fluglinie, um Angebote zu filtern. Ziel dieser Arbeit ist es einen Filtermechanismus zu implementieren, der eine Filterung nach Reisezeit mit verschiedenen Transportmitteln 
(ÖPNV, Auto, Fahrrad, Fuß) realisiert. Herausforderung hierbei ist die Notwendigkeit, dass von jedem Punkt (Nutzerposition) in kurzer Zeit (ca.  <500ms) ein Ergebnis zur Verfügung gestellt werden muss. Dies ist nicht möglich, wenn man von der Nutzerposition die Reisezeit zu jeder Veranstaltung komplett online berechnet. Daher müssen im Rahmen dieser Arbeit entsprechende Datenstrukturen und Vorberechnungen für die verschiedenen Transportmittel konzipiert und implementiert werden.


Voraussetzung

  • Erfolgreich bestandene Vorlesung Computational Geometry bzw. Algorithms for Highly Complex Virtual Scenes /Algorithmen in der Computergrafik oder ähnliche Veranstaltung
  • Wünschenswert sind Erfahrung in C#, .NET Core, Angular, Typescript

Aufgabenbeschreibung

  • Literaturrecherche bzgl. Reisezeitberechnung
  • Einarbeitung in / Reverse Engineering von Mapnificient für ÖPNV (https://github.com/mapnificent/mapnificent) und/oder Itinero für Fuß / Fahrrad / Auto / ÖPNV / Intermodal (https://www.itinero.tech/) o.ä.
  • Konzept für Vorberechnung und Datenstruktur zur effizienten Filterung
  • Implementierung eines Proof of Concepts
  • Laufzeit-/Performance Analyse (analytisch und/oder empirisch)

Contact

Simon Oberthür

 

Download Topic

Masterarbeit: Design and Implementation of a User Interface for Model Integration

Contact: Nils Weidmann

Motivation: Consistency management is an important subdomain of Model-Driven Engineering (MDE). It involves several operations, such as (unidirectional) model transformation, model synchronization and consistency checking. While all these operations are supported by MDE tools in a sophisticated manner, model integration, i.e., propagating concurrent updates of multiple models to restore consistency, lacks appropriate tool support up to now.

In a collaborative scenario of various domain experts working simultaneously on their respective models, it would be helpful to see which changes (creation and deletion of elements, changed attribute values) were applied after restoring consistency for the last time, trigger the model integration process, and to see how (possibly conflicting) changes were propagated to the respective other models.

Tasks:

- design and implement a suitable visualization of changes (create and delete deltas)

- trigger the (already implemented) model integration process in a configurable manner

- present deviations from the desired solution to the user

- provide suitable resolution strategies for remaining conflicts

Preconditions:

Successful participation in at least one of the courses:

    Bachelor Lecture: Model-Based Software Development

    Master Lecture: Model-Driven Software Development

    Master Lecture: Fundamentals of Model-Driven Engineering

    Seminar: Advanced Model-Based Techniques

    Seminar: Maintaining Consistency in Model-Driven Engineering

    Project Group: VICToRy

Masterarbeit: Quality Assurance in Software Ecosystems using Reference Architectures

Contact: Bahar Schwichtenberg

Ausschreibung

Masterarbeit: Feasibility of Using Micro-Frontends for Liquid Applications

Bearbeiter: Ahmed Ben Taher

Contact: Dennis Wolters

Masterarbeit: Platform-Independent Modelling of Cross-Device Applications

Bearbeiter: Philipp Giakoupian

Contact: Dennis Wolters

Masterarbeit: Run-time state migration between applications serving the same purpose

Bearbeiter: Saman Soltani

Contact: Dennis Wolters

Masterarbeit: Business Knowledge Repositories for Decision Making

Kontakt: Prof. Dr. Gregor Engels

Ausschreibung

Die Universität der Informationsgesellschaft