Dominion: an architecture-driven approach to generating efficient constraint solvers

Dharini Balasubramaniam, Lakshitha Ramesh De Silva, Christopher Anthony Jefferson, Lars Kotthoff, Ian James Miguel, Peter Nightingale

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)
3 Downloads (Pure)

Abstract

Constraints are used to solve combinatorial problems in a variety of industrial and academic disciplines. However most constraint solvers are designed to be general and monolithic, leading to problems with efficiency, scalability and extensibility. We propose a novel, architecture-driven constraint solver generation framework called Dominion to tackle these issues. For any given problem, Dominion generates a lean and efficient solver tailored to that problem. In this paper, we outline the Dominion approach and its implications for software architecture specification of the solver.
Original languageEnglish
Title of host publicationProceedings of the 9th Working IEEE/IFIP Conference on Software Architecture (WICSA)
Subtitle of host publicationBoulder, Colorado, USA 20-24 June 2011
Place of PublicationLos Alamiros, CA
PublisherIEEE Computer Society
Pages228-231
Number of pages4
ISBN (Print)978-1-61284-399-5
DOIs
Publication statusPublished - Jun 2011
Event9th Working IEEE/IFIP Conference on Software Architecture - Boulder, United States
Duration: 20 Jun 201124 Jun 2011

Conference

Conference9th Working IEEE/IFIP Conference on Software Architecture
Country/TerritoryUnited States
CityBoulder
Period20/06/1124/06/11

Keywords

  • Software architecture
  • Constraint solver
  • Generative programming

Fingerprint

Dive into the research topics of 'Dominion: an architecture-driven approach to generating efficient constraint solvers'. Together they form a unique fingerprint.

Cite this