Mapping OCL as a Query and Constraint Language

Esta tesis doctoral debe gran parte de su motivación inicial y enfoque final a la discusión muy animada y perspicaz que tuvo lugar durante el seminario “Automated Reasoning on Conceptual Schemas” en Dagstuhl (19-24 Mayo, 2013) [18], en el cual tuvimos la fortuna de participar.Incluso antes de asisti...

Descripción completa

Detalles Bibliográficos
Autor: Dania Flores, Carolina Inés
Tipo de recurso: tesis doctoral
Fecha de publicación:2018
País:España
Institución:Universidad Complutense de Madrid (UCM)
Repositorio:Docta Complutense
Idioma:inglés
OAI Identifier:oai:docta.ucm.es:20.500.14352/16457
Acceso en línea:https://hdl.handle.net/20.500.14352/16457
Access Level:acceso abierto
Palabra clave:004.42.048(043.2)
004.438OCL(043.2)
Programación con restricciones
OCL (lenguaje programación)
Constraint programming
OCL ((Programming language)
Lenguajes de programación
1203.23 Lenguajes de Programación
id ES_a751d9ae1267ccacdd84646eb0b56352
oai_identifier_str oai:docta.ucm.es:20.500.14352/16457
network_acronym_str ES
network_name_str España
repository_id_str
spelling Mapping OCL as a Query and Constraint LanguageTraduciendo OCL como lenguaje de consultas y restriccionesDania Flores, Carolina Inés004.42.048(043.2)004.438OCL(043.2)Programación con restriccionesOCL (lenguaje programación)Constraint programmingOCL ((Programming language)Lenguajes de programación1203.23 Lenguajes de ProgramaciónEsta tesis doctoral debe gran parte de su motivación inicial y enfoque final a la discusión muy animada y perspicaz que tuvo lugar durante el seminario “Automated Reasoning on Conceptual Schemas” en Dagstuhl (19-24 Mayo, 2013) [18], en el cual tuvimos la fortuna de participar.Incluso antes de asistir al seminario, sobre la base de nuestra propia experiencia aplicando la metodología de desarrollo dirigida por modelos en el proyecto Action GUI [1],ya estábamos convencidos de la veracidad y la importancia de tres declaraciones claves contenidas en la presentación del mismo, que resumen muy bien las motivaciones finales de esta tesis:“La calidad de un sistema de información se determina en gran medida a principios del ciclo de desarrollo, es decir, durante la especificación de los requisitos y el modelado conceptual, ya que los errores introducidos en estas etapas suelen ser mucho más costosos de corregir que los errores cometidos durante el diseño o la implementación.”“Por lo tanto, es deseable prevenir, detectar y corregir errores tan pronto como sea posible en el proceso de desarrollo evaluando la corrección de los esquemas conceptuales construidos.”“La alta expresividad de los esquemas conceptuales requiere adoptar técnicas de razonamiento automatizadas para apoyar al diseñador en esta importante tarea.”...Universidad Complutense de MadridGarcía Clavel, ManuelEgea González, MarinaUniversidad Complutense de Madrid20182018-10-2520182018-10-25doctoral thesishttp://purl.org/coar/resource_type/c_db06info:eu-repo/semantics/doctoralThesisapplication/pdfhttps://hdl.handle.net/20.500.14352/16457reponame:Docta Complutenseinstname:Universidad Complutense de Madrid (UCM)Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:docta.ucm.es:20.500.14352/164572026-06-02T12:44:21Z
dc.title.none.fl_str_mv Mapping OCL as a Query and Constraint Language
Traduciendo OCL como lenguaje de consultas y restricciones
title Mapping OCL as a Query and Constraint Language
spellingShingle Mapping OCL as a Query and Constraint Language
Dania Flores, Carolina Inés
004.42.048(043.2)
004.438OCL(043.2)
Programación con restricciones
OCL (lenguaje programación)
Constraint programming
OCL ((Programming language)
Lenguajes de programación
1203.23 Lenguajes de Programación
title_short Mapping OCL as a Query and Constraint Language
title_full Mapping OCL as a Query and Constraint Language
title_fullStr Mapping OCL as a Query and Constraint Language
title_full_unstemmed Mapping OCL as a Query and Constraint Language
title_sort Mapping OCL as a Query and Constraint Language
dc.creator.none.fl_str_mv Dania Flores, Carolina Inés
author Dania Flores, Carolina Inés
author_facet Dania Flores, Carolina Inés
author_role author
dc.contributor.none.fl_str_mv García Clavel, Manuel
Egea González, Marina
Universidad Complutense de Madrid
dc.subject.none.fl_str_mv 004.42.048(043.2)
004.438OCL(043.2)
Programación con restricciones
OCL (lenguaje programación)
Constraint programming
OCL ((Programming language)
Lenguajes de programación
1203.23 Lenguajes de Programación
topic 004.42.048(043.2)
004.438OCL(043.2)
Programación con restricciones
OCL (lenguaje programación)
Constraint programming
OCL ((Programming language)
Lenguajes de programación
1203.23 Lenguajes de Programación
description Esta tesis doctoral debe gran parte de su motivación inicial y enfoque final a la discusión muy animada y perspicaz que tuvo lugar durante el seminario “Automated Reasoning on Conceptual Schemas” en Dagstuhl (19-24 Mayo, 2013) [18], en el cual tuvimos la fortuna de participar.Incluso antes de asistir al seminario, sobre la base de nuestra propia experiencia aplicando la metodología de desarrollo dirigida por modelos en el proyecto Action GUI [1],ya estábamos convencidos de la veracidad y la importancia de tres declaraciones claves contenidas en la presentación del mismo, que resumen muy bien las motivaciones finales de esta tesis:“La calidad de un sistema de información se determina en gran medida a principios del ciclo de desarrollo, es decir, durante la especificación de los requisitos y el modelado conceptual, ya que los errores introducidos en estas etapas suelen ser mucho más costosos de corregir que los errores cometidos durante el diseño o la implementación.”“Por lo tanto, es deseable prevenir, detectar y corregir errores tan pronto como sea posible en el proceso de desarrollo evaluando la corrección de los esquemas conceptuales construidos.”“La alta expresividad de los esquemas conceptuales requiere adoptar técnicas de razonamiento automatizadas para apoyar al diseñador en esta importante tarea.”...
publishDate 2018
dc.date.none.fl_str_mv 2018
2018-10-25
2018
2018-10-25
dc.type.none.fl_str_mv doctoral thesis
http://purl.org/coar/resource_type/c_db06
dc.type.openaire.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
dc.identifier.none.fl_str_mv https://hdl.handle.net/20.500.14352/16457
url https://hdl.handle.net/20.500.14352/16457
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidad Complutense de Madrid
publisher.none.fl_str_mv Universidad Complutense de Madrid
dc.source.none.fl_str_mv reponame:Docta Complutense
instname:Universidad Complutense de Madrid (UCM)
instname_str Universidad Complutense de Madrid (UCM)
reponame_str Docta Complutense
collection Docta Complutense
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869415768811110400
score 15,301603

Similares en LA Referencia