ANALYSIS OF INCONSISTENCIES IN PUBLICATIONS OF FUNCTIONAL REQUIREMENTS IN THE FORM OF MATHEMATICAL EXPRESSIONS

Abstract

Functional requirements descriptions are the first descriptions of information systems that are formed during the life cycle of these systems. Therefore, all subsequent delays in the creation of an information system are in one way or another associated with errors made during the publication of functional requirements for the system. One of these delays is the correction of the information system, caused by the need to eliminate the detected duplication of functional requirements. Therefore, there is a constant need to eliminate duplication of individual functions of the information system even at the stage of formation and analysis of functional requirements for this system. The task is complicated by the fact that in a number of cases scenarios for fulfilling functional requirements are mathematical models or expressions. However, the existing functional requirements analysis methods are not intended for the analysis of such publications.

In the course of the study, it was proposed to use an improved method for synthesizing descriptions of architecture options for the information system being created to search for duplicated functional requirements published in the form of mathematical expressions. This method allows to compare knowledge-based models of publications of functional requirements for an information system. To test the efficiency of the method, it was proposed to use the functional requirements for the task "Formation and maintenance of an individual plan for a scientific and pedagogical employee of the department." These requirements contain a number of scenarios for calculating the desired parameters of an individual plan.

The studies carried out have shown that the usual publications of functional requirements in the form of mathematical expressions do not allow identifying situations of duplication of such requirements. The reason for this in the study is proposed to consider excessive detailing of mathematical expressions, which are publications of functional requirements. Recommendations have been developed and experimentally tested to eliminate redundant detailing of functional requirements publications