Tatiana K. Kravchenko - Professor, Head of Department of Business Analytics, National Research University Higher School of Economics
Address: 20, Myasnitskaya Street, Moscow, 101000, Russian Federation
E-mail: tkravchenko@hse.ru

Nikolay I. Golov - Senior Lecturer, Department of Business Analytics, National Research University Higher School of Economics
Address: 20, Myasnitskaya Street, Moscow, 101000, Russian Federation
E-mail: ngolov@hse.ru

Aleksey V. Fomin - Senior Lecturer, Department of Business Analytics, National Research University Higher School of Economics
Address: 20, Myasnitskaya Street, Moscow, 101000, Russian Federation
E-mail: afomin@hse.ru

Aleksey Y. Lipatnikov - Graduate of MSc Program, National Research University Higher School of Economics
Address: 20, Myasnitskaya Street, Moscow, 101000, Russian Federation
E-mail: lipatnikov94@gmail.com

      Developing variants of scenarios for a production enterprise’s achieving a desirable financial position using simulation modeling tools requires a specification and verification of requirements for the simulation model. Availability of such variants of scenarios allows stakeholders to select the most efficient solution. The verification is performed by business analysts and key stakeholders; the aim is to assess readiness of the requirements for final approval and to check that the requirements provide all material information for future work. Verification includes evaluating the requirements regarding their compliance with the company’s business analysis standards, as well as assessment of the model’s completeness and common terminology used for description of the requirements. Understanding the desired solution, which meets all the stakeholders’ requirements, is the most important element in requirements verification. 
      For developing a simulation model, which is essential for determining variants of development scenarios and covers financial flows of a typical production company, a list of verified requirements is determined. Criteria of requirements verification include not only acceptance criteria, but also the Graphical Requirements Analysis framework (GRA framework), that is used for verification of functional requirements. In contrast with other notations, representation of requirements for using the GRA framework allows one to understand their structure and internal logic, as well as to detect emergent effects. The result of determining the verification criteria is the Verification Cross Reference Matrix (VCRM) that includes all the requirements, methods and criteria. In the final stage, we present an example of a diagram for one of the functional requirements.
      The verified requirements should be used at different stages of constructing the simulation model, which is focused on development of scenarios for achieving the production enterprise’s desired future financial position. Modeling scenarios of future development of the types ”what will happen, if…?” and “what to do to achieve the goal?”, using simulation modeling systems allows one to dramatically increase the quality of decision making.