Formal theory model in the form of commutative semigroup of image constructions - O. V. Bisikalo; I. A. Kravchuk; A. A. Kirilenko (Journal of mechanical engineering, 2013)