The seminar aims at providing an overview to choreography and orchestration
languages for Web services and business processes. After a brief
introduction to the Web services background, the choreography problem is
presented. Some approaches from different field are considered.
The talk provides a view of the various languages and standards, with
particular attention to the main proposals (WSCI, BPML/BPMN, BPEL4WS). Some
attempts to give formal semantics are addressed too. The seminar concludes
on the presentation of efforts towards expressive power comparison between
the different languages.