Change propagation of view models by logic synthesis using SAT solvers

Oszkár Semeráth, Csaba Debreceni, Ákos Horváth, D. Varró

Research output: Contribution to journalArticle

2 Citations (Scopus)

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 under design. View models can be specified by unidirectional graph queries, and automatically maintained from the underlying source model using incremental transformation techniques. However, tracing back the consequence of a modification in the abstract view to the source model is a challenging task as several valid source changes may correspond to a single change in the view. Calculating these source changes requires complex logic analysis which has to take into account both queries defining the view and the structural well-formedness constraints of the source model. In this paper we outline a systematic technique to calculate valid source candidates by iterative calls to underlying SAT solvers.

Original languageEnglish
Pages (from-to)40-44
Number of pages5
JournalUnknown Journal
Volume1571
Publication statusPublished - 2016

Fingerprint

Logic Synthesis
Communication

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Semeráth, O., Debreceni, C., Horváth, Á., & Varró, D. (2016). Change propagation of view models by logic synthesis using SAT solvers. Unknown Journal, 1571, 40-44.

Change propagation of view models by logic synthesis using SAT solvers. / Semeráth, Oszkár; Debreceni, Csaba; Horváth, Ákos; Varró, D.

In: Unknown Journal, Vol. 1571, 2016, p. 40-44.

Research output: Contribution to journalArticle

Semeráth, O, Debreceni, C, Horváth, Á & Varró, D 2016, 'Change propagation of view models by logic synthesis using SAT solvers', Unknown Journal, vol. 1571, pp. 40-44.
Semeráth, Oszkár ; Debreceni, Csaba ; Horváth, Ákos ; Varró, D. / Change propagation of view models by logic synthesis using SAT solvers. In: Unknown Journal. 2016 ; Vol. 1571. pp. 40-44.
@article{db22eef8529b4d009f89a9e0ba593660,
title = "Change propagation of view models by logic synthesis using SAT solvers",
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 under design. View models can be specified by unidirectional graph queries, and automatically maintained from the underlying source model using incremental transformation techniques. However, tracing back the consequence of a modification in the abstract view to the source model is a challenging task as several valid source changes may correspond to a single change in the view. Calculating these source changes requires complex logic analysis which has to take into account both queries defining the view and the structural well-formedness constraints of the source model. In this paper we outline a systematic technique to calculate valid source candidates by iterative calls to underlying SAT solvers.",
author = "Oszk{\'a}r Semer{\'a}th and Csaba Debreceni and {\'A}kos Horv{\'a}th and D. Varr{\'o}",
year = "2016",
language = "English",
volume = "1571",
pages = "40--44",
journal = "[No source information available]",
issn = "0402-1215",

}

TY - JOUR

T1 - Change propagation of view models by logic synthesis using SAT solvers

AU - Semeráth, Oszkár

AU - Debreceni, Csaba

AU - Horváth, Ákos

AU - Varró, D.

PY - 2016

Y1 - 2016

N2 - 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 under design. View models can be specified by unidirectional graph queries, and automatically maintained from the underlying source model using incremental transformation techniques. However, tracing back the consequence of a modification in the abstract view to the source model is a challenging task as several valid source changes may correspond to a single change in the view. Calculating these source changes requires complex logic analysis which has to take into account both queries defining the view and the structural well-formedness constraints of the source model. In this paper we outline a systematic technique to calculate valid source candidates by iterative calls to underlying SAT solvers.

AB - 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 under design. View models can be specified by unidirectional graph queries, and automatically maintained from the underlying source model using incremental transformation techniques. However, tracing back the consequence of a modification in the abstract view to the source model is a challenging task as several valid source changes may correspond to a single change in the view. Calculating these source changes requires complex logic analysis which has to take into account both queries defining the view and the structural well-formedness constraints of the source model. In this paper we outline a systematic technique to calculate valid source candidates by iterative calls to underlying SAT solvers.

UR - http://www.scopus.com/inward/record.url?scp=84964200034&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84964200034&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:84964200034

VL - 1571

SP - 40

EP - 44

JO - [No source information available]

JF - [No source information available]

SN - 0402-1215

ER -