A Model for Checking Contractual Compliance of Business Interactions · Study