Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes