Improving a method to analyze the requirements for an information system for consistency

Authors

DOI:

https://doi.org/10.15587/1729-4061.2020.205518

Keywords:

functional requirement, knowledge-oriented description, analysis of requirements, consistency, frame, information system

Abstract

Modern representations of characteristics of functional requirements virtually have no formalized descriptions. That is why the application of the existing methods for the analysis of requirements faces the problems of formal confirmation or refutation of the fact that a functional requirement has an appropriate characteristic. These problems are particularly pronounced in the analysis of functional requirements for consistency.

To eliminate these problems, the task was set to develop formalized descriptions of the situations of the complete and partial inconsistency of knowledge-oriented descriptions of functional requirements and based on the resulting descriptions, to improve the existing method for analysis of functional requirements for consistency of created or modified information system. The knowledge-oriented frame-based description was used as a formal description of the analyzed functional requirement for an information system. In the course of solving this problem, the formalized descriptions of the situations of complete contradiction and partial inconsistency of descriptions of the frames of analyzed functional requirements were developed. It was shown that the situation of complete contradiction is a particular case of a situation of the partial inconsistency of descriptions of analyzed frames. This result was the basis for the improved method for analysis of separate frames of descriptions of functional requirements for consistency. The improved method makes it possible not only to identify situations of complete contradiction and partial inconsistency of analyzed frames but also to quantify the degree of the identified inconsistency.

The initial and the improved methods were tested during the analysis of the functional requirements of the problem of planning the individual activity of the academic and teaching staff of a higher education institution. Three typical situations that may arise from the analysis of functional requirements for consistency were considered. It was shown that the improved method makes it possible to find more errors in the descriptions of functional requirements

Author Biographies

Nataliya Vasiltcova, Kharkiv National University of Radio Electronics Nauky ave., 14, Kharkiv, Ukraine, 61166

PhD, Associate Professor

Department of Information Control System

Iryna Panforova, Kharkiv National University of Radio Electronics Nauky ave., 14, Kharkiv, Ukraine, 61166

PhD, Associate Professor

Department of Information Control System

Olga Neumyvakina, Kharkiv National University of Radio Electronics Nauky ave., 14, Kharkiv, Ukraine, 61166

PhD, Lead Engineer

Department of Educational and Research

References

  1. A Guide to the Project Management Body of Knowledge (PMBOK® Guide) (2013). Newton Square: Project Management Institute, Inc., 586.
  2. GOST R 57193-2016. Systems and software engineering. System life cycle processes (ISO/IEC/IEEE 15288:2015, NEQ) (2016). Moscow: Standartinform, 98.
  3. Maguire, M., Bevan, N. (2002). User Requirements Analysis. Usability, 133–148. doi: https://doi.org/10.1007/978-0-387-35610-5_9
  4. Stowell, F., Cooray, S. (2017). The Appreciative System, Learning And Its Impact Upon Is Design. Communications of the Association for Information Systems, 40, 93–119. doi: https://doi.org/10.17705/1cais.04006
  5. Ferreira Martins, H., Carvalho de Oliveira Junior, A., Dias Canedo, E., Dias Kosloski, R. A., Ávila Paldês, R., Costa Oliveira, E. (2019). Design Thinking: Challenges for Software Requirements Elicitation. Information, 10 (12), 371. doi: https://doi.org/10.3390/info10120371
  6. Ali, N., Lai, R. (2016). A method of requirements elicitation and analysis for Global Software Development. Journal of Software: Evolution and Process, 29 (4), e1830. doi: https://doi.org/10.1002/smr.1830
  7. Beimel, D., Kedmi-Shahar, E. (2018). Improving the identification of functional system requirements when novice analysts create use case diagrams: the benefits of applying conceptual mental models. Requirements Engineering, 24 (4), 483–502. doi: https://doi.org/10.1007/s00766-018-0296-z
  8. Asteasuain, F., Braberman, V. (2016). Declaratively building behavior by means of scenario clauses. Requirements Engineering, 22 (2), 239–274. doi: https://doi.org/10.1007/s00766-015-0242-2
  9. Liu, L., Zhou, Q., Liu, J., Cao, Z. (2017). Requirements cybernetics: Elicitation based on user behavioral data. Journal of Systems and Software, 124, 187–194. doi: https://doi.org/10.1016/j.jss.2015.12.030
  10. Yu, Y.-J., Liu, C. (2017). Little Model in Big Data: An Algebraic Approach to Analysing Abstract Software Behaviours. Ruan Jian Xue Bao/Journal of Software, 28 (6), 1488–1497. doi: http://doi.org/10.13328/j.cnki.jos.005229
  11. Ambreen, T., Ikram, N., Usman, M., Niazi, M. (2018). Empirical research in requirements engineering: trends and opportunities. Requirements Engineering, 23 (1), 63–95. doi: https://doi.org/10.1007/s00766-016-0258-2
  12. Kaiya, H., Adachi, K., Chubachi, Y. (2019). Requirements Exploration by Comparing and Combining Models of Different Information Systems. Knowledge-Based Software Engineering: 2018, 64–74. doi: https://doi.org/10.1007/978-3-319-97679-2_7
  13. Kim, S.-K., Myers, T., Wendland, M.-F., Lindsay, P. A. (2012). Execution of natural language requirements using State Machines synthesised from Behavior Trees. Journal of Systems and Software, 85 (11), 2652–2664. doi: https://doi.org/10.1016/j.jss.2012.06.013
  14. Cornejo-Aparicio, V., Flores-Silva, S., Bedregal-Alpaca, N., Tupacyupanqui-Jaen, D. (2020). Procedural model for the specification of functional requirements in software construction. RISTI - Revista Iberica de Sistemas e Tecnologias de Informacao, 2020 (E26), 571–586.
  15. Lee, C.-H., Chen, C.-H., Trappey, A. J. C. (2019). A structural service innovation approach for designing smart product service systems: Case study of smart beauty service. Advanced Engineering Informatics, 40, 154–167. doi: https://doi.org/10.1016/j.aei.2019.04.006
  16. Ievlanov, M., Vasiltcova, N., Panforova, I. (2018). Development of methods for the analysis of functional requirements to an information system for consistency and illogicality. Eastern-European Journal of Enterprise Technologies, 1 (2 (91)), 4–11. doi: https://doi.org/10.15587/1729-4061.2018.121849
  17. Ievlanov, M. (2015). Methods of presenting formulated requirements to the information system at the level of knowledge. Eastern-European Journal of Enterprise Technologies, 4 (3 (76)), 4–11. doi: https://doi.org/10.15587/1729-4061.2015.47535
  18. Ievlanov, M., Vasiltsova, N., Panfiorova, I. (2014). Web-service registry model improvements. Visnyk Kremenchutskoho natsionalnoho universytetu imeni Mykhaila Ostrohradskoho, 5, 34–41.
  19. RD 50-34.698-90. Avtomatizirovannye sistemy. Trebovaniya k soderzhaniyu dokumentov (2002). Moscow: IPK Izdatel'stvo standartov, 25.
  20. Katsov, I. (2019). Mashinnoe obuchenie dlya biznesa i marketinga. Sankt-Peterburg: Piter, 512.

Downloads

Published

2020-06-30

How to Cite

Vasiltcova, N., Panforova, I., & Neumyvakina, O. (2020). Improving a method to analyze the requirements for an information system for consistency. Eastern-European Journal of Enterprise Technologies, 3(2 (105), 17–27. https://doi.org/10.15587/1729-4061.2020.205518