Модифікація моделі одномісного коваріантного функтора для процесу кросплатформної міграції інформаційної системи
DOI:
https://doi.org/10.30837/0135-1710.2025.185.005Ключові слова:
кросплатформна міграція, програмне забезпечення, інформаційна система, одномісний коваріантний функтор, рефакторинг програмного кодуАнотація
Об’єктом дослідження є процес кросплатформної міграції програмного забезпечення (ПЗ) інформаційної системи (ІС). Визначено, що існуючі методи та засоби штучного інтелекту не дозволяють повністю вирішити проблему створення та використання формального механізму підтримки цілісності структурних та поведінкових особливостей моделей ІС та її ПЗ під час їх взаємної трансформації. Сучасні дослідження в цьому напрямі спрямовані, зокрема, на визначення та реалізацію окремих функторів та їх моделей для конкретних ІТ-продуктів різного призначення. Тому проведення досліджень із застосування категорно-функторного апарату для формального опису процесу кросплатформної міграції ПЗ ІС є актуальним з теоретичної і прикладної точок зору.
Як базову модель було обрано запропоновану авторами дослідження загальну модель одномісного коваріантного функтора. Визначено особливості використання цієї моделі для формального опису процесу кросплатформної міграції ПЗ ІС. Розроблено два варіанти модифікованої моделі одномісного коваріантного функтора, які дозволяють описати процес кросплафтормної міграції ПЗ ІС під час експлуатації та під час валідації цієї ІС. Запропоновано загальні методи використання модифікованих моделей у роботах та діяльностях процесу кросплафтормної міграції ПЗ ІС.
Проведено експериментальну перевірку отриманих наукових результатів. Для такої перевірки було обрано ПЗ інформаційно-аналітичної системи управління медичним закладом. Застосування модифікованої моделі одномісного коваріантного функтора дозволило представити роботу з кросплатформної міграції рефакторингу похідного коду ПЗ як функтор, реалізований у вигляді функції мовою С/С++. Отримані результати дозволяють визнати перспективною можливість застосування модифікованих моделей одномісного коваріантного функтора для формального опису інформаційної технології автоматизованого управління процесом кросплатформної міграції ПЗ ІС.
Посилання
Awasthi, Y., Zengeni, T. M., & Makambwa, T. A Framework for Cloud Migration in Academic Institutions. ResearchGate. 2024. URL: https://www.researchgate.net/publication/381952876_A_Framework_for_Cloud_Migration_in_Academic_Institutions
Emmanuel Cadet, Olajide Soji Osundare, Harrison Oke Ekpobimi, Zein Samira & Yodit Wondaferew Weldegeorgise. Cloud migration and microservices optimization framework for large-scale enterprises. Open Access Research Journal of Engineering and Technology. 2024. Vol. 7(2). P. 046–059. URL: https://doi.org/10.53022/oarjet.2024.7.2.0059
Gethers, M., Dit, B., Kagdi, H., Poshyvanyk, D. Integrated impact analysis for managing software changes. 34th International Conference on Software Engineering (ICSE). Zurich, Switzerland. 2012. P. 430-440. URL: doi: https://doi.org/10.1109/ICSE.2012.6227172
Manapian, A., Prompoon, N. Software time estimation model for requirements change based on software prototype profiles using an analogy estimation method. 2014 International Computer Science and Engineering Conference (ICSEC). Khon Kaen. Thailand. 2014. P. 366-371. URL: doi: https://doi.org/10.1109/ICSEC.2014.6978224
Miguel, M.A., Araújo, M.A.P., David, J.M.N., Braga, R. A framework to support effort estimation on software maintenance and evolution activities. 12th Brazilian Symposium on Information Systems: Information Systems in the Cloud Computing Era, Proceedings. Florianopolis - Santa Catarina. 2016. P. 232-239.
Rostami, K., Stammel, J., Heinrich, R., Reussner, R. Change Impact Analysis by Architecture-based Assessment and Planning. Lecture Notes in Informatics, Proceedings - Series of the Gesellschaft fur Informatik. Hannover. 2017. Vol. P267, P. 69-70.
Rostami, K., Heinrich, R., Busch, A., Reussner, R. Architecture-Based Change Impact Analysis in Information Systems and Business Processes. 2017 IEEE International Conference on Software Architecture (ICSA). Gothenburg, Sweden. 2017. P. 179-188. URL: https://doi.org/10.1109/ICSA.2017.17.
Dugar, M. How Machine Learning Can Help Developers. 24th International Arab Conference on Information Technology, ACIT 2023. Ajman. 2023. Code 198200. URL: https://doi.org/10.1109/ACIT58888.2023.10453880
Steingartner, W., Novitzká, V., Bačíková, M., Korečko, Š. New approach to categorical semantics for procedural languages. Computing and Informatics, 2017. Vol. 36, Iss. 6. P. 1385-1414. URL: https://doi.org/10.4149/cai_2017_6_1385.
Crăciunean, D.-C. Categorical modeling method, proof of concept for the petri net language. Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019. P. 283-291. URL: https://doi.org/10.5220/0007360602830291
Beohar, H., König, B., Küpper, S., Silva, A., Wissmann, T. A coalgebraic treatment of conditional transition systems with upgrades. Logical Methods in Computer Science, 2018. Vol. 14, Iss. 128, 19. URL: https://doi.org/10.23638/LMCS-14(1:19)2018.
Hou, J., Zhang, Y., Rana, A.D. Describing Approach for Model-Driven Collaborative Application Development. International Conference on Artificial Intelligence and Advanced Manufacturing, AIAM 2019, Proceedings. 2019. P. 336-343. URL: https://doi.org/10.1109/AIAM48774.2019.00073.
Hou, J., Xu, C., Zhang, Y. Architecture-Based Semantic Description Framework for Model Transformation. 5th International Conference on Natural Language Processing and Information Retrieval, NLPIR 2021, ACM International Conference Proceeding Series, 2021. P. 73-80. URL: https://doi.org/10.1145/3508230.3508241
Steingartner, W. Perspectives of semantic modeling in categories. Journal of King Saud University - Computer and Information Sciences. 2025. Vol. 37. Iss. 3. № 19. URL: https://doi.org/10.1007/s44443-025-00010-9.
Chowdhury, S., Clause, N., Mémoli, F., Sánchez, J.Á., Wellner, Z. New families of stable simplicial filtration functors. Topology and its Application. 2020. Vol. 279. 107254. URL: https://doi.org/10.1016/j.topol.2020.107254.
Lochbihler, A., Marić, O. Authenticated Data Structures as Functors in Isabelle/HOL. 2nd Workshop on Formal Methods for Blockchains, FMBC 2020, Open Access Series in Informatics, 2020, Vol. 84, 6. URL: https://doi.org/10.4230/OASIcs.FMBC.2020.6.
Sun Y.Z., Wang S.T. CNOK: A C++ Glauber model code for single-nucleon knockout reactions. Computer Physics Communications, 2023, Vol. 288, № 108726. URL: https://doi.org/10.1016/j.cpc.2023.108726.
Bezditnyi, V., Chebanyuk, O. Software Engineering Fundamentals to Design Application for Modern Game Engines. 2024 14th International Scientific and Practical Programming Conference, UkrPROG 2024, CEUR Workshop Proceedings, Vol. 3806, P. 89–99.
Левикін В.М., Євланов М.В., Керносов М.А. Патерни проєктування вимог до інформаційної системи: моделювання та застосування: монографія. (рос.) Харків: ТОВ «Компанія СМІТ», 2014. 320 c.
Левикін В.М., Євланов М.В. Задача визначення функторів між категорними моделями інформаційної системи. (рос.) Проблеми біоніки. 2003. Вип. 58. С. 62-67.
Євланов М.В. Формалізація взаємних відображень моделей інформаційних систем. (рос.) Materialy IV Miedzynarodowej naukowi-praktycznej konferencji Nowoczesnych naukowych osiagniec - 2008. T. 13. Matematyka. Fizyka. Nowoczesne informacyjne technologie. Przemysl: Nauka i studia. P. 82-85.
Awodey S. Category Theory. 2nd ed. NY.: OXFORD UNIVERSITY PRESS, 2010. XVI+311 p.
