
FutureSOC-Symposium 2012 at HPI (June 14/15)
7th Symposium on Future Trends in Service-Oriented Computing
12th Retreat of the HPI Research School
The annual spring retreat of the research school took place on April 20, 2012 at the Hasso Plattner...
HPI Symposium @ SAP
On Dec 6, the research school visited the SAP headquarters for the annual HPI Symposium. Six...
New branch of the HPI Research School in China
On Nov 17, the HPI Research School opened its 3rd branch at Nanjing University in China.
11th Retreat of the HPI Research School
The annual fall retreat of the HPI Research School was held on Oct 20 and 21 at the Seehotel...
Graduate School Workshop at Schloss Dagstuhl
From June 20 until June 22, seven members of the HPI research school will participate in the joint...
FutureSOC-Symposium 2011 at HPI (June 16/17)
On June 16 and 17, the Hasso Plattner Institute welcomed experts from both industry and academia to...
Welcome to Saeedeh Momtazi
Starting April 2011 Dr. Saeedeh Momtazi has joined the HPI Research School on "Service-Oriented...
Joint Workshop in Cape Town
On April 28th and 29th, 2011, members of the research school from both HPI and University of Cape...
Service-oriented Information Integration
Services constitute the building blocks of many of today's application integration scenarios. In many cases they are merely used to overcome technical heterogenities by exposing information through standardized - and most often Web-based - technologies. The semantic integration of these highly distributed, autonomous, and heterogenous information services and the data they provide is a research field of the Information Systems group headed by Prof. Felix Naumann.
Particular research topics include:
Semantic Service Integration
A popular approach addressing the semantic heterogenity of services is to use ontologies, which are formal specifications of semantics for a certain context and which can be considered as highlevel knowledge models. In general variants of first-order logic, such as Description Logics or Logic Programming languages, are employed for the formalization. The appropriate ontological modeling of services is an open research issue.
A central task in service-oriented architectures is to connect a service provider that has advertised a service with a requester that is demanding an equivalent or similar service. The underlying matching of software specifications is a research topic with roots in Hoare logic and a large research corpus on program verification and software component retrieval. Nevertheless, the matching of service specifications on the basis of ontologies promises more feasibility and automation due to the abstraction aspect that is inherent to both services and ontologies.


