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 language | English |
|---|---|
| Pages (from-to) | 40-44 |
| Number of pages | 5 |
| Journal | Unknown Journal |
| Volume | 1571 |
| Publication status | Published - 2016 |
Fingerprint
ASJC Scopus subject areas
- Computer Science(all)
Cite this
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 journal › Article
}
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 -