Jump label

Service navigation

Main navigation

You are here:

Sub navigation

  • Projects+
    • Former Projects

Main content

Former Projects


Bio-jETI is a service platform for interdisciplinary work on biological appliciation domains. It uses the jETI service integration technology for remote tool integration and the jABC framework as a graphical process modeling tool. With Bio-jETI, domain experts, like biologists who are not trained in computer science, can directly define complex service orchestrations as process models and use efficient and complex bioinformatics tools in a simple and intuitive way.


How does one teach a computer to play "Connect Four"? With ConnectIT, strategies for "Connect Four" can be modelled visually and tried out immediately in competitions. The software is defigned for both students that want to learn fundamental concepts of computer science in a playful manner as well as teachers that desire modern and creative teaching tools for computer science classes.

GEAR: Game-based, Easy And Reverse model-checking

GEAR is a model checking tool designed for use with the Java ABC platform or as a standalone tool.


Genesys is a flexible code generation framework for jABC, targeting a variety of platforms like e.g. plain Java, embedded devices (Java Micro Edition, Lego Mindstorms), C#, BPEL, etc. Since the code generators in Genesys are themselves built within the jABC in a model-driven way, concepts like bootstrapping and reuse of existing components enable a fast evolution of the code generation library, as well as a high degree of self-application.


jETI: Java Electronic Tool Integration Platform

Users have always wished to combine functionalities of tools belonging to different application domains to solve complex problems a single tool would not be able to tackle. Programming integration and execution of new tools should become possible for non-specialists - also from far-away servers. With jETI, the Electronic Tool Integration Platform, this vision comes true.


jMoSeL is a tool-set for the analysis and verification in monadic second-order logic (M2L). It is designed to include a flexible set of decision procedures for several theories of the logic. The main distinguishing features of jMoSeL are its layered approach to the logic, based on a formal semantics for a minimal subset, its modular design and its integration in jABC, a heterogeneous analysis and verification environment, and in jETI, a tool integration platform that allows its remote execution. jMoSeL is currently under development, as a plugin to jABC.

MaTRICS: Management Tool for Remote Intelligent Configuration of Systems

ViDoC: Visuelles Design optimierender Compiler

Designing optimizing compilers is a challenging task that involves numerous mutually interdependent transformations. Often, these interdependencies are only captured in an ad-hoc manner, relying on the ingenuity and experience of the compiler engineers. ViDoC is a tool-kit for the specification-driven, interactive development of program optimizers in a service oriented way. In particular, ViDoC facilitates the specification of dependencies between transformations in terms of modal logic properties and requirements. These specifications can be used for checking, as well as synthesizing, suitable optimization sequences , which are expressed in terms of a workflow (graph) model. ViDoC also offers various kinds of visual support, like the display of flow graphs, call graphs and analysis information, and the visualization and even manipulation of the graphs expressing the optimization workflows. These features make ViDoC especially appropriate for rapid prototyping. ViDoC is constructed on top of the Soot infrastructure project, that targets the manipulation of Java byte code and offers powerful engines for realizing the specified analyzes and transformations. The visualization and workflow handling are designed according to the paradigm of Lightweight Process Coordination, realized in the jABC environment.