Ситуационно-событийный подход к спецификации гибридных процессов
Аннотация
Рассматривается подход к разработке исполняемых спецификаций совокупностей гибридных процессов, основанный на представлении функций перехода дискретных состояний с помощью правил трансформации ситуаций. Обсуждаются возможные структуры правил с точки зрения их выразительности и пригодности для создания надежных спецификаций и быстродействующих исполняющих процедур. Свойства правил иллюстрируются на примерах спецификации простого гибридного процесса.Литература
Alur R., Henzinger T. A., Lafferriere G., Pappas G. J. Discrete Abstractions of Hybrid Systems // Proceedings of the IEEE. 2000. No. 88. P. 971–984.
Шпаков В. М. Ситуационные спецификации имитационных моделей гибридных реактивных систем // Труды СПИИРАН. Вып. 1, т. 2. СПб.: СПИИРАН, 2002. 212–222 с.
Шпаков В. М. Спецификация знаний динамики на основе транзитивной модели непрерывных процессов // Труды СПИИРАН. Вып. 3, т. 1. СПб.: Наука, 2006. 191–197 с.
Шпаков В. М. Ситуационные спецификации имитационных моделей гибридных реактивных систем // Труды СПИИРАН. Вып. 1, т. 2. СПб.: СПИИРАН, 2002. 212–222 с.
Шпаков В. М. Спецификация знаний динамики на основе транзитивной модели непрерывных процессов // Труды СПИИРАН. Вып. 3, т. 1. СПб.: Наука, 2006. 191–197 с.
A Situation-Event Approach to Hybrid Processes Specifications
Abstract
An approach to development of hybrid process collection executable specifications is considered. The approach is based on presentation of discrete state transition function with help of situation transformation rules. Possible structures of the rules are discussed in the view of their expressiveness and their fitness for creation of reliable specifications and high-performance executing procedures. The rules properties are shown by the examples of simple hybrid process specifications.Опубликован
2007-08-01
Как цитировать
Шпаков,. (2007). Ситуационно-событийный подход к спецификации гибридных процессов. Труды СПИИРАН, (4), 291-300. https://doi.org/10.15622/sp.4.22
Выпуск
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
