Minutes WS Choreography WG conference call 4 April 2006
IRC log: http://www.w3.org/2006/04/04-ws-chor-irc
Attendees:Steve Ross-Talbot, Martin Chapman, Gary Brown, Charlton Barreto, Monica Martin, Yves Lafon
Agenda:
-----------
http://lists.w3.org/Archives/Public/public-ws-chor/2006Apr/att-0001/Agenda20060404-0.txt
1. Role Call
------------
Monica, Gary, Yves, Steve, Martin, Charlton (by IRC)
Apologies:
None
2. Confirm scribe
-----------------
Gary Brown
3. Agenda Changes
-----------------
None
4. Minutes of last meeting
---------------------------
14th Feb 2006
http://lists.w3.org/Archives/Member/member-ws-chor/2006Feb/att-0006/minutes_20060214_-_0.txt
Minutes - PASSED
5. Action item review
---------------------
1. ACTION: Provide examples in primer for issue 1503 of how to use lists/arrays - bounded and unbounded
IN PROGRESS
2. ACTION: Add text in primer to explain interaction lifecycle, and that exchanges are only guaranteed
if align=true,
IN PROGRESS
3. ACTION: Add pitfalls sub-section in Advanced Topics section, and include the distributed choice problem
DONE
4. ACTION: SRT to request CG to ask relevant group to provide example of using semantics in CDL
DONE
5. ACTION: SRT Describe Connectedness/Strong Connectedness design patterns in CDL
IN PROGRESS
6. ACTION: Redraft Sections 1, Sections 2, and part of Section 3 for a more natural flow in the text
IN PROGRESS
7. ACTION: MC to add gary's issues from his slides into bugzilla
IN PROGRESS
6. Primer status
-----------------
Updated version - to follow
http://www.w3.org/2002/ws/chor/edcopies/primer/primer.html
Gary's response:
http://lists.w3.org/Archives/Public/public-ws-chor/2006Feb/0001.html
SRT: Do changes need to be traced back to bugzilla
MC: May need to be - will look at entries in bugzilla
Yves: Primer is to be found at:
http://www.w3.org/2002/ws/chor/edcopies/primer/primer.html
SRT: Summarises changes to primer
SRT: Reverse engineered ws-cdl schema for diagram in primer
SRT: Section 4 has been re-written
SRT: Examples build up - simple initially, then introducing timeouts, then other participants
(with no channel passing)
SRT: Next example introduces dependent workunit
SRT: Final diagram in section shows channel passing- but needs more work and annotations
SRT: 4.1.1 Variables - think this section is complete
SRT: Some work to be done on ws-cdl fragment 4.1.2 (workunits)
SRT: Dealt with most of Gary's and Greg's comments - not dealt with Monica's or Charlton's yet
SRT: Section 4 to 4.1.2.1 needs to be reviewed by group
SRT: Asks for review of :
2.3 The Structure of WS-CDL
4 Intermediate Topics
4.1 The Intermediate Example
4.1.1 Variables
4.1.2 Workunits
4.1.2.1 Repetition
MC: Sometime we need to do a walkthrough, where style can be handled
SRT: Sections needing to be done: 2.1 and 2.2, sections 5 and 6
SRT: Any other issues about primer?
7. Examples repository
----------------------
MC to check with Charlton on status
CB: I'm finishing up on examples
8. Formal semantics status
--------------------------
On target
SRT: Kohei responded back to group
Yves: as soon as he receives the doc from Kohei will produce a HTML working note
9. Implementations status
--------------------------
1. Pi4 Tech
2. Imperial - are willing and able to do an implementation
3. TrustCom
4. Others ....
GB: no more news - still to implement coordination and alignment
NEW ACTION: SRT To setup meeting with Howard Foster about 2nd impl
10. Talks and papers
-------------------
SRT: Number of academic papers on WS-CDL is going up
SRT: when doing google search
Yaron's blog mentioning Choreography http://www.goland.org/soal/
12th May - Cambridge Seminar Steve and Kohei
CB: I'll be giving a talk at WWW2006 in May
CB: talk at the TP06 went quite well - have a number of interested parties following up on pi-calc
CB: I made a couple mods (to head off the usual diversions) to compare pi-calc with other formal
methods, describe a little more of the benefits pi-calc provided, etc
11. AOB
----------
NONE
12. Next Call
-----------
11th April 2006
SUMMARY OF ACTION ITEMS
------------------------
1. ACTION: Provide examples in primer for issue 1503 of how to use lists/arrays - bounded and unbounded
IN PROGRESS
2. ACTION: Add text in primer to explain interaction lifecycle, and that exchanges are only guaranteed if align=true,
IN PROGRESS
3. ACTION: SRT Describe Connectedness/Strong Connectedness design patterns in CDL
IN PROGRESS
4. ACTION: Redraft Sections 1, Sections 2, and part of Section 3 for a more natural flow in the text
IN PROGRESS
5. ACTION: MC to add gary's issues from his slides into bugzilla
IN PROGRESS
6. NEW ACTION: SRT To setup meeting with Howard Foster about 2nd impl