Logo eprints

Constraint Design Rewriting

Bruni, Roberto and Lluch-Lafuente, Alberto and Montanari, Ugo Constraint Design Rewriting. Working Paper (Submitted)

WarningThere is a more recent version of this item available.
Download (382kB) | Preview


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.

Item Type: Working Paper (Working Paper)
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Users 30 not found.
Date Deposited: 31 Jul 2013 07:12
Last Modified: 31 Jul 2013 07:12
URI: http://eprints.imtlucca.it/id/eprint/1649

Available Versions of this Item

Actions (login required)

Edit Item Edit Item