Compliance checking between business processes and business contracts