Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Календарь
Поиск
Регистрация семинара

RSS
Ближайшие семинары




Российский гибридный семинар STEP-2023 по фундаментальным вопросам программной инженерии теории и экспериментальному программированию
14 февраля 2024 г. 19:00–20:30, г. Новосибирск, Онлайн
 


Логика распознавания последовательностей состояний SSRL (State Sequences Recognition Logic) и примеры её применения для формализации темпоральных требований к управляющим программ

И. С. Ануреев

Количество просмотров:
Эта страница:114



Аннотация: Предлагается формализм для описания свойств последовательностей состояний, порождаемых системой переходов (state transition system). Этот формализм под рабочим названием SSRL (State Sequences Recognition Logic) позволяет задавать свойства поведения системы переходов, определяемого как множество последовательностей состояний, порождаемых отношением перехода. В отличие от LTL, он поддерживает императивные вставки, позволяющие сохранять информацию в именованных компонентах состояний (аналог let в функциональных языках программирования), называемых атрибутами. В тоже время он имеет более простую систему модальностей и более жесткий порядок их комбинирования по сравнению с LTL. Даются методология и примеры его применения для формализации темпоральных требований к управляющим программ, на которые он, в первую очередь, ориентирован. Цель разработки формализма применительно к решению этой задачи - расширить область применимости ранее представленного на семинаре формализма EDTL (Event-Driven Temporal Logic), который позиционируется как язык описания темпоральных требований, ориентированный на инженеров. В качестве обоснования большей выразительной силы нового формализма рассматриваются примеры требований, невыразимых на EDTL, а также определяется формальная семантика EDTL на SSRL.
Семинар пройдет онлайн (в Skype (https://join.skype.com/DOsdMMwFpqsm) - можно смотреть в браузере).

Website: https://youtu.be/NEgY26bY2_c
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024