Dorenskyi, O.Drieiev, O.Доренський, О. П.Дрєєв, О. М.2018-06-262018-06-262018Dorenskyi, O. Method of Transforming Abstract Models of Software Systems into Simulation Models / O. Dorenskyi, O. Drieiev // Conference proceedings of III International Scientific-Practical Conference “Information Technologies in Education, Science and Technology” TEST–2018, Cherkasy, May 17–18, 2018. — Cherkasy : ChSTU, 2018. — P. 11–13.https://dspace.kntu.kr.ua/handle/123456789/7879As a result of the dynamic development of information technology and its active implementation in all spheres of human activity it is necessary to create and apply software systems. It is expedient and necessary to simulate them at the early stages of their life cycle. Therefore, the problem of achieving simulation models of software systems on the basis of abstract models is solved in the article. The achievement of simulation models of software systems on the basis of abstract models is solved by transforming state models into equivalent automaton networks. The networks allow simulating asynchrony and non-determinant of parallel independent events, conflicting interactions between processes, describing typical situations in the systems as well as general dynamics of functioning of complex asynchronous systems. Наслідком динамічного розвитку інформаційних технологій та їх активного впровадження у всі галузі людської діяльності є необхідність створення й використання програмних систем. Є доцільним і необхідним їх моделювання на ранніх стадіях життєвого циклу. Тож у роботі розв’язується задача побудови імітаційних моделей програмних систем на основі абстрактних моделей шляхом перетворення моделей станів у еквівалентні їм автоматні мережі, які дозволяють моделювати асинхронність та недетермінованість паралельних незалежних подій, конфліктні взаємодії між процесами, описувати як типові ситуації в системах, так і загальну динаміку функціонування складних асинхронних систем.ensoftwarestate modelstate-machine netmodel of software systemпрограмне забезпеченнямодель станівмережамодель програмної системиArticle