Composition de services web avec PEWS: Approche par la théorie des traces