El proceso de desarrollo de software basado en modelos

Autores
Pons, Claudia Fabiana
Año de publicación
2001
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
El objetivo de este artículo es describir las principales características del proceso de desarrollo de software basado en modelos, destacando la necesidad de integrar lenguajes de modelado gráficos, cercanos a las necesidades del dominio de la aplicación, con lenguajes de modelado formales, provistos de herramientas de análisis y verificación. A partir de la estandarización del lenguaje gráfico de modelado Unified Modeling Language (UML) han surgido activas discusiones acerca de la precisión semántica de sus construcciones. Mientras que el OMG fue responsable por la estandarización de UML como notación, la semántica de UML aún es un tema de investigación. Existe un número importante de trabajos teóricos que tratan diferentes partes de UML definiendo formalmente su semántica. En este artículo hemos seleccionamos los más representativos y los hemos clasificado en dos grupos: formalizaciones basadas en el modelo y formalizaciones basadas en el metamodelo. Realizamos un análisis comparativo de ambos grupos y finalmente describimos una propuesta intermedia que formaliza UML mediante una teoría formal de primer orden.
Eje: Ingeniería de software
Materia
Ciencias de la Computación
Software
Models
desarrollo de software
Modelos
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by/4.0/
Repositorio
CIC Digital (CICBA)
Institución
Comisión de Investigaciones Científicas de la Provincia de Buenos Aires
OAI Identificador
oai:digital.cic.gba.gob.ar:11746/3540

id CICBA_3a89ca0d2770aee90a8218944f1f7c63
oai_identifier_str oai:digital.cic.gba.gob.ar:11746/3540
network_acronym_str CICBA
repository_id_str 9441
network_name_str CIC Digital (CICBA)
spelling El proceso de desarrollo de software basado en modelosPons, Claudia FabianaCiencias de la ComputaciónSoftwareModelsdesarrollo de softwareModelosEl objetivo de este artículo es describir las principales características del proceso de desarrollo de software basado en modelos, destacando la necesidad de integrar lenguajes de modelado gráficos, cercanos a las necesidades del dominio de la aplicación, con lenguajes de modelado formales, provistos de herramientas de análisis y verificación. A partir de la estandarización del lenguaje gráfico de modelado Unified Modeling Language (UML) han surgido activas discusiones acerca de la precisión semántica de sus construcciones. Mientras que el OMG fue responsable por la estandarización de UML como notación, la semántica de UML aún es un tema de investigación. Existe un número importante de trabajos teóricos que tratan diferentes partes de UML definiendo formalmente su semántica. En este artículo hemos seleccionamos los más representativos y los hemos clasificado en dos grupos: formalizaciones basadas en el modelo y formalizaciones basadas en el metamodelo. Realizamos un análisis comparativo de ambos grupos y finalmente describimos una propuesta intermedia que formaliza UML mediante una teoría formal de primer orden.Eje: Ingeniería de software2001-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttps://digital.cic.gba.gob.ar/handle/11746/3540spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by/4.0/reponame:CIC Digital (CICBA)instname:Comisión de Investigaciones Científicas de la Provincia de Buenos Airesinstacron:CICBA2025-09-29T13:40:19Zoai:digital.cic.gba.gob.ar:11746/3540Institucionalhttp://digital.cic.gba.gob.arOrganismo científico-tecnológicoNo correspondehttp://digital.cic.gba.gob.ar/oai/snrdmarisa.degiusti@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:94412025-09-29 13:40:19.55CIC Digital (CICBA) - Comisión de Investigaciones Científicas de la Provincia de Buenos Airesfalse
dc.title.none.fl_str_mv El proceso de desarrollo de software basado en modelos
title El proceso de desarrollo de software basado en modelos
spellingShingle El proceso de desarrollo de software basado en modelos
Pons, Claudia Fabiana
Ciencias de la Computación
Software
Models
desarrollo de software
Modelos
title_short El proceso de desarrollo de software basado en modelos
title_full El proceso de desarrollo de software basado en modelos
title_fullStr El proceso de desarrollo de software basado en modelos
title_full_unstemmed El proceso de desarrollo de software basado en modelos
title_sort El proceso de desarrollo de software basado en modelos
dc.creator.none.fl_str_mv Pons, Claudia Fabiana
author Pons, Claudia Fabiana
author_facet Pons, Claudia Fabiana
author_role author
dc.subject.none.fl_str_mv Ciencias de la Computación
Software
Models
desarrollo de software
Modelos
topic Ciencias de la Computación
Software
Models
desarrollo de software
Modelos
dc.description.none.fl_txt_mv El objetivo de este artículo es describir las principales características del proceso de desarrollo de software basado en modelos, destacando la necesidad de integrar lenguajes de modelado gráficos, cercanos a las necesidades del dominio de la aplicación, con lenguajes de modelado formales, provistos de herramientas de análisis y verificación. A partir de la estandarización del lenguaje gráfico de modelado Unified Modeling Language (UML) han surgido activas discusiones acerca de la precisión semántica de sus construcciones. Mientras que el OMG fue responsable por la estandarización de UML como notación, la semántica de UML aún es un tema de investigación. Existe un número importante de trabajos teóricos que tratan diferentes partes de UML definiendo formalmente su semántica. En este artículo hemos seleccionamos los más representativos y los hemos clasificado en dos grupos: formalizaciones basadas en el modelo y formalizaciones basadas en el metamodelo. Realizamos un análisis comparativo de ambos grupos y finalmente describimos una propuesta intermedia que formaliza UML mediante una teoría formal de primer orden.
Eje: Ingeniería de software
description El objetivo de este artículo es describir las principales características del proceso de desarrollo de software basado en modelos, destacando la necesidad de integrar lenguajes de modelado gráficos, cercanos a las necesidades del dominio de la aplicación, con lenguajes de modelado formales, provistos de herramientas de análisis y verificación. A partir de la estandarización del lenguaje gráfico de modelado Unified Modeling Language (UML) han surgido activas discusiones acerca de la precisión semántica de sus construcciones. Mientras que el OMG fue responsable por la estandarización de UML como notación, la semántica de UML aún es un tema de investigación. Existe un número importante de trabajos teóricos que tratan diferentes partes de UML definiendo formalmente su semántica. En este artículo hemos seleccionamos los más representativos y los hemos clasificado en dos grupos: formalizaciones basadas en el modelo y formalizaciones basadas en el metamodelo. Realizamos un análisis comparativo de ambos grupos y finalmente describimos una propuesta intermedia que formaliza UML mediante una teoría formal de primer orden.
publishDate 2001
dc.date.none.fl_str_mv 2001-10
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv https://digital.cic.gba.gob.ar/handle/11746/3540
url https://digital.cic.gba.gob.ar/handle/11746/3540
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by/4.0/
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by/4.0/
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:CIC Digital (CICBA)
instname:Comisión de Investigaciones Científicas de la Provincia de Buenos Aires
instacron:CICBA
reponame_str CIC Digital (CICBA)
collection CIC Digital (CICBA)
instname_str Comisión de Investigaciones Científicas de la Provincia de Buenos Aires
instacron_str CICBA
institution CICBA
repository.name.fl_str_mv CIC Digital (CICBA) - Comisión de Investigaciones Científicas de la Provincia de Buenos Aires
repository.mail.fl_str_mv marisa.degiusti@sedici.unlp.edu.ar
_version_ 1844618616409948160
score 13.070432