Semantic Integration of Heterogenous Processes

Semantic Integration of Heterogenous Processes

  • Duration:
  • Research Topics
  • Application fields

SHIP aims at utilizing, extending, and adapting semantic modelling, analysis and verification technologies to design, simulate, implement and adapt reliable distributed heterogeneous processes.

With the increasing possibilities of connecting existing systems over networks, it becomes desirable to combine separate devices, components and sensors to one coherent, intelligent and complete system solution. SHIP allows to combine previously separate systems in a uniform way, to orchestrate and synchronize their cooperation.

The key concept of SHIP is a semantic model which brings together the data of the physical environment and the separate devices to be integrate, such that new facts can be derived from this collection. Complex behaviour can be described in monitors, which can recognize erroneous behaviour of a device or can control devices in accordance with the situation.


  1. The SHIPtool is a prototypical implementation of our concepts.
  2. During the projects several application scenarios have been studied. One was presented at CeBIT 2013, and demonstrates the orchestration of services in an instrumented living environment, the Bremen Ambient Assisted Living Lab.
  3. A second application is concerned with recommendation conformant patient treamtment, and is being developed in the course of the SIMPLE project.
  4. Another application is the SmartTies system for the management of the documents arising during the development of safety-critical software. SmartTies is based on the DocTIP system.


BMBF - Federal Ministry of Education and Research


BMBF - Federal Ministry of Education and Research

Share project:

Contact Person



Interactive 3D-model of the BAALL

SmartTies Document Management

Publications about the project

Serge Autexier, Dieter Hutter

In: Moreno Falaschi (editor). 25. International Symposium on Logic-Based Program Synthesis and Transformation. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR-2015) July 13-15 Siena Italy Pages 313-330 Lecture Notes in Computer Science, (LNCS) 9527 Springer-Verlag 11/2015.

To the publication
Serge Autexier, Bernd Krieg-Brückner,

In: Rocco De Nicola, Rolf Hennicker (editor). Software, Services and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Emeritation. Pages 355-376 Lecture Notes in Computer Science (LNCS) 8950 Springer International Publishing Switzerland 2015.

To the publication
Serge Autexier, Dieter Hutter

Abschlußbericht BMBF BMBF DFKI Final Reports (FR) noch nicht bestimmt. 5/2014.

To the publication
All publications

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz