Related Projects

jETI for Bioinformatics
jETI for Formal Methods in Industrial Critical Systems

Logo: jETI - Java Electronic Tool Integration 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.

» Learn more about Bio-jETI.

Logo: FMICS - Formal Methods for Industrial Critical Systems One of the goals of FMICS is to transfer and promote the use formal methods technology in industry. We are setting up a collaborative demonstrator, based on the jETI technology, to provide tools to the Verified Software Repository and to orchestrate different tools.

» Learn more about FMICS-jETI.

Java Application Building Center
Service Centered Continuous Engineering

Logo: jABC - Java Application Building CenterThe JavaABC Framework or jABC is a redevelopment of the Agent Building Center (ABC), which has been developed since early 1993. The new system takes advantage of the enhancements in the field of programming languages and libraries. Based on Java the new JavaABC is a symbiosis of a commercial product and an experimental platform for our students.

» Learn more about jABC.
(External Link)

Logo: SCCE - Service Centered Continuous EngineeringService Engineering generalizes the development of so-called value-added services, the traditional services bridging the gap between technology and end user known from Telecommunication (like Freephone, 0800-Services, or Virtual Private Networks), to the development of more general communication and reactive systems. Fundamental is the notion of Service Logic graph, which allows one to describe services from the user´s/application expert´s point in a formal fashion, ready for automatic translation and deployment on the considered telecommunication infrastructure.

» Learn more about SCCE.

Project Partners

Universität DortmundUniversität PotsdamFraunhofer ISST