РОЗРОБКА АЛГОРИТМУ ТРАНСЛЯЦІЇ ВІЗУАЛІЗАЦІЇ АЛГЕБРАЇЧНОГО ПРЕДСТАВЛЕННЯ ПОВЕДІНКИ ІНСЕРЦІЙНОГО МОДЕЛЮВАННЯ

Abstract

Система інсерційного моделювання активно розвивається протягом останніх кількох десятків років. Заснована на попередній системі алгебраїчного програмування, вона дозволяє досліджувати складні розподілені системи, та застосовувати до них методи формальної верифікації програмного забезпечення. Подібний підхід (представлення системи у вигляді взаємодіючих агентів та середовищ) у наш час використовують багато провідних компаній, що займаються розробкою програмного забезпечення (наприклад обчислення мобільних амбієнт Л.Карделлі, що використовуються компанією Microsoft для верифікації взаємодіючих систем). Для оптимізації розробки моделей для їх подальшого використання, та для наочності системі потрібний зручний та привабливий інтерфейс. Актуальність — існуючий інтерфейс користувача системи інсерційного моделювання — це інтерфейс звичайного консольного застосунка. Такий вигляд результатів моделювання задовольняє потреби професіонального програміста з інсерційного моделювання, проте не підходить для презентації результатів роботи моделі, або для вивчення системи. Тому розробка наглядного інтерфейсу з використанням сучасних графічних фрейморків, які окрім того також можуть працювати через мережу інтернет є актуальною. Метою даної роботи є створення сучасного та зручного інтерфейсу для відображення результатів роботи моделі у системі інсерційного моделювання, який може бути використаний як у локальній системі так і через мережу інтернет.