An environment for flexible advanced compensations of Web service transactions