Notes of WSMO telephone conference, 19.10.2005, 10:00 a.m - 11:40 a.m.
----------------------------------------------------------------------

Participants:

Jos
Emilia
Martin
Jacek
Matt
Axel
Livia
Titi
Francois
John
Sven

D24.2
 Section 2: Jacek: Draft about Refinement of Mapping until next telephone conference

D14: must still be refined
 Requested changes are implemented

 Section 4:
  Figure 2: Jos should clarify his concerns about Figure 2
            (by e.g. redraw it.)

 Section 3.2:
  3rd item (update(factold => factnew)) must be refined/corrected

 Section 3.3: Detailed example and a rule for each operation should be added

 Listing 9: Precondition at the remark must be checked again

 Appendix A: Formal Semantics of Choreography Interfaces: Redefinition necessary for update

 Axel: update of D14 next week
 
Talks

* Emilia: A compositional framework for service interaction patterns (A. 
Barros and E. Börger).

discussed