Формализация метамодели системы управления требованиями
https://doi.org/10.15514/ISPRAS-2018-30(5)-10
Аннотация
В рамках данной статьи рассматривается метамодель, лежащая в основе системы управления требованиями Requality. Базовая модель представляет собой дерево, каждой вершине которого сопоставлен набор именованных и типизированных свойств. Базовая модель проста и удобна для представления семантики набора требований, но оказывается не особо пригодной для формирования и сопровождения сколько-нибудь сложных каталогов требований. Поэтому авторами вводится набор декларативных моделей, позволяющих описывать каталог требований более компактным образом. При этом семантика декларативных моделей задаётся при помощи определения трансляции в базовую модель. Эти возможности обеспечивают гибкий инструментарий для компактного описания типовых наборов требований. Также в статье рассматриваются особенности реализации представленной метамодели в системе управления требованиями Requality. В заключении предлагается исследовать комбинацию представленной модели каталога требований с формальными моделями, позволяющими описывать семантику каждого требования в отдельности.
Об авторах
Д. С. КильдишевРоссия
А. В. Хорошилов
Россия
Список литературы
1. R. Thayer. M. Dorfman. Software Engineering. IEEE Computer Society press, 1997., 552 p.
2. M. Palumbo. Requirements Management for Safety Critical Systems. Available: http://www.railwaysignalling.eu/wp-content/uploads/2015/06/Req_mgt_safety_critical_system_Mpalumbo.pdf. Accessed: 3-Apr-2018
3. P. Roques. Modeling Requirements with SysML. Requirements Engineering Magazine, issue 2015-02, 2015.
4. Open Group Standard. Dependability through Assuredness (O-DA) Framework. The Open Group Releases, 2013.
5. A. Nordin, A. Ikhwan Omar, M. Usamah Megat Mohamed Amin, N. Salleh.Development of scenario management and requirements tool (SMaRT): towards supporting scenario-based requirements engineering methodology. International Journal of Engineering & Technology, Vol. 7, No 2.14, Special Issue 14, 2018, pp 62-65.
6. D. Lozhkina, S. Staroletov. An online tool for requirements engineering, modeling and verification of distributed software based on the MDD approach. In Preliminary Proceedings of the 11th Spring/Summer Young Researchers’Colloquium on Software Engineering, 2017, pp. 23-28.
7. T. von der Maßen, H. Lichter. RequiLine: A Requirements Engineering Tool for Software Product Lines, Software Product-Family Engineering, 2003, Heidelberg, pp. 168-180.
8. N. W. Mogk. A Requirements Management System based on an Optimization Model of the Design Process. In Proc. of the Conference on Systems Engineering Research (CSER 2014), 2014, pp 21-22
9. ProR Requirement Engineering Platform. [Online]. http://www.eclipse.org/rmf/pror/. Accessed: 2-Apr-2018.
10. ReqLine Download (ReqLine.exe). [Online]. Available: http://downloads.informer.com/reqline/. Accessed: 3-Apr-2018.
11. S. Hallerstede, M. Jastram, L. Ladenberger. A method and tool for tracing requirements into specifications. Science of Computer Programming, vol. 82, 2014, pp. 2-21.
12. Alexey Khoroshilov. On formalization of operating systems behaviour verification. In Proceedings of 11th International Conference on Computer Science and Information Technologies (CSIT-2017), 2017, pp. 168-172. DOI:10.1109/CSITechnol.2017.8312164
13. W. Frakes, C. Terry. Software Reuse: Metrics and Models. ACM Computing Surveys Vol. 28, No. 2, 1996.
Рецензия
Для цитирования:
Кильдишев Д.С., Хорошилов А.В. Формализация метамодели системы управления требованиями. Труды Института системного программирования РАН. 2018;30(5):163-176. https://doi.org/10.15514/ISPRAS-2018-30(5)-10
For citation:
Kildishev D.S., Khoroshilov A.V. Formalizing Metamodel of Requirements Management System. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2018;30(5):163-176. (In Russ.) https://doi.org/10.15514/ISPRAS-2018-30(5)-10