Experimenting with exception propagation mechanisms in service-oriented architecture