Cargando…
Finding a Universal Execution Strategy for Model Transformation Networks
When 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...
Autores principales: | , , |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
2021
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7978667/ http://dx.doi.org/10.1007/978-3-030-71500-7_5 |
_version_ | 1783667220705968128 |
---|---|
author | Gleitze, Joshua Klare, Heiko Burger, Erik |
author_facet | Gleitze, Joshua Klare, Heiko Burger, Erik |
author_sort | Gleitze, Joshua |
collection | PubMed |
description | When 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. |
format | Online Article Text |
id | pubmed-7978667 |
institution | National Center for Biotechnology Information |
language | English |
publishDate | 2021 |
record_format | MEDLINE/PubMed |
spelling | pubmed-79786672021-03-23 Finding a Universal Execution Strategy for Model Transformation Networks Gleitze, Joshua Klare, Heiko Burger, Erik Fundamental Approaches to Software Engineering Article When 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. 2021-02-24 /pmc/articles/PMC7978667/ http://dx.doi.org/10.1007/978-3-030-71500-7_5 Text en © The Author(s) 2021 Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made. The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. |
spellingShingle | Article Gleitze, Joshua Klare, Heiko Burger, Erik Finding a Universal Execution Strategy for Model Transformation Networks |
title | Finding a Universal Execution Strategy for Model Transformation Networks |
title_full | Finding a Universal Execution Strategy for Model Transformation Networks |
title_fullStr | Finding a Universal Execution Strategy for Model Transformation Networks |
title_full_unstemmed | Finding a Universal Execution Strategy for Model Transformation Networks |
title_short | Finding a Universal Execution Strategy for Model Transformation Networks |
title_sort | finding a universal execution strategy for model transformation networks |
topic | Article |
url | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7978667/ http://dx.doi.org/10.1007/978-3-030-71500-7_5 |
work_keys_str_mv | AT gleitzejoshua findingauniversalexecutionstrategyformodeltransformationnetworks AT klareheiko findingauniversalexecutionstrategyformodeltransformationnetworks AT burgererik findingauniversalexecutionstrategyformodeltransformationnetworks |