2720

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Доклад

Название: 

Использование регулярных выражений над графами для описания допустимых структур данных

Наименование конференции: 

  • 1-я Международная конференция «Управление развитием крупномасштабных систем» (MLSD-2007, Москва)

Наименование источника: 

  • Труды 1-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2007, Москва)

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2007

Страницы: 

209-218
Аннотация
Рассматривается задача спецификации структуры взаимодействий между объектами. Множество объектов и связей между ними представляется в виде размеченного ориентированного графа, а задача спецификации состоит в описании всех "хороших" графов: графов, которые задают допустимые структуры взаимодействия. По аналогии с классическим понятием регулярного выражения, определено понятие регулярного выражения над графами. При этом, если "кирпичиками" в обычных регулярных выражениях является строка символов, то в регулярных выражениях над графами роль "кирпичиков" выполняют графы

Библиографическая ссылка: 

Бабичев А.В. Использование регулярных выражений над графами для описания допустимых структур данных / Труды 1-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2007, Москва). М.: ИПУ РАН, 2007. С. 209-218.