Hierarchic Decomposition of Pre-machines as Models of Software System Components

Вантажиться...
Ескіз

Дата

2011-12

Назва журналу

Номер ISSN

Назва тому

Видавець

Державне підприємство «Центральний науково-дослідний інститут навігації і управління»

Анотація

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.

Опис

Ключові слова

technology, information technology, computer Science, software engineering, finite state pre-machine, prefix marked digraph, interval, derivative digraph, derivatives series, hierarchic decomposition

Бібліографічний опис

Системи управління, навігації та зв’язку. Збірник наукових праць. – Вип. 4 (20). – С. 233 – 238.