Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z

Autores
Becker, Valeria; Pons, Claudia Fabiana
Año de publicación
2003
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión enviada
Descripción
En este documento presentamos una traducción de diagramas de clases UML complementados con expresiones OCL a expresiones Object-Z.\nNuestro fin es proveer una formalización de los modelos gráfico-textuales expresados mediante UML/OCL que permita aplicar técnicas clásicas de verificación y prueba de teoremas sobre los modelos.\nEsta traducción está siendo implementada como parte de una herramienta CASE que permite editar y gestionar modelos. Esperamos que pueda servir como un medio que ayude promover el uso industrial de UML y OCL.
Eje: Ingeniería de Software y Bases de Datos (ISBD)
Materia
Ciencias de la Computación
Base de Datos
OCL
UML
lenguajes formales
Semántica
Formal Languages
Semantics
SOFTWARE ENGINEERING
Object-Z
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/3640

id CICBA_6495c426269ea5e6e814e55b7c08412b
oai_identifier_str oai:digital.cic.gba.gob.ar:11746/3640
network_acronym_str CICBA
repository_id_str 9441
network_name_str CIC Digital (CICBA)
spelling Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-zBecker, ValeriaPons, Claudia FabianaCiencias de la ComputaciónBase de DatosOCLUMLlenguajes formalesSemánticaFormal LanguagesSemanticsSOFTWARE ENGINEERINGObject-ZEn este documento presentamos una traducción de diagramas de clases UML complementados con expresiones OCL a expresiones Object-Z.\nNuestro fin es proveer una formalización de los modelos gráfico-textuales expresados mediante UML/OCL que permita aplicar técnicas clásicas de verificación y prueba de teoremas sobre los modelos.\nEsta traducción está siendo implementada como parte de una herramienta CASE que permite editar y gestionar modelos. Esperamos que pueda servir como un medio que ayude promover el uso industrial de UML y OCL.Eje: Ingeniería de Software y Bases de Datos (ISBD)2003-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/submittedVersionhttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttps://digital.cic.gba.gob.ar/handle/11746/3640spainfo: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-04T09:43:27Zoai:digital.cic.gba.gob.ar:11746/3640Institucionalhttp://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-04 09:43:27.457CIC Digital (CICBA) - Comisión de Investigaciones Científicas de la Provincia de Buenos Airesfalse
dc.title.none.fl_str_mv Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z
title Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z
spellingShingle Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z
Becker, Valeria
Ciencias de la Computación
Base de Datos
OCL
UML
lenguajes formales
Semántica
Formal Languages
Semantics
SOFTWARE ENGINEERING
Object-Z
title_short Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z
title_full Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z
title_fullStr Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z
title_full_unstemmed Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z
title_sort Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z
dc.creator.none.fl_str_mv Becker, Valeria
Pons, Claudia Fabiana
author Becker, Valeria
author_facet Becker, Valeria
Pons, Claudia Fabiana
author_role author
author2 Pons, Claudia Fabiana
author2_role author
dc.subject.none.fl_str_mv Ciencias de la Computación
Base de Datos
OCL
UML
lenguajes formales
Semántica
Formal Languages
Semantics
SOFTWARE ENGINEERING
Object-Z
topic Ciencias de la Computación
Base de Datos
OCL
UML
lenguajes formales
Semántica
Formal Languages
Semantics
SOFTWARE ENGINEERING
Object-Z
dc.description.none.fl_txt_mv En este documento presentamos una traducción de diagramas de clases UML complementados con expresiones OCL a expresiones Object-Z.\nNuestro fin es proveer una formalización de los modelos gráfico-textuales expresados mediante UML/OCL que permita aplicar técnicas clásicas de verificación y prueba de teoremas sobre los modelos.\nEsta traducción está siendo implementada como parte de una herramienta CASE que permite editar y gestionar modelos. Esperamos que pueda servir como un medio que ayude promover el uso industrial de UML y OCL.
Eje: Ingeniería de Software y Bases de Datos (ISBD)
description En este documento presentamos una traducción de diagramas de clases UML complementados con expresiones OCL a expresiones Object-Z.\nNuestro fin es proveer una formalización de los modelos gráfico-textuales expresados mediante UML/OCL que permita aplicar técnicas clásicas de verificación y prueba de teoremas sobre los modelos.\nEsta traducción está siendo implementada como parte de una herramienta CASE que permite editar y gestionar modelos. Esperamos que pueda servir como un medio que ayude promover el uso industrial de UML y OCL.
publishDate 2003
dc.date.none.fl_str_mv 2003-10
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/submittedVersion
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str submittedVersion
dc.identifier.none.fl_str_mv https://digital.cic.gba.gob.ar/handle/11746/3640
url https://digital.cic.gba.gob.ar/handle/11746/3640
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_ 1842340420641619968
score 12.623145