Integración de Modelos en UML y Especificaciones Formales: Transformaciones de OCL a RSL

Autores
Funes, Ana; Dasso, Aristides
Año de publicación
2005
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
Continuando con nuestra investigación sobre la integración del Lenguaje Unificado de Modelado (UML) y el lenguaje de especificación del método formal RAISE (RSL), presentamos una de las líneas de trabajo en la cual nos encontramos investigando actualmente que consiste en la integración de OCL con RSL. Basándonos en nuestro trabajo previo, donde mostramos cómo obtener a partir de un diagrama de clases en UML una especificación inicial en RSL, nos encontramos construyendo un conjunto de reglas de transformación de restricciones de OCL a RSL.
Eje: Ingeniería en Software
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
SOFTWARE ENGINEERING
Modelos en UML
Especificaciones Formales
Transformaciones de OCL a RSL
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/21122
Acceder
id SEDICI_e27fc3a8cf7e95c3a99f201bbe99ffdb
oai_identifier_str oai:sedici.unlp.edu.ar:10915/21122
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Integración de Modelos en UML y Especificaciones Formales: Transformaciones de OCL a RSLFunes, AnaDasso, AristidesCiencias InformáticasSOFTWARE ENGINEERINGModelos en UMLEspecificaciones FormalesTransformaciones de OCL a RSLContinuando con nuestra investigación sobre la integración del Lenguaje Unificado de Modelado (UML) y el lenguaje de especificación del método formal RAISE (RSL), presentamos una de las líneas de trabajo en la cual nos encontramos investigando actualmente que consiste en la integración de OCL con RSL. Basándonos en nuestro trabajo previo, donde mostramos cómo obtener a partir de un diagrama de clases en UML una especificación inicial en RSL, nos encontramos construyendo un conjunto de reglas de transformación de restricciones de OCL a RSL.Eje: Ingeniería en SoftwareRed de Universidades con Carreras en Informática (RedUNCI)2005-05info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf283-285http://sedici.unlp.edu.ar/handle/10915/21122spainfo:eu-repo/semantics/altIdentifier/isbn/950-665-337-2info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:27:20Zoai:sedici.unlp.edu.ar:10915/21122Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:27:21.04SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Integración de Modelos en UML y Especificaciones Formales: Transformaciones de OCL a RSL
title Integración de Modelos en UML y Especificaciones Formales: Transformaciones de OCL a RSL
spellingShingle Integración de Modelos en UML y Especificaciones Formales: Transformaciones de OCL a RSL
Funes, Ana
Ciencias Informáticas
SOFTWARE ENGINEERING
Modelos en UML
Especificaciones Formales
Transformaciones de OCL a RSL
title_short Integración de Modelos en UML y Especificaciones Formales: Transformaciones de OCL a RSL
title_full Integración de Modelos en UML y Especificaciones Formales: Transformaciones de OCL a RSL
title_fullStr Integración de Modelos en UML y Especificaciones Formales: Transformaciones de OCL a RSL
title_full_unstemmed Integración de Modelos en UML y Especificaciones Formales: Transformaciones de OCL a RSL
title_sort Integración de Modelos en UML y Especificaciones Formales: Transformaciones de OCL a RSL
dc.creator.none.fl_str_mv Funes, Ana
Dasso, Aristides
author Funes, Ana
author_facet Funes, Ana
Dasso, Aristides
author_role author
author2 Dasso, Aristides
author2_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
SOFTWARE ENGINEERING
Modelos en UML
Especificaciones Formales
Transformaciones de OCL a RSL
topic Ciencias Informáticas
SOFTWARE ENGINEERING
Modelos en UML
Especificaciones Formales
Transformaciones de OCL a RSL
dc.description.none.fl_txt_mv Continuando con nuestra investigación sobre la integración del Lenguaje Unificado de Modelado (UML) y el lenguaje de especificación del método formal RAISE (RSL), presentamos una de las líneas de trabajo en la cual nos encontramos investigando actualmente que consiste en la integración de OCL con RSL. Basándonos en nuestro trabajo previo, donde mostramos cómo obtener a partir de un diagrama de clases en UML una especificación inicial en RSL, nos encontramos construyendo un conjunto de reglas de transformación de restricciones de OCL a RSL.
Eje: Ingeniería en Software
Red de Universidades con Carreras en Informática (RedUNCI)
description Continuando con nuestra investigación sobre la integración del Lenguaje Unificado de Modelado (UML) y el lenguaje de especificación del método formal RAISE (RSL), presentamos una de las líneas de trabajo en la cual nos encontramos investigando actualmente que consiste en la integración de OCL con RSL. Basándonos en nuestro trabajo previo, donde mostramos cómo obtener a partir de un diagrama de clases en UML una especificación inicial en RSL, nos encontramos construyendo un conjunto de reglas de transformación de restricciones de OCL a RSL.
publishDate 2005
dc.date.none.fl_str_mv 2005-05
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/21122
url http://sedici.unlp.edu.ar/handle/10915/21122
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/isbn/950-665-337-2
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
283-285
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1842260110932443136
score 13.13397

Publicaciones similares