On the equilibrium of owner/component system

The paper presents an analysis of the owner/component relationships. The same component may be shared by several owners thus causing their vulnerability since state changes in one owner may break the invariant of other. In order to avoid such situations we introduce the equilibrium predicate that describes all states that an owner can occupy without breaking invariants of other ones. Based on equilibrium predicates we analyze the correctness of the owner-component classes system, their mutual contracts and equilibriums.