A new work programme has been started, as part of Project Overlord, to support static conformance checking of an ESB against a WS-CDL choreography description.
If you would like to read more about this, and possibly comment on the approach, then please see the main post at: http://www.jboss.com/index.html?module=bb&op=viewtopic&p=4150721#4150721