Аналіз факторів впливу автоматизації підтримки програмних комплексів на базі кольорових мереж Петрі

Abstract

Розроблено модель аналізу факторів впливу автоматизації процесів підтримки програмних комплексів на базі кольорових мереж Петрі, що дає змогу здійснити їхнє моделювання під час розв’язання науково-прикладної задачі відновлення границь факторів впливу суб’єктивного сприйняття об’єктів підтримки з інкапсульованими штучними нейронними мережами типу багатошарового перцептрона. Задача аналізу та відновлення границь факторів впливу входить до переліку задач науково-прикладної проблеми автоматизації підтримки програмних комплексів. Об’єктом дослідження є процес аналізу факторів впливу автоматизації процесів підтримки програмних комплексів. Предметом дослідження є методи та засоби моделювання аналізу факторів впливу автоматизації процесів підтримки програмних комплексів на базі теорії мереж Петрі загалом та кольорових мереж Петрі зокрема. Метою дослідження є розроблення моделі аналізу факторів впливу автоматизації підтримки програмних комплексів на базі кольорових мереж Петрі. Для досягнення поставленої мети розв’язано певні задачі дослідження, подані далі по тексту. Зокрема, подано блок-схему алгоритму аналізу факторів впливу процесів автоматизації підтримки програмних комплексів, а також опис моделі суб’єктивного сприйняття об’єкта підтримки з інкапсульованої штучною нейронною мережею типу багатошарового перцептрона. Також, наведено детальний опис покрокового функціонування розробленої моделі за усіма можливими сценаріями. Додатково побудовано дерево досяжності розробленої моделі, що демонструє досяжність та скінченність кожного із станів представленої моделі на базі кольорових мереж Петрі. Крім того, проведено дослідження динаміки функціонування розробленої моделі на базі кольорових мереж Петрі та подано отримані результати дослідження. А також як приклад аналізу факторів впливу автоматизації процесів підтримки програмних комплексів розв’язано прикладну практичну задачу виявлення домінувального фактору впливу з набору факторів впливу команди підтримки програмного комплексу. Model based on colored Petri nets, and dedicated for analysis an impact factors of the software complexes support automation processes, has been developed. Model provides possibilities for simulation of the processes of impact factors analysis in the field of software complexes support automation when solving the scientific and applied task of analyzing and restoring the boundaries of impact factors in supported objects subjective perception models with encapsulated artificial neural networks of multilayer perceptron type. The task of analyzing and restoring the boundaries of impact factors is included in the list of tasks of the scientific and applied problem of software complexes support automation. The object of the study is the process of analyzing an impact factors software complexes support automation. The subject of the study are methods and means of modeling the processes analysis an impact factors of software complexes support automation, based on the theory of Petri nets in general and colored Petri nets in particular. The purpose of the study is to develop a colored Petri nets based model for analysis an impact factors of the software complexes support automation. To achieve the set goal, the following research tasks were solved. A block diagram of the algorithm of the software complexes support automation impact factors analysis has been presented, as well as a description of the supported objects subjective perception model encapsulated by an artificial neural network of the multilayer perceptron type. A detailed description of the step-by-step functioning of the developed model within all possible scenarios is given as well. A reachability tree of the developed model is constructed, demonstrating the reachability and finiteness of each of the states of the presented colored Petri nets based models. A study of dynamics of the developed colored Petri nets based models functioning processes has been conducted as well as the depicted results of this study. As an example of software complex support automation impact factors analysis, – the applied practical problem of identifying the dominant impact factor among the set of impact factors of the software complex support team has been solved.