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

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...

Disgrifiad llawn

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Prif Awdur: Kosiol, Jens
Awduron Eraill: Taentzer, Gabriele (Prof. Dr.) (Cynghorydd traethodau ymchwil)
Fformat: Dissertation
Iaith:Saesneg
Cyhoeddwyd: Philipps-Universität Marburg 2022
Pynciau:
Tripelgraphgrammatiken
Category Theory
Algebraic Graph Transformation
Inkrementalität
Informatik
Modellsynchronisation
Kategorientheorie
Algebraische Graphtransformation
Incrementality
Triple Graph Grammars
Model Synchronization
Data processing Computer science
Mynediad Ar-lein:Testun PDF llawn
Tagiau: Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
No citations were found for this record.

Eitemau Tebyg