Informatisches Kolloquium Wintersemester 2008/2009
Montag, 12. Januar 2009
um 17 Uhr c.t.
Vogt-Kölln-Straße 30
Konrad-Zuse-Hörsaal
Gebäude B
Verhalten von Web-Services — Behavior of (Web) Services
Prof. Dr. Karsten Wolf
Uni Rostock
Services sollen mit lose gekoppelten Umgebungen interagieren. Korrekte Interaktion beinhaltet mindestens die folgenden Aspekte:
- Syntax:
- Wie sieht eine ausgetauschte Nachricht aus?
- Semantik:
- Was bedeutet eine ausgetauschte Nachricht?
- Verhalten:
- Wann (in welcher Reihenfolge) werden Nachrichten versandt?
- Nichtfunktionale Aspekte:
- Wie geht der Nachrichtenaustausch an sich vor sich?
Ich stelle Resultate zu Verhaltensaspekten von Services vor. Zunächst beschreibe ich grundlegende Techniken zur Verifikation, Synthese und Charakterisierung von Services und ihren Partnern. Dann stelle ich eine Reihe von Anwendungen vor, darunter Auswahl, Adaptierung und Austausch von Services.
Services are made for interaction in loosely coupled environments. Proper interaction is related to various aspects including:
- Syntactical aspects:
- How do exchanged items look like, how are they formatted?
- Semantical aspects:
- What do the exchanged items mean?
- Behavioral aspects:
- When (at which point of control, in which order) are items exchanged?
- Nonfunctional aspects:
- How is the exchange procedure organized?
We present results which contribute to the behavioral aspects of service interaction. We introduce base techniques like verification, synthesis, and characterization of partners. We show several applications of these techniques to interesting scenarios including service discovery, service mediation, and service substitution.
Kontakt
Dr. Daniel Moldt
Telefon 2444