Transforming and refining abstract constraint specifications

A M Frisch, B Hnich, I Miguel, B M Smith, T Walsh

Research output: Book/ReportBook

7 Citations (Scopus)


To use constraint technology to solve a problem, the solutions to the problem must first be characterised, or modelled, by a set of constraints that they must satisfy. A significant part of the modelling process can be characterised as refinement, the process of generating a concrete model from an abstract specification of the problem. Expert modellers also identify and perform transformations that can dramatically reduce the effort needed to solve the problem by systematic search. Through a case study of modelling a simplified version of the SONET fibre-optic communication problem, this paper examines the processes of refinement and transformation, and especially the interaction between the two.

Original languageEnglish
PublisherUnknown Publisher
Number of pages16
Publication statusPublished - 2005




Dive into the research topics of 'Transforming and refining abstract constraint specifications'. Together they form a unique fingerprint.

Cite this