Ziel dieser Vorlesung ist es, einen profunden Überblick über existierende Technologien im Bereich Semantic (Web) Services für die Modellierung und Ausführung von Geschäftsprozessen zu geben.

Basiswissen sowie neueste Forschungsergebnisse in Bezug auf Service-orientierte Techniken in den Bereichen Semantic Web und Geschäftsprozesse. - Formale Methoden für (Web) Service-basierte Prozessmodellierung, u.a. BPEL4WS für die Orchestrierung sowie WS-CDL und WSCI für die Choreographie von Prozessen. - Spezifikation und Retrieval (Look-up) von Semantic (Web) Services basierend auf Sprachen wie OWL-S und WSMO.

Vorlesungen:

Preliminary discussion: 26th March 10-12 
Lecture meetings: 
21st May  13-18 
22nd May  13-18 
23rd May  8-14 
24th May  8-14 
Final exam: 27th June 14-17. 

ECTS-Breakdown (Aufwandsschätzung : 75 Stunden)

• Vorbesprechung: 1 Stunde
• Besuch der Vorlesung: 21 Stunden
• Vor-/Nachbereitung der Vorlesungseinheiten, Literatur: 24 Stunden
• Prüfungsvorbereitung: 27.5 Stunden
• Vorlesungsprüfung: 1.5 Stunden

• Basic knowledge as well as recent research findings on service oriented techniques in the context of both the semantic web and the business process area.
• Formal methods for web service process modeling including BPEL4WS for the orchestration as well as WS¿CDL and WSCI for the choreography of processes.
• Description and retrieval of semantic services based on languages like OWL-S and WSMO
• Knowledge about service oriented techniques in Semantic Web and Business Processes
• Knowledge about fo5rmal methods for web service process modeling

XML-Technologies, Semantic Web Basic Knowledge