Detection and resolution of atomicity violation in service composition