Termine unter: http://www.informatik.uni-hamburg.de/Info/Kolloquium/
_____________________________________________________________
* *
*Verhalten von Web-Services - Behavior of (Web) Services*
_____________________________________________________________
* *
Prof. Dr. Karsten Wolf
Montag, 12. Januar 2009
um 17 Uhr c.t.
Vogt-Kölln-Straße 30
Konrad-Zuse-Hörsaal
Gebäude B
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, Tel. 42883-2247
---------------------------------------------------------------
Informatisches Kolloquium Hamburg
Department Informatik
Vogt-Kölln-Straße 30
22527 Hamburg
http://www.informatik.uni-hamburg.de/Info/Campus/Informatik.gif
Tel. +49 40 42883 2401
_______________________________________________
Kolloquium mailing list
Kolloquium@mailhost.informatik.uni-hamburg.de
https://mailhost.informatik.uni-hamburg.de/mailman/listinfo/kolloquium
_______________________________________________
Hiforum-verteiler mailing list
Hiforum-verteiler@informatik.uni-hamburg.de
https://mailhost.informatik.uni-hamburg.de/mailman/listinfo/hiforum-verteiler