link

November 27, Monday
12:00 – 14:00

Service oriented architectures: Modeling- and Analysis Techniques
Computer Science seminar
Lecturer : Dr. Wolfgang Reisig
Lecturer homepage : http://www2.informatik.hu-berlin.de/Forschung_Lehre/softwaretechnik/mitarbeiter/reisig/index.php
Affiliation : Humboldt-University Berlin
Location : 202/37
Host : Dr. Michael Elkin
The paradigm of Service Oriented Architectures provides a framework for dynamic Business Processes and for the emerging ideas of "programming-in-the-large". This talk addresses fundamental notions of services, in particular their proper termination and their composition, as well as the construction of (most liberal) partners, operating guidelines, (most abstract) substitutes, adapters, etc.

Finally, a feature complete semantics of the WS-BPEL language is glanced, together with techniques to analyze properties of WS-BPEL program