Spezifikations- und Selektionsmethoden für Daten und Dienste

Seminar im WS2005/06
am IPD, Lehrstuhl Prof. Böhm


Veranstalter
Institut für Programmstrukturen und Datenorganisation, Lehrstuhl Prof. Böhm
Universität Karlsruhe

Homepage: 
http://www.ipd.uni-karlsruhe.de/~oosem/S2D2

Betreuer:

Anmeldung:
Bis zum 24.10.2005 per Mail an muelle[at]ipd.uni-karlsruhe.de. Bis zu 12 Themen können vergeben werden.

Vorbesprechung und Themenvergabe:
Dienstag, 25.10.2005, 13:15 Uhr, Seminarraum 348, Geb. 50.34.Die Vorträge finden an 3-4 Terminen im neuen Jahr statt; diese werden wir bei der Vorbesprechung mit den Teilnehmern abklären. Termin ist Dienstags (siehe Liste unten), 14:00 Uhr, SR 348, Geb. 50.34

Inhalt:

In offenen verteilten Informationssystemen ist der Umgang mit heterogenen Daten und Diensten eine besondere Herausforderung. Beispiele solcher Informationssysteme sind webbasierte Informationssysteme, Information-Retrieval-Systeme, dienstorientierte Architekturen und Geschäftsprozesse bis hin zu Systemen mit modellbasierter Architektur. Die Offenheit spiegelt sich darin wieder, dass Mechanismen und Schnittstellen benötigt werden, um Daten bisher unbekannter Struktur und neue Dienste dynamisch in die Informationssysteme mit einbinden zu können. Hierzu sind flexible Konzepte zur Spezifikation der Daten und Dienste und zur Formulierung von Anfragen in diesen Informationssystemen notwendig.

Im Seminar werden verschiedene neuere Ansätze von Selektions- und Spezifikationsmethoden vorgestellt, die einerseits die Semantik unter-schiedlich gut beschreiben, von Keywords über XML, Aktivitätenbeschreibungen bis hin zu ontologiebasierten Verfahren. Andererseits unterscheiden sie sich in der Mächtigkeit der zu Grunde liegenden Operatoren, von sehr mächtigen Retrievaloperatoren bis hin zu einfachen Selektionen über komplexe semantische Strukturen.

Im Seminar werden Themen aus den folgenden Bereichen behandelt:
- Information-Retrieval-Verfahren und Methoden zur Selektivitätsabschätzung
- Indizierungstechniken im Information Retrieval
- XQuery-Anfragen und Typüberprüfungen
- Semantik von XQuery
- Spezifikationsmethoden für Dienste
- Ablaufspezifikationen im Bereich Web Services (BPEL4WS)
- Semantik von Abläufen (Pi-Kalkül, ASM, FSM, Petri-Netz-basierte Methoden)
- Plattformunabhängige Spezifikation von Funktionalität
- Model-driven Architecture (xUML, OCL)

Material:


Themen:

Thema Bearbeiter Betreuer Termin Dateien
EINFÜHRUNG:
Wie halte ich einen Vortrag?		     29.11.2005 [pdf]
ONTOLOGIEN
1. Ontology Engineering mit OntoClean Mario Herb Michael Klein 20.12.2005 Vortrag: [ppt]
Paper: [pdf]
2. Modellierung von Rollen Andreas Seltenreich Michael Klein 20.12.2005 (entfallen)
INFORMATION RETRIEVAL
3. Verfahren des Information Retrieval Maxim Jochim Guido Sautter 10.01.2006 Vortrag: [ppt]
Paper: [pdf]
4. Methoden zur Selektivitätsabschätzung Matthias Bracht Guido Sautter 10.01.2006 Vortrag: [ppt]
Paper: [pdf]
5. Indizierungstechniken im Information Retrieval Steffen Lang Guido Sautter 10.01.2006 Vortrag: [ppt]
Paper: [pdf]
XQUERY und SERVICES
6. XQuery-Anfragen Markus Mauch Guido Sautter 17.01.2006 Vortrag: [ppt]
Paper: [pdf]
7. XQuery-Semantik Yukari Ishii Guido Sautter 17.01.2006 Vortrag: [pdf]
Paper: [pdf]
8. Semantische Dienstbeschreibung mit WSMO Dominik Weingardt Michael Klein 17.01.2006 Vortrag: [ppt]
Paper: [pdf]
9. Agentenkooperationsschnittstellen Ulrike Abelein Jutta Mülle 17.01.2006 Vortrag: [ppt]
Paper: [pdf]
ABLAUFBESCHREIBUNGEN
10. Semantikbeschreibung von Abläufen mit Petri-Netzen Kristina Jochim Jutta Mülle 24.01.2006 Vortrag: [ppt]
Paper: [pdf]
11. Semantikbeschreibung von Abläufen mit Pi-Kalkül Holger Stenger Jutta Mülle 24.01.2006 Vortrag: [ppt]
Paper: [pdf]
12. Modell-getriebene Ablaufspezifikation Jan Wittmer Jutta Mülle 24.01.2006 Vortrag: [ppt]
Paper: [pdf]

 
 

Scheinerwerb:
Die Seminarteilnehmerin/der Seminarteilnehmer soll sich anhand von im Internet bzw. in gedruckter Form vorliegender Literatur in ein Seminarthema einarbeiten und dieses präsentieren. Im Einzelnen wird erwartet:

  • ein Vortrag (25 + 10 Minuten)

  • die regelmäßige Anwesenheit bei den Vortragsterminen

  • eine schriftliche Ausarbeitung im Umfang von ca. 10-15 Seiten (Springer-Stil)
 

[Betreuung der Webseite: Michael Klein, kleinm[at]ipd.uni-karlsruhe.de]