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.