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

This work is about interactions among computees of a society, using a computational logic-based approach. Computees are abstractions of the entities that populate global and open computing environments. The society defines the allowed interaction protocols, which on their turn are defined by means of social integrity constraints. Using social integrity constraints, it is possible to give a formal definition of concepts such as violation, fulfillment, and social expectation. This allows for the automatic verification of the social behaviour of computees. In order to explain the ideas, we adopt as a running example a resource exchange scenario.