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

Issue

Vol. 3 No. 2 (105) (2020): Information technology. Industry control systems

Section

Information technology

License

Copyright (c) 2020 Nataliya Vasiltcova, Iryna Panforova, Olga Neumyvakina

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

The consolidation and conditions for the transfer of copyright (identification of authorship) is carried out in the License Agreement. In particular, the authors reserve the right to the authorship of their manuscript and transfer the first publication of this work to the journal under the terms of the Creative Commons CC BY license. At the same time, they have the right to conclude on their own additional agreements concerning the non-exclusive distribution of the work in the form in which it was published by this journal, but provided that the link to the first publication of the article in this journal is preserved.

A license agreement is a document in which the author warrants that he/she owns all copyright for the work (manuscript, article, etc.).
The authors, signing the License Agreement with TECHNOLOGY CENTER PC, have all rights to the further use of their work, provided that they link to our edition in which the work was published.
According to the terms of the License Agreement, the Publisher TECHNOLOGY CENTER PC does not take away your copyrights and receives permission from the authors to use and dissemination of the publication through the world's scientific resources (own electronic resources, scientometric databases, repositories, libraries, etc.).
In the absence of a signed License Agreement or in the absence of this agreement of identifiers allowing to identify the identity of the author, the editors have no right to work with the manuscript.
It is important to remember that there is another type of agreement between authors and publishers – when copyright is transferred from the authors to the publisher. In this case, the authors lose ownership of their work and may not use it in any way.