Jesús explains how to use a contract first approach with BizTalk Server 2004 - especially using the BPEL4WS standard and BPEL import wizard provided by the product.  Interesting read.