Formal Foundations for Information-Preserving Model Synchronization Processes Based on Triple Graph Grammars

Restoring consistency between different information-sharing artifacts after one of them has been changed is an important problem that arises in several areas of computer science. In this thesis, we provide a solution to the basic model synchronization problem. There, a pair of such artifacts (models...

Full description

Bibliographic Details

Main Author:	Kosiol, Jens
Contributors:	Taentzer, Gabriele (Prof. Dr.) (Thesis advisor)
Format:	Doctoral Thesis
Language:	English
Published:	Philipps-Universität Marburg 2022
Subjects:	Inkrementalität Algebraische Graphtransformation Incrementality Algebraic Graph Transformation Informatik Triple Graph Grammars Category Theory Kategorientheorie Tripelgraphgrammatiken Model Synchronization Modellsynchronisation Data processing Computer science
Online Access:	PDF Full Text
Tags:	Add Tag No Tags, Be the first to tag this record!