W3C WS Choreography WG conference call Minutes

*** Agenda ***
http://lists.w3.org/Archives/Member/member-ws-chor/2004May/att-0002/Agenda20040504-1.txt

*** Role Call ***
Martin Chapman		Oracle Corporation
Steve Ross-Talbot	Enigmatec Corporation
Carine Bournez		W3C Staff
Yves Lafon		W3C Staff

Greg Ritzinger		Novell
Nickolas Kavantzas	Oracle Corporation
Anthony Fletcher	Choreology Ltd
David Burdett		Commerce One
Monica Martin		Sun Microsystems, Inc.
Assaf Arkin		Intalio Inc.
Ivana Trickovic		SAP AG
Daniel Austin		Sun Microsystems, Inc.
Charlton Barreto	webMethods, Inc.

*** Appointment of Scribe ***
Greg offered to scribe.

*** Minutes ***
minutes 20th april at http://lists.w3.org/Archives/Member/member-ws-chor/2004Apr/att-0012/MeetingMinutes20040420-0.txt
minutes of 20/04/2004 approved

*** Action Item Review ***
ACTION: Yves to publish the html of WD of CDL. (0420) Done
ACTION: Greg to code up use case (from Requirements document) in CDL. IN PROGRESS  (0301, 0309, 0316, 0323, 0407, 0413, 0420, 0504) 
ACTION: Code banana calculus examples in CDL. IN PROGRESS  (0316, 0323, 0407,0413, 0420, 0504)
ACTION: Steve, Nick and Greg to list the resolutions made at the face-to-face and the issues in Bugzilla that this version resolves (but may be none as the changes are mainly editorial in nature). IN PROGRESS  (0407, 0413, 0420, 0504)
ACTION: Steve and Nick made a list the resolutions and post in Bugzilla IN PROGRESS (0407, 0413, 0420) DELETED
ACTION: Daniel to come up with the requirements in determinng the equivalence of WSDL files? IN PROGRESS (0413, 0420, 0504)
ACTION: David and Steve going to coordinate on the abstract/concrete issues and bring new evidence based (or not as the case may be). IN PROGRESS (0413, 0420) REMOVED
ACTION: Steve to send the FIX protocol documents,links etc. (0413, 0420, 0504)
ACTION: Abbie, Greg and Monica will get back to the group about hosting Sep/Oct F2F. IN (0413, 0420) Novell, NYC (if still available)
ACTION: on Yves to change the time for the conf-call. (0420) Done
ACTION: Chairs to Put Transactions discussion on F2F agenda (0420) Done

Yves note that adopting this was in december last year
Yves notes also that members in good standing may complain, not the others

Ivana - had questions on how 1st public editors draft was adopted (proceedure). Expects that chairs inform all group members so that all can prepare comments/opinions.
Ivana - What is the proceedure?
Yves notes also that the text in the status says that it migh not represent the consensus of the group
Jeff noted that SAP was represented at Cannes F2F
W3C Process http://www.w3.org/2004/02/Process-20040205/
Jeff - W3C process document describes the procedure.
Also http://www.w3.org/2004/02/Process-20040205/process.html#good-standing
caribou suggests that all WG members read the minimum part of the process document

*** Q&A on WD ***
Question: Section 2.4.8.1 Exception Block.  How is the guard in an Exception Block work unit related to the non-exceptional work units in the enclosing choreography?  Are they always the same? Are they always non-overlapping? Are they unrelated? Is it user defined? What is the consequence of un-restriction?
SRT - there are some model checking issues here

Question: Lines 1094-1099: What if there are no matches for an guarded work unit in an exception block?
What is the exception path if there are no matches?
David - have a "catch-all" block
SRT - is this the default?
David - no

Question:Line 1177: Activity-Notation+ This allows 1 or more not two or more.
Nick - should be 2 or more
Nick - is this just a notational question?
SRT - just a notational question

Question: Lines 1211-1212: Is it possible to model a one way receive?
Nick - there is no one-way sending, interaction is really a pair.

Question: Lines 1271-1283: Does this mean that some higher order messaging protocols allow states in the CDL to be inferred rather than captured explicitly? (i.e.  if I know that when I send a message from A to B that B gets the message then I can infer something about the state of B relative to the receiving of that message.)
Nick - cannot assure participant read the message
Nick - or understands it.
David - there is an editorial problem with underlining defaults in XML CDL

Question: Lines 1583-1596: Not sure why you use the terms "this" and "free" and what they might mean? Is it to indicate that the fromRole is the "this" and the toRole is "free based on being the initiator (i.e. Directionality?)
Nick - these terms needs editorial clarification
SRT - my understanding is: *this* alias *free*, *free* is not bound so *this* is unbound because it points to *free*
Tony - examples discussed should be present in the CDL primer

NEW ACTION: SRT - will send all Q&A notes to the editors

F2F Agenda
SRT - if there a proposal that could be made about language level "stuff", then that could be added to the F2F agenda.
SRT - FIX protocol representatives will attend the F2F as observers
Correction r/FIX/TWIST
SRT - also FPML
Yves remembers that last time we were able to get on irc somehow
caribou there's an irc cgi on w3 website http://www.w3.org/2001/01/cgi-irc
Tony - suggests providing time to develop slides to aid presentation of the CDL.
SRT - I would like two major use cases. Perhaps the cancellation pattern and order placement in fixprotocol would be one. Maybe the TWIST and fpML guys could come up with one too.
Nick - raises dependencies between WS-CDL and other specifications. For example WSDL2.0 vs WSDL1.1. There may well be others related to other standards. So we need to resolve what our dependencies really are.
SRT - would like to put that at back of agenda, feels examples are more important and could possibly raise issues regarding the above.
Nick - dependency map is equally important
Nick - interface inheritance (as is in WSDL2.0) may be important for WS-CDL

*** AOB ***

*** MEETING CLOSED ***

*** Summary of Open Actions ***
NEW ACTION: SRT - will send all Q&A notes to the editors
ACTION: Greg to code up use case (from Requirements document) in CDL. IN PROGRESS  (0301, 0309, 0316, 0323, 0407, 0413, 0420, 0504) 
ACTION: Code banana calculus examples in CDL. IN PROGRESS  (0316, 0323, 0407,0413, 0420, 0504)
ACTION: Steve, Nick and Greg to list the resolutions made at the face-to-face and the issues in Bugzilla that this version resolves (but may be none as the changes are mainly editorial in nature). IN PROGRESS  (0407, 0413, 0420, 0504)
ACTION: Daniel to come up with the requirements in determinng the equivalence of WSDL files? IN PROGRESS (0413, 0420, 0504)
ACTION: Steve to send the FIX protocol documents,links etc. (0413, 0420, 0504)
ACTION: Abbie, Greg and Monica will get back to the group about hosting Sep/Oct F2F. IN (0413, 0420) Novell, NYC (if still available)