Winter Term 2012/13

We present different topics of our research every Wednesday at 11:30 am in room 305, Obermarkt 17. Please feel free to contact us!

20.02.2013 Abhishek Awasthi "Messaging Endpoints"

contact: aawasthi(at)

Message Endpoints are responsible for connecting various messaging components to channels. In this presentation we saw different Messaging Patterns used by message senders and receivers so as to integrate their applications via the Messaging Channel. It was shown that sending messages is quite straightforward where as receiving messages is a bit more complicated. The main reason is that there are two types of consumers: Polling Consumers and Event Driven Consumers. Apart from this we presented several Messaging Endpoint patterns.

13.02.2013 EAD Group "Discussion about Enterprise Application Integration Patterns"

contact: ead-group(at)

A series of talks by different group members covers a broad range of Enterprise Application Integration pattern, based on Gregor Hohpe and Bobby Woolf ( First different messaging channels including the message construction are introduced. We also focus on routing systems and the corresponding message transformations. Finally patterns for messaging endpoints and for system management are presented.

30.01.2013 Markus Ullrich "Open-Source Enterprise Service Bus (ESB) systems and Enterprise Application Integration (EAI) "

contact: m.ullrich(at)

The talk covers several Open-Source Enterprise Service Bus (ESB) systems and how these systems can be used for Enterprise Application Integration (EAI). After a short introduction to Enterprise Integration Patterns (EIPs) based on Gregor Hohpe and Bobby Woolf ( we focus on their benefit for EAI. The first testimonials is the FUSE IDE ( as an exemplary tool which supports the "Open Source EAI" with Apache Camel ( Camel is an integration framework with support for message routing, transformation, monitoring, orchestration, and so forth. Stand-alone it is not an ESB system and thus has to be deployed in a container like OpenESB ( or the Apache ServiceMix (

23.01.2013 Waheed Aslam Ghumman "Open source ESB solutions and Membrane SOA"

contact: w.ghumman(at)

Large IT organizations increasingly face the challenge of integrating various web services, applications, and other technologies into a single network. The solution to finding a meaningful large-scale architecture that is capable of spanning a global enterprise appears to have been met in ESB, or Enterprise Service Bus. An enterprise service bus is a software architecture model used for designing and implementing the interaction and communication between mutually interacting software applications in service-oriented architecture (SOA). As a software architecture model for distributed computing it is a specialty variant of the more general client server software architecture model and promotes agility and flexibility with regards to communication and interaction between applications. In this talk, an overview of comparison among different opensource ESB softwares is presented with respect to their features and licensing. Specifically, a brief overview of different features of Membrane SOA is presented with practical demonstration of simple test services. Membrane SOA offers light-weight tools (Membrane ESB, Monitor, SOA Model, SOA Registry and SOAP Client) that help to run a successful and agile SOA.

12.12.2012 Steffen Lehmann "Runtime Optimization for the Compilation of Reports with Vector-based Diagrams"

contact: sistlehm(at)

28.11.2012 Nico Dittmann "A Practical Introduction into GPGPU-Programming"

contact: nico.dittmann(at)

General Purpose computing on the GPU has been a vivid field of reasearch over the last few years. Although this technology is today havily used for graphics, image and video processing there are also already applications beyond that in order to use the power of GPU’s for the parallelization and speedup of other calculations and algorithms. Also in high performance computing (HPC) GPGPU computing has become increasingly important. The talk gives an overview and practical introduction to this field and shows different examples and techniques of implementing and running code on GPUs.

14.11.2012 Marcus Waschke "Planning of Resources for a Vehicle Fleet with a Scheduling Tool"

contact: marcus.waschke(at)

The use of vehicle fleets causes costs. For this reason an efficient use of the resources is required. This includes scheduling of optimal routes and the planning of resources. While the scheduling of tours is already supported by software, planning over several days is often not supported. We define an equivalent planning problem, discuss different solution strategies and evaluate them with runtime tests..

07.11.2012 Waheed Ghumman "Formal Verification and Model Checking"

contact: w.ghumman(at)

Formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. One approach is model checking, which consists of a systematically exhaustive exploration of the mathematical model, i.e., exploring all states and transitions in the model, by using smart and domain-specific abstraction techniques to consider whole groups of states in a single operation and reduce computing time. The properties to be verified are often described in temporal logics, such as linear temporal logic (LTL). Another approach is deductive verification. It consists of generating from the system and its specifications (and possibly other annotations) a collection of mathematical proof obligations, the truth of which imply conformance of the system to its specification, and discharging these obligations using either interactive theorem provers.

24.10.2012 Max Wielsch and Raik Bieniek "Sample Collector - a Mobile Application for Laboratory Information Systems"

contact: max.wielsch(at) (Max Wielsch) and sirabien(at) (Raik Bieniek)

The special problem for biologists of collecting (soil) samples is considered. A system architecture containing also a mobile application is developed. We handle typical issues applying in such a case, e.g. requirements engineering, the design of a mobile application, evaluation and usage of technologies and connection to other services. We finally demonstrate a prototypical implementation of the solution.

10.10.2012 Babak Bastan "Finding High-Quality Information in the Social Web"

contact: babakbsn(at)

The dawn of the online social network era has been one of the most exciting developments during last decade. Many popular online social networks such as Twitter and Facebook have even become increasingly popular during the last years - e.g. Facebook just recently hit the billion user threshold. Simply spoken, those networks contain content and linkage data. We investigate and demonstrate how those two types of data can be used to extract high quality information.