From Zinc to Design Model

Rafeh, Reza and Garcia de la Banda, Maria and Marriott, Kim and Wallace, Mark (2007) From Zinc to Design Model. PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages , Nice, France, January 14 - 15, 2007 .

Full text not available from this repository.

Official URL:

Abstract or Summary

We describe a preliminary implementation of the high-level modelling language Zinc. This language supports a modelling methodology in which the same Zinc model can be automatically mapped into different design models, thus allowing modellers to easily “plug and play” with different solving techniques and so choose the most appropriate for that problem. Currently, mappings to three very different design models based on constraint programming (CP), mixed integer programming (MIP) and local search are provided. Zinc is the first modelling language that we know of that supports such solver and technique-independent modelling. It does this by using an intermediate language called Flattened Zinc, and rewrite rules for transforming the Flattened Zinc model into one that is tailored to a particular solving technique.

Item Type:Paper presented at a conference, workshop or other event, and published in the proceedings
Subjects:Q Science > QA Mathematics > QA76 Computer software
Divisions:Schools > Centre for Business, Information Technology and Enterprise > School of Information Technology
ID Code:5128
Deposited By:
Deposited On:11 Jan 2017 01:03
Last Modified:19 Dec 2018 23:01

Repository Staff Only: item control page