Change Propagation of View Models by Logic Synthesis using SAT solvers


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… (More)


2 Figures and Tables