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


Download (1MB) | Preview


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.

Item Type: Book Section
Subjects: Q Science / természettudomány > QA Mathematics / matematika > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány
Depositing User: MTMT SWORD
Date Deposited: 15 Feb 2017 08:24
Last Modified: 15 Feb 2017 08:24

Actions (login required)

Edit Item Edit Item