?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.relation=http%3A%2F%2Feprints.imtlucca.it%2F1649%2F&rft.title=Constraint+Design+Rewriting&rft.creator=Bruni%2C+Roberto&rft.creator=Lluch-Lafuente%2C+Alberto&rft.creator=Montanari%2C+Ugo&rft.subject=QA75+Electronic+computers.+Computer+science&rft.description=We+propose+an+algebraic+approach+to+the+design+and+transformation+of+constraint+networks%2C+inspired+by+Architectural+Design+Rewriting.+The+approach+can+be+understood+as+(i)+an+extension+of+ADR+with+constraints%2C+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%E2%80%99s+structure+provided+by+terms.&rft.date=2013-07&rft.type=Working+Paper&rft.type=NonPeerReviewed&rft.format=application%2Fpdf&rft.language=en&rft.identifier=http%3A%2F%2Feprints.imtlucca.it%2F1649%2F1%2Fpk65.pdf&rft.identifier=++Bruni%2C+Roberto+and+Lluch-Lafuente%2C+Alberto+and+Montanari%2C+Ugo++Constraint+Design+Rewriting.++Working+Paper+++++++(Submitted)+++