Formalization of the analysis of the functioning and effectiveness of the QMS for the expert system