Increasingly, global business relies on the exchange of information between web services. It is crucial that these services correctly exchange messages. Currently, unexpected errors are fixed in an ad-hoc manner, like sanitizing the database and restarting the application.