Incremental Backward Change Propagation of View Models by Logic Solvers

Semeráth, Oszkár and Debreceni, Csaba and Horváth, Ákos and Varró, Dániel (2016) Incremental Backward Change Propagation of View Models by Logic Solvers. In: MODELS '16. ACM Press, New York, pp. 306-316. ISBN 978-1-4503-4321-3

Preview

Text models16_bidirectional.pdf Download (1MB) | Preview

Abstract

View models are key concepts of domain-specific modeling to provide task-specific focus (e.g., power or communication architecture of a system) to the designers by highlighting only the relevant aspects of the system. View models can be specified by unidirectional forward transformations (frequently captured by graph queries), and automatically maintained upon changes of the underlying source model using incremental transformation techniques. However, tracing back complex changes from one or more abstract view to the underlying source model is a challenging task, which, in general, requires the simultaneous analysis of transformation specifications and well-formedness constraints to create valid changes in the source model. In this paper we introduce a novel delta-based backward transformation technique using SAT solvers to synthetize valid and consistent change candidates in the source model, where only forward transformation rules are specified for the view models.

Actions (login required)

Edit Item