Methods and apparatus, including computer program products, are provided for verifying business objects. In one exemplary aspect, the business object and a predetermined contract defining the business object are received. The received business object is verified based on one or more tests defined by the predetermined contract. Based on the results of the verification of the business object, an indication is provided of whether the business object complies with the predetermined contract.