Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study