Foundations of Relational Artifacts VerificationBusiness Process Management