This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
From the June F2F: http://www.w3.org/2002/ws/chor/3/06/JuneF2FMinutes.html transport signals, such as acks/nacks, timeouts etc can make a choreography defintion really hard to read, so should they be modelled.
no requiremnet for them to be explicity modelled.