Программирование взаимодействующих гибридных процессов
Аннотация
Обсуждаются основанные на правилах исполняемые спецификации взаимодействующих процессов различной динамики. Приводятся возможные структуры правил трансформации состояний процессов и рассматриваются особенности основанного на этих правилах программирования простых гибридных процессов.Литература
Хо Ючзи Динамика систем с дискретными событиями // ТИИЭР: Труды института по электротехнике и радиоэлектронике. Перевод с английского М: Мир, 1989. Том 77, №1. С. 4–9.
Alur R., Henzinger T. A., Lafferriere G., Pappas G. J. Discrete Abstractions of Hybrid Systems // Proceedings of the IEEE.2000. Vol. 88. P. 971–984.
Шпаков В. М. Ситуационные спецификации имитационных моделей гибридных реактивных систем // Труды СПИИРАН. Вып. 1, том 2 . СПб: СПИИРАН, 2002.C. 212–222.
Shpakov V. Situation Based Transition Model for Discrete-Continuous Production Processes Simulation // Proceedings of 9th International Multi-Conference Advanced Computer Systems ACS’02, Supply Chain Management SCM’2002, Miedzyzdroje, Poland, October 23-25, 2002, Part 2. P. 507–514.
Alur R., Henzinger T. A., Lafferriere G., Pappas G. J. Discrete Abstractions of Hybrid Systems // Proceedings of the IEEE.2000. Vol. 88. P. 971–984.
Шпаков В. М. Ситуационные спецификации имитационных моделей гибридных реактивных систем // Труды СПИИРАН. Вып. 1, том 2 . СПб: СПИИРАН, 2002.C. 212–222.
Shpakov V. Situation Based Transition Model for Discrete-Continuous Production Processes Simulation // Proceedings of 9th International Multi-Conference Advanced Computer Systems ACS’02, Supply Chain Management SCM’2002, Miedzyzdroje, Poland, October 23-25, 2002, Part 2. P. 507–514.
Programming of interacting hybrid processes
Abstract
Rule based executable specifications of interacting different dynamic processes are discussed. Possible structures of process state transition rules are presented and peculiarities of simple hybrid process programming, based on these rules, are considered.Опубликован
2004-04-01
Как цитировать
Шпаков,. (2004). Программирование взаимодействующих гибридных процессов. Труды СПИИРАН, 1(2), 294-303. https://doi.org/10.15622/sp.2.22
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
