Э. Ю. Большаков¹

¹ ФГБОУ ВО «Российский биотехнологический университет» (РОСБИОТЕХ) (Москва, Россия)
1emil.bolshakov@mgupp.ru

Постановка проблемы. В информационно-аналитических системах один предметный ресурс одновременно представлен схемой хранения, контрактом программного интерфейса, пользовательскими формами, правилами доступа, событиями и процессными моделями. Раздельное изменение представлений образует межпроекционные дефекты, которые не выявляются проверкой отдельного артефакта.

Цель. Повысить согласованность и надежность формирования программных представлений предметного ресурса за счет типизированной метамодели, трассируемого построения производных артефактов и атомарной фиксации согласованной версии. При этом использованы модельно-ориентированная разработка, теория типизированных множеств и отношений, анализ зависимостей и мутационное тестирование.

Результаты. Метамодель отделена от экземпляра спецификации и производных артефактов. Определены предикаты полноты, исполнимости и межпроекционной согласованности, частичные операторы проекций, отношение трассировки и множество артефактов, затронутых изменением. Созданы эталонный прототип и контрольный набор из 10 типов ресурсов, содержащих 138 атрибутов, 43 связи, 46 состояний и 58 операций. Установлено, что в 80 мутационных испытаниях точность и полнота обнаружения составили 1,00. Во всех случаях отклонения сохранен хеш предыдущей версии. Показано, что в 120 сценариях вычисленное множество затронутых проекций совпало с оракулом; число запусков генераторов сократилось с 720 при полном перестроении до 400 при локальном, т. е. 44,4 %. Отмечено, что научная новизна состоит в совместном применении типизированной спецификации, артефактно-компонентной трассировки и атомарной публикации к DB-, API-, UI-, семантическим и процессным проекциям.

Практическая значимость. Метод предназначен для проверяемых конструкторов корпоративных систем и средств сопровождения схем. Результат ограничен контролируемым набором и явно зарегистрированными зависимостями.

Большаков Э.Ю. Метамодель программного ресурса и алгоритм трассируемого построения программных проекций // Информационно-измерительные и управляющие системы. 2026. Т. 24. № 4. С. 88−100. DOI: https://doi.org/10.18127/j20700814-202604-10

1. Скрыль С.В., Терехов В.И., Горячкин Б.С., Мышенков К.С. Полнота и своевременность информационного взаимодействия в АСОИ как объективная характеристика эффективности когнитивной деятельности в такой системе // Динамика сложных систем. 2026. Т. 20, № 2. С. 5–13. DOI: 10.18127/j19997493-202602-01. EDN: VBAROI.
2. Schmidt D.C. Model-Driven Engineering // Computer. 2006. V. 39. № 2. P. 25–31. DOI: 10.1109/MC.2006.58.
3. Bézivin J. On the Unification Power of Models // Software and Systems Modeling. 2005. V. 4. P. 171–188. DOI: 10.1007/s10270-005-0079-0.
4. France R., Rumpe B. Model-driven Development of Complex Software: A Research Roadmap // Future of Software Engineering. IEEE. 2007. P. 37–54. DOI: 10.1109/FOSE.2007.14.
5. Brambilla M., Cabot J., Wimmer M. Model-Driven Software Engineering in Practice. 2nd ed. Morgan & Claypool, 2017. 207 p.
6. Object Management Group. Meta Object Facility Core Specification. Version 2.5.1. 2016. URL: https://www.omg.org/spec/MOF/ 2.5.1 (дата обращения: 15.07.2026).
7. Object Management Group. Meta Object Facility Query/View/Transformation. Version 1.3. 2016. URL: https://www.omg.org/spec/ QVT/1.3 (дата обращения: 15.07.2026).
8. Object Management Group. Object Constraint Language. Version 2.4. 2014. URL: https://www.omg.org/spec/OCL/2.4 (дата обращения: 15.07.2026).
9. Mens T., Van Gorp P. A Taxonomy of Model Transformation // Electronic Notes in Theoretical Computer Science. 2006. Vol. 152. P. 125–142. DOI: 10.1016/j.entcs.2005.10.021.
10. Boronat A. Incremental Execution of Rule-Based Model Transformation // International Journal on Software Tools for Technology Transfer. 2021. Vol. 23. P. 289–311. DOI: 10.1007/s10009-020-00583-y.
11. Mkaouar H., Blouin D., Borde E. A Benchmark of Incremental Model Transformation Tools Based on an Industrial Case Study with AADL // Software and Systems Modeling. 2023. V. 22. P. 175–201. DOI: 10.1007/s10270-022-00989-z.
12. Barkowsky M., Giese H. Incremental Model Transformations with Triple Graph Grammars for Multi-Version Models and Multi-Version Pattern Matching // Software and Systems Modeling. 2025. V. 24. P. 1699–1736. DOI: 10.1007/s10270-024-01238-1.
13. Rinker F., Waltersdorfer L., Meixner K., Winkler D., Lüder A., Biffl S. Traceable Multi-view Model Integration: A Transformation Pipeline for Agile Production Systems Engineering // SN Computer Science. 2023. V. 4. Article 205. DOI: 10.1007/s42979-022-01572-5.
14. Большаков Э.Ю., Новицкий В.О. Автоматизированная разработка программного обеспечения для создания бэкенд-веб-серверов // Динамика сложных систем – XXI век. 2025. Т. 19. № 3. С. 58–66. DOI: 10.18127/j19997493-202503-06.
15. Большаков Э.Ю., Новицкий В.О. Интеграция онтологических моделей и бизнес-процессов в информационно-аналитической системе предприятия // Динамика сложных систем – XXI век. 2026. Т. 20. № 3. С. 28–39. DOI: 10.18127/j19997493-202603-03.
16. Fielding R.T. Architectural Styles and the Design of Network-Based Software Architectures: doctoral dissertation. University of California, Irvine, 2000. 180 p.
17. OpenAPI Initiative. OpenAPI Specification. Version 3.1.1. 2024. URL: https://spec.openapis.org/oas/v3.1.1.html (дата обращения: 15.07.2026).
18. Object Management Group. Business Process Model and Notation. Version 2.0.2. 2014. URL: https://www.omg.org/spec/BPMN/ 2.0.2 (дата обращения: 15.07.2026).
19. Object Management Group. Ontology Definition Metamodel. Version 1.1. 2014. URL: https://www.omg.org/spec/ODM/1.1 (дата обращения: 15.07.2026).
20. ISO/IEC 25010:2023. Systems and Software Engineering – Systems and Software Quality Requirements and Evaluation (SQuaRE) – Product Quality Model. Geneva: ISO, 2023.
21. ISO/IEC/IEEE 42010:2022. Software, Systems and Enterprise – Architecture Description. Geneva: ISO, 2022.
22. Antsifrov N.S., Myshenkov K.S. Evaluation of Software Lifecycle Models Based on Project Parameter Metrics // 2026 International Conference on Integrated Intelligence and Cognitive Engineering (ICIICE), Dubai, United Arab Emirates, 18–19 Apr. 2026. IEEE, 2026. P. 1–6. DOI: 10.1109/ICIICE69672.2026.11565157.