scholarly journals Finding a Universal Execution Strategy for Model Transformation Networks

Author(s):  
Heiko Klare ◽  
Joshua Gleitze ◽  
Erik Burger
Author(s):  
Joshua Gleitze ◽  
Heiko Klare ◽  
Erik Burger

AbstractWhen using multiple models to describe a (software) system, one can use a network of model transformations to keep the models consistent after changes. No strategy exists, however, to orchestrate the execution of transformations if the network has an arbitrary topology. In this paper, we analyse how often and in which order transformations need to be executed. We argue why linear execution bounds are too restrictive to be useful in practice and prove that there is no upper bound for the number of necessary executions. To avoid non-termination, we propose a conservative strategy that makes execution failures easier to understand. These insights help developers and users of transformation networks to understand under which circumstances their networks can terminate. Additionally, the proposed strategy helps them to find the cause when a network cannot restore consistency.


2015 ◽  
Vol 10 (12) ◽  
pp. 1186 ◽  
Author(s):  
Yassine Rhazali ◽  
Y. Hadi ◽  
A. Mouloudi
Keyword(s):  

2011 ◽  
Vol 22 (2) ◽  
pp. 195-210 ◽  
Author(s):  
Xiao HE ◽  
Zhi-Yi MA ◽  
Yan ZHANG ◽  
Wei-Zhong SHAO

2008 ◽  
Vol 19 (9) ◽  
pp. 2203-2217 ◽  
Author(s):  
Tian ZHANG ◽  
Yan ZHANG ◽  
Xiao-Feng YU ◽  
Lin-Zhang WANG ◽  
Xuan-Dong LI

2009 ◽  
Vol 20 (8) ◽  
pp. 2113-2123 ◽  
Author(s):  
Jin-Kui HOU ◽  
Hai-Yang WANG ◽  
Jun MA ◽  
Jian-Cheng WAN ◽  
Xiao YANG

2010 ◽  
Vol 27 (3) ◽  
pp. 207-216 ◽  
Author(s):  
Luis Iribarne ◽  
Nicolás Padilla ◽  
Javier Criado ◽  
José-Andrés Asensio ◽  
Rosa Ayala

Sign in / Sign up

Export Citation Format

Share Document