Observatorio de I+D+i UPM

Memorias de investigación
Artículos en revistas:
A Tool for the Integration of Constraint Programming in Spreadsheets
Año:2012
Áreas de investigación
  • Matemáticas,
  • Asistencia al usuario,
  • Lenguaje de programación
Datos
Descripción
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.
Internacional
Si
JCR del ISI
No
Título de la revista
Electronic Notes in Theoretical Computer Science
ISSN
1571-0661
Factor de impacto JCR
0
Información de impacto
Volumen
DOI
Número de revista
Desde la página
35
Hasta la página
45
Mes
SIN MES
Ranking
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Angel Herranz Nieva (UPM)
  • Autor: Julio Mariño Carballo (UPM)
  • Autor: Ana Maria Fernandez Soriano (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
S2i 2021 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)