Compliance checking between business processes and business contracts | IEEE Conference Publication | IEEE Xplore