Сборники трудов ИСП РАН


Решение автоматных уравнений для временных автоматов относительно параллельной композиции.

О.В. Кондратьева, Н.В. Евтушенко, А.Р. Кавалли.

Аннотация

Рассматривается задача синтеза неизвестной компоненты, которая при совместной работе с известной частью системы удовлетворяет заданной спецификации, в случае, когда поведение компонент и спецификация системы в явном виде зависят от времени. Результаты, известные для решения параллельного автоматного уравнения для классических конечных автоматов, обобщаются на случай автоматов с таймаутами. Задача синтеза неизвестной компоненты возникает во многих приложениях и в статье иллюстрируется ее применение для реализации композиции сервисов с заданными ограничениями на временные параметры качества.

Ключевые слова

временной автомат, параллельная композиция, автоматное уравнение, наибольшее решение, ограничения внешней среды

Издание

Труды Института системного программирования РАН, том 26, вып. 6, 2014, стр. 85-98.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2014-26(6)-8

Полный текст статьи в формате pdf Вернуться к содержанию тома