Binding properties pattern

The binding properties pattern is combining multiple observers to force properties in different objects to be synchronized or coordinated in some way. This pattern was first described as a technique by Victor Porton. This pattern comes under concurrency patterns.

Comparison with aspect-oriented implementation
As an alternative to the aspect-oriented implementation of mutual properties, property binding can be proposed. In LibPropC++ C++ library it is implemented too.

Some weakness in the LibPropC++ (with property binding):
 * 1) Its use is not transparent as it requires to be declared necessary object attributes as properties and appropriate accessor methods must be provided
 * 2) Binding of attributes in LibPropC++ is not designed to replace method calls
 * 3) The library does not maintain an interaction history.

Implementation
There are two types of binding. One-way binding should be applied when one of the properties is read-only. In other cases, two-way binding must be applied.

Infinite loops can be eliminated by blocking the signal, or comparing the assigned value with the property value before assignment, or eliminating unnecessary assignments.

Binding properties of different types can be achieved through type conversions.

Binding properties with transformations can be achieved through reducing the transformation function to the problem of binding properties, and the function can be imaginary consider as Type Conversions.

Resulting context
Properties are being kept synchronized automatically. Between library calls they always have the values expressed by the EqualityConstraints.

Deficiencies
Property changes watching mechanism acquires some resources.

Sample code
Code sketch for one-way binding may look like as follows:

Two-way binding can be expressed as follows (in C++):

Accomplishing the binding (i.e. connecting the property change notification in an event handler) may be like as follows: