W3C home > Mailing lists > Public > public-ws-chor@w3.org > September 2004

Requirements and critical success factors

From: Steve Ross-Talbot <steve@enigmatec.net>
Date: Wed, 29 Sep 2004 18:39:16 +0100
Message-Id: <7C2FE7D3-123E-11D9-8085-000393D13C9A@enigmatec.net>
To: WS-Choreography List <public-ws-chor@w3.org>

These are the ones that I feel are important and yet we have not fully 
addressed them.


  A CDL MUST enable changes to bindings at run time to allow dynamic 


  A CDL MUST enable validation of choreography definition for 
correctness properties, including: livelock, deadlock and leak freedom.


  A CDL MUST enable the specification of QoS properties

4.2.7 C-CSF-007

To be successful a CDL description MUST be verifiable at runtime.

4.2.8 C-CSF-008

To be successful a CDL description MUST enable static verification of 
correctness properties.

To be successful a CDL MUST be able to capture interactions between 
participants with different policy requirements.

4.2.16 C-CSF-016

To be successful a CDL MUST be consistent with the emerging Semantic 
Received on Wednesday, 29 September 2004 17:39:34 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:01:05 UTC