Method of Transforming Abstract Models of Software Systems into Simulation Models
Loading...
Date
2018
Authors
Dorenskyi, O.
Drieiev, O.
Доренський, О. П.
Дрєєв, О. М.
Journal Title
Journal ISSN
Volume Title
Publisher
ChSTU
Abstract
As 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. Наслідком динамічного розвитку інформаційних технологій та їх активного впровадження у всі галузі людської діяльності є необхідність створення й використання програмних систем. Є доцільним і необхідним їх моделювання на ранніх стадіях життєвого циклу. Тож у роботі розв’язується задача побудови імітаційних моделей програмних систем на основі абстрактних моделей шляхом перетворення моделей станів у еквівалентні їм автоматні мережі, які дозволяють моделювати асинхронність та недетермінованість паралельних незалежних подій, конфліктні взаємодії між процесами, описувати як типові ситуації в системах, так і загальну динаміку функціонування складних асинхронних систем.
Description
Keywords
software, state model, state-machine net, model of software system, програмне забезпечення, модель станів, мережа, модель програмної системи
Citation
Dorenskyi, 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.