Projects

A Generic White-Box Testing Framework for Model Transformations

Model transformations are crucial for the success of Model-Driven Engineering (MDE), comparable in role and importance to compilers for programming languages, allowing to transform models between languages and abstraction levels, e.

TheHiddenU – A Social Nexus for Privacy-Assured Personalisation Brokerage

Social networks on the Web have seen enormous growth over the past few years reaching now truly widespread adoption. Since every social network is focused on serving specific human needs, social networkers are present in a number of different networks, leading to scattered social content.

Mandantenfähiges ERP System in der Cloud: Ein modellgetriebener Ansatz auf Basis der Resource-Event-Agent Ontologie

Cloud Computing führte in den letzten fünf Jahren zu einem Paradigmenwechsel in der IT-Branche. Über die Cloud werden Rechenkapazität, Datenspeicher, Netzwerkkapazitäten oder auch fertige Software zur Verfügung gestellt. In diesem Projekt adressieren wir die letztere Variante von cloud-basierten Lösungen, welche auch als Software-as-a-Service (SaaS) bekannt ist.

Rail track gauging Austrian Federal Railways

The project SWITCH09 aims at capturing the processes of rail track gauging at the Austrian Federal Railways in a formalized manner. The captured process model facilitates the communication of existing processes between different departments and may be used to detect bottle-necks in the current process flow.

Feasibility Study: ERP System Based on the Resource-Event-Agent (REA) Ontology

Term 01.11.2012 - 30.04.2013

Public Private Interoperability

The research studio Public Private Interoperability (PPI) develops methods and tools targeting the inter-organizational integration of enterprises and organizations of the public sector. Service-oriented architectures and their implementation by Web Services are the current state-of-the-art technologies for this kind of integration problems.

Model Execution based on fUML

In model-driven development models are considered as the key artifacts and, as a result, the success of the whole development process relies on these models and their quality. Consequently, there is an urgent need for adequate methods to ensure high quality of models.

Multi-Paradigm Modelling for Cyber-Physical Systems

Truly complex, designed systems, known as Cyber Physical Systems (CPS), are emerging that integrate physical, software, and network aspects. To date, no unifying theory nor systematic design methods, techniques and tools exist for such systems.

A Semantic Infrastructure for Model-based Tool Integration

With the rise of model-driven software development, more and more development tasks are being performed on models. A rich variety of modeling tools is available supporting different tasks, such as model creation, model simulation, model checking, and code generation.

Metainformation im modellbasierten Variantenmanagement

Das Forschungsvorhaben umfasst eine Konzeptentwicklung, sowie die Leistung von Vorabeiten für ein prototypisches Entwicklungsvorhaben, mit dem Ziel technologische und ökonomische Aspekte im modellbasierten Variantenmanagement aufzuzeigen. Dabei sollen neben dem modellbasierten Variantenmanagement auch die Validierung von Varianten und die Annotation von Metainformationen (Gewicht, Stromverbrauch, Kosten) in Modellvarianten untersucht, sowie erste Ideen für eine technologische Umsetzung des erkannten Potenzials skizziert werden.