Preview

Труды Института системного программирования РАН

Расширенный поиск

Формализация метамодели системы управления требованиями

Полный текст:

Аннотация

В рамках данной статьи рассматривается метамодель, лежащая в основе системы управления требованиями 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.

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.)

Просмотров: 82


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)