On the formalization of semiotic modelsстатья