Наукові роботи. Факультет математики і інформатики

Постійне посилання колекціїhttps://ekhnuir.karazin.ua/handle/123456789/342

Переглянути

Зараз показуємо 1 - 2 з 2

Hierarchic Decomposition of Pre-machines as Models of Software System Components
(Державне підприємство «Центральний науково-дослідний інститут навігації і управління», 2011-12) Zholtkevych, G.; Perepelytsya, I.
In this paper we consider a model of system interaction with the environment, which allows us to forget its full protocol from time to time. Mathematical models of such interactions are pre-machines. We showed that the machines can be completely described in terms of some special class of digraphs. An approach to analyzing the structure of pre-machines in terms of their derivatives series is offered.
On some class of mathematical models for static analysis of critical-mission asynchronous systems
(2011-12) Zholtkevych, G.; Perepelytsya, I.
A mathematical model of asynchronous software system is considered in the paper. This model bases on the notion abstract finite pre-machine which generalizes the notion abstract finite automaton. In contrast to generally accepted models the model proposed in the paper makes possible to specify more complex system behaviour than it is provided by finite automata models. Specifically, live-lock anomaly can be specified using the notion pre-machine. Authors adduce the criterion of live-lock existence and illustrate it by example.