Порівняльний аналіз моделей управління станом в мобільних застосунках, розроблених за допомогою Flutter

Анотація

Метою цього дослідження є формалізація моделей управління станом у застосунках Flutter та їх оцінка за критеріями детермінізму переходів, продуктивності, масштабованості та архітектурної складності. Підходи до управління станом інтерпретуються як розширені перехідні системи з асинхронними подіями; властивості безпеки та життєздатності формалізуються за допомогою часової логіки. Формалізовану модель управління станом Flutter пропонується як клас реактивних обчислювальних систем з визначеними властивостями безпеки та життєздатності. Крім того, дослідження включає аналіз часу рендерингу кадрів та використання процесора на основі бенчмарків, щоб забезпечити емпіричне порівняння розглянутих підходів. Отримані результати додатково інтерпретуються в контексті реальних сценаріїв розробки, що дозволяє сформулювати практичні рекомендації щодо вибору відповідних архітектур управління станом залежно від масштабу та складності програми. Дослідження виявило значні відмінності між підходами в детермінізмі, продуктивності та архітектурній складності, демонструючи, що Riverpod забезпечує найбільш збалансовані характеристики продуктивності завдяки ефективному відстеженню залежностей, тоді як Bloc та Cubit забезпечують вищу структурну чіткість ціною збільшення обчислювальних витрат. MobX демонструє помірну продуктивність з перевагами в управлінні складним взаємозалежним станом, тоді як Provider залишається придатним для невеликих програм завдяки своїй простоті. Ці результати дозволяють обґрунтовано вибирати архітектуру на основі вимог виробничої програми, включаючи масштаб системи, обмеження продуктивності та потреби в обслуговуванні.