Checking Conformance between Business Processes and Web Service Contract in Service Oriented Applications. - Jenny Bhuiyan; Surya Nepal; John J. Zic (ASWEC, 2006)