Observatorio de I+D+i UPM

Memorias de investigación
Research Publications in journals:
A Tool for the Integration of Constraint Programming in Spreadsheets
Year:2012
Research Areas
  • Mathematics,
  • Help desk,
  • Programming language
Information
Abstract
Spreadsheets have become widely used tools, but they are applied to increasingly complex problems, far beyond the kind of tasks for which they were originally conceived. This often results in large, hard to maintain sheets, with little guarantee about their correctness. Potential errors are due in part to unskilled users and also to the spreadsheet systems' own limitations. This contribution presents a tool that aims at improving the usual working flow when filling in a spreadsheet. The tool integrates a constraint solver based on transformations of the cell content into equality and inequality systems over rationals. The transformed systems are then solved using constraint logic programs and the obtained solutions are presented to the user in an understandable way. One of the practical benefits of this solution based on constraint logic programming is backwards execution: our tool is able to find out the required input values to reach the desired outputs depending on aggregation formulae written in the cells. Also, the constraint model offers a simple and sound solution to the problem of circular references in cell formulas.
International
Si
JCR
No
Title
Electronic Notes in Theoretical Computer Science
ISBN
1571-0661
Impact factor JCR
0
Impact info
Volume
Journal number
From page
35
To page
45
Month
SIN MES
Ranking
Participants
  • Autor: Angel Herranz Nieva (UPM)
  • Autor: Julio Mariño Carballo (UPM)
  • Autor: Ana Maria Fernandez Soriano (UPM)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
S2i 2019 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)