eprintid: 2057
rev_number: 8
eprint_status: archive
userid: 30
dir: disk0/00/00/20/57
datestamp: 2013-12-12 13:11:24
lastmod: 2013-12-12 13:11:24
status_changed: 2013-12-12 13:11:24
type: article
succeeds: 1649
metadata_visibility: show
creators_name: Bruni, Roberto
creators_name: Lluch-Lafuente, Alberto
creators_name: Montanari, Ugo
creators_id: 
creators_id: alberto.lluch@imtlucca.it
creators_id: 
title: Constraint Design Rewriting
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
monograph_type: working_paper
abstract: We propose an algebraic approach to the design and transformation of constraint networks, inspired by Architectural Design Rewriting. The approach can be understood as (i) an extension of ADR with constraints, and (ii) an application of ADR to the design of reconfigurable constraint networks. The main idea is to consider classes of constraint networks as algebras whose operators are used to denote constraint networks with terms. Constraint network transformations such as constraint propagations are specified with rewrite rules exploiting the network’s structure provided by terms.
date: 2013-12
date_type: published
publication: Science of Computer Programming
publisher: Elsevier
institution: IMT Institute for Advanced Studies Lucca
refereed: TRUE
issn: 0167-6423
official_url: http://www.sciencedirect.com/science/article/pii/S0167642313002992
citation:   Bruni, Roberto and Lluch-Lafuente, Alberto and Montanari, Ugo  Constraint Design Rewriting.  Science of Computer Programming.   ISSN 0167-6423      (2013)  
document_url: http://eprints.imtlucca.it/2057/1/pk65.pdf
document_url: http://eprints.imtlucca.it/2057/6/pk65.pdf