Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Termination and expressiveness of execution strategies for networks of bidirectional model transformations - MaRDI portal

Termination and expressiveness of execution strategies for networks of bidirectional model transformations

From MaRDI portal

Publication:6611953

Jump to:navigation, search

DOI10.1145/3543845MaRDI QIDQ6611953

Heiko Klare, Joshua Gleitze

Publication date: 27 September 2024

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

model transformation model consistency bidirectional transformation transformation execution strategy transformation network transformation termination

Mathematics Subject Classification ID

Computer science (68-XX)

This page was built for publication: Termination and expressiveness of execution strategies for networks of bidirectional model transformations

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6611953&oldid=40169514"