Graph and Model Transformation: General Framework and Applications

Книга посвящена теории и практике преобразования графов и моделей — фундаментальной области теоретической информатики, лежащей в основе современных подходов к моделированию и метамоделированию в программной инженерии. Авторы развивают алгебраический подход к графовым грамматикам, известный как тройные графовые грамматики (triple graph grammars), и представляют его как общий фреймворк для решения широкого круга задач.

В монографии систематически излагаются теоретические основы преобразования графов: понятия правил, выводов, конфлюэнтности, параллелизма и критических пар. Особое внимание уделяется расширению классической теории для поддержки преобразования моделей, включая интеграцию и синхронизацию моделей — задачи, критически важные при разработке сложных программных систем.

Книга входит в престижную серию Monographs in Theoretical Computer Science Европейской ассоциации теоретической информатики (EATCS) и является логическим продолжением монографии «Fundamentals of Algebraic Graph Transformation» (2006). Она обобщает результаты многолетних исследований авторов и предлагает читателю как строгие математические формулировки, так и примеры практического применения.

Издание будет полезно исследователям и аспирантам в области теоретической информатики, а также инженерам-практикам, занимающимся модельно-ориентированной разработкой ПО, визуальным моделированием и трансформацией моделей. Материал требует подготовки в области дискретной математики, теории категорий и основ теории графов.