Transforming and Refining Abstract Constraint Specifications

Alan M. Frisch; Brahim Hnich; Ian Miguel; Barbara M. Smith; Toby Walsh

doi:10.1007/11527862_6

Transforming and Refining Abstract Constraint Specifications

Alan M. Frisch, Brahim Hnich, Ian Miguel, Barbara M. Smith, Toby Walsh

Computer Science

Research output: Contribution to conference › Paper › peer-review

Abstract

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 language	Undefined/Unknown
Pages	76-91
DOIs	https://doi.org/10.1007/11527862_6
Publication status	Published - 2005

Access to Document

10.1007/11527862_6

http://dx.doi.org/10.1007/11527862_6

Cite this

@conference{c4c0a27339e34f4f8e12bf85d5375061,

title = "Transforming and Refining Abstract Constraint Specifications",

abstract = "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. ",

author = "Frisch, {Alan M.} and Brahim Hnich and Ian Miguel and Smith, {Barbara M.} and Toby Walsh",

year = "2005",

doi = "10.1007/11527862_6",

language = "Undefined/Unknown",

pages = "76--91",

}

TY - CONF

T1 - Transforming and Refining Abstract Constraint Specifications

AU - Frisch, Alan M.

AU - Hnich, Brahim

AU - Miguel, Ian

AU - Smith, Barbara M.

AU - Walsh, Toby

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

U2 - 10.1007/11527862_6

DO - 10.1007/11527862_6

M3 - Paper

SP - 76

EP - 91

ER -