Automatic Composition of E-services That Export Their Behavior