Skip to main content

Research Repository

Advanced Search

Verification of redesign models: a CSP approach.

Arana, Ines; Ahriz, Hatem



Steve Culley


One of the initial stages in the manufacturing of an article is the production of a design which satisfies a set of user requirements. Much of the design work carried out in manufacturing companies can be classified as redesign, i.e. producing a new variant of a known product family which satisfies a slightly different specification. This type of redesign application is particularly well suited to computer support since: (i) the knowledge used is well-understood; (ii) solutions are highly reusable. Redesign support systems often involve the creation of a model, which is then used by the advisory system. These models rely on constraints to express a substantial amount of design knowledge, e.g. design laws, principles, company restrictions, international standards and customer requirements. Although a lot of effort has been devoted to the verification of rule-based knowledge [1], little effort appears to have been spent on constraint verification. This paper presents a methodology to verify constraints in a redesign model and argues that verification can be seen as a Constraint Satisfaction Problem (CSP).


ARANA, I. and AHRIZ, H. 2001. Verification of redesign models: a CSP approach. In Culley, S. (ed.) Proceedings of the 13th International conference on engineering design (ICED'01), 21-23 August 2001, Glasgow, UK. Zurich: Professional Engineering Publishing, pages 283-290.

Conference Name 13th International conference on engineering design (ICED'01)
Conference Location Glasgow, UK
Start Date Aug 21, 2001
End Date Aug 23, 2001
Acceptance Date Aug 21, 2001
Publication Date Aug 21, 2001
Deposit Date Sep 21, 2016
Publicly Available Date Sep 21, 2016
Publisher Professional Engineering Publishing
Pages 283-290
ISBN 1860583547
Keywords Design representations; Product modelling; Constraint based design; Knowledge representation
Public URL


You might also like

Downloadable Citations