jABC. a framework for process modeling


jABC products comprise a collection of plugins, service libraries (SIBs) and example projects assembled to be used within a specific domain of application. Those products usually are part of bigger research projects.

LearnLib Studio

LearnLib is a framework for automata learning and experimentation. Its modular structure allows users to configure their tailored learning scenarios, which exploit specific properties of the envisioned applications. Learning involves a wide range of concerns, from algorithms to system connectors. LearnLib is based on a flexible component model, designed to cover concerns of learning from start to finish.

LearnLib Studio is LearnLib's graphical interface for designing and executing learning setups. A complete learning solution is usually composed of several components, some of which are optional: learning algorithms for various model types, system adapters, query filters and caches, model exporters, statistical probes, abstraction providers, handlers for counterexamples etc..

Many of these components are reusable in nature. LearnLib Studio makes them available as easy-to-use building blocks for the graphical composition of application-fit learning experiments.

A detailed description, downloads and documentation are available at LearnLib.de.


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

Visit the Bio-jETI Project Website for more details and downloads.


In service-oriented/model-based software development, the process designer usually needs to have knowledge about the available services and their dependencies. Large service libraries are therefore difficult to cope with. Discovery techniques, synthesis and planning can be applied to generate service combinations automatically according to higher-level process specifications, but the formulation and formalization of appropriate search queries or process specifications is difficult for users that are not specially trained in IT and formal methods. Similarly, numerous approaches to general program synthesis exist, but also aim more at programmers or specialists in formal specification.

Our loose programming approach addresses this issue by enhancing model-driven software engineering with an intuitive mechanism for loose specification and translation of loose specifications into fully specified processes. PROPHETS is our proof-of-concept implementation of loose programming. With jABC and PROPHETS, process developers are given an experimentation platform that enables them to design their application-specific processes in an intuitive style.

Visit the PROPHETS Project Website for more details and downloads.