We describe a formalism underlying the renormalization procedure and
Batalin-Vilkoviski formalism. In the framework of this formalism, we give a
mathematical definition of OPE-algebra and describe an additional natural
structure which produces a *-Lie algebra structure on the (cohomologically
shifted) D-module of observables, whence an $L_\infty$ algebra structure on the
space of global sections of the de Rham complex of this D-module. Given a
Maurer-Cartan element in this $L_\infty$ algebra, we construct a deformation of
the OPE-algebra, which is exactly the desired renormalization.