A Study of Formalizations of User Influence in Actional Modelстатья