Wil M. P. van der Aalst Marlon Dumas Chun Ouyang Anne Rozinat H. M. W. Verbeek Choreography Conformance Checking: An Approach based on BPEL and Petri Nets. 2006 The Role of Business Processes in Service Oriented Architectures http://drops.dagstuhl.de/opus/volltexte/2006/830 conf/dagstuhl/2006P6291 db/conf/dagstuhl/P6291.html#AalstDORV06