Hacia la validación de arquitecturas de software usando Alloy

Autores
Novaira, Maria Marta; Permigiani, Sonia
Año de publicación
2005
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
En este trabajo, presentamos algunas líneas de trabajo que seguimos actualmente, con el objetivo principal de utilizar el lenguaje relacional Alloy para la validación de propiedades estáticas y dinámicas de arquitecturas de software. Allor es un lenguaje de especificaciones con una semántica formal clara, basada principalmente en la noción de relación, y que ha ganado importancia en el último tiempo. Presentamos aquí de qué forma pueden especificarse usando Alloy algunos conceptos asociados a las arquitecturas de software, como componentes o conectores y cómo podría, en principio, utilizar el Alloy Analyzer para validar propiedad estáticas de arquitecturas. Además, discutimos algunas de las limitaciones de Alloy para la especificación de arquitecturas de software, particularmente el modelado de propiedades de trazas de ejecución de sistemas basados en componentes.
Eje: Ingeniería en Software
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
SOFTWARE ENGINEERING
Validación
arquitectura
Software
arquitectura de software
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/21120

id SEDICI_466f252f1a27b6473f44f4daec7abb8b
oai_identifier_str oai:sedici.unlp.edu.ar:10915/21120
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Hacia la validación de arquitecturas de software usando AlloyNovaira, Maria MartaPermigiani, SoniaCiencias InformáticasSOFTWARE ENGINEERINGValidaciónarquitecturaSoftwarearquitectura de softwareEn este trabajo, presentamos algunas líneas de trabajo que seguimos actualmente, con el objetivo principal de utilizar el lenguaje relacional Alloy para la validación de propiedades estáticas y dinámicas de arquitecturas de software. Allor es un lenguaje de especificaciones con una semántica formal clara, basada principalmente en la noción de relación, y que ha ganado importancia en el último tiempo. Presentamos aquí de qué forma pueden especificarse usando Alloy algunos conceptos asociados a las arquitecturas de software, como componentes o conectores y cómo podría, en principio, utilizar el Alloy Analyzer para validar propiedad estáticas de arquitecturas. Además, discutimos algunas de las limitaciones de Alloy para la especificación de arquitecturas de software, particularmente el modelado de propiedades de trazas de ejecución de sistemas basados en componentes.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/pdf243-247http://sedici.unlp.edu.ar/handle/10915/21120spainfo: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/21120Institucionalhttp://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.035SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Hacia la validación de arquitecturas de software usando Alloy
title Hacia la validación de arquitecturas de software usando Alloy
spellingShingle Hacia la validación de arquitecturas de software usando Alloy
Novaira, Maria Marta
Ciencias Informáticas
SOFTWARE ENGINEERING
Validación
arquitectura
Software
arquitectura de software
title_short Hacia la validación de arquitecturas de software usando Alloy
title_full Hacia la validación de arquitecturas de software usando Alloy
title_fullStr Hacia la validación de arquitecturas de software usando Alloy
title_full_unstemmed Hacia la validación de arquitecturas de software usando Alloy
title_sort Hacia la validación de arquitecturas de software usando Alloy
dc.creator.none.fl_str_mv Novaira, Maria Marta
Permigiani, Sonia
author Novaira, Maria Marta
author_facet Novaira, Maria Marta
Permigiani, Sonia
author_role author
author2 Permigiani, Sonia
author2_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
SOFTWARE ENGINEERING
Validación
arquitectura
Software
arquitectura de software
topic Ciencias Informáticas
SOFTWARE ENGINEERING
Validación
arquitectura
Software
arquitectura de software
dc.description.none.fl_txt_mv En este trabajo, presentamos algunas líneas de trabajo que seguimos actualmente, con el objetivo principal de utilizar el lenguaje relacional Alloy para la validación de propiedades estáticas y dinámicas de arquitecturas de software. Allor es un lenguaje de especificaciones con una semántica formal clara, basada principalmente en la noción de relación, y que ha ganado importancia en el último tiempo. Presentamos aquí de qué forma pueden especificarse usando Alloy algunos conceptos asociados a las arquitecturas de software, como componentes o conectores y cómo podría, en principio, utilizar el Alloy Analyzer para validar propiedad estáticas de arquitecturas. Además, discutimos algunas de las limitaciones de Alloy para la especificación de arquitecturas de software, particularmente el modelado de propiedades de trazas de ejecución de sistemas basados en componentes.
Eje: Ingeniería en Software
Red de Universidades con Carreras en Informática (RedUNCI)
description En este trabajo, presentamos algunas líneas de trabajo que seguimos actualmente, con el objetivo principal de utilizar el lenguaje relacional Alloy para la validación de propiedades estáticas y dinámicas de arquitecturas de software. Allor es un lenguaje de especificaciones con una semántica formal clara, basada principalmente en la noción de relación, y que ha ganado importancia en el último tiempo. Presentamos aquí de qué forma pueden especificarse usando Alloy algunos conceptos asociados a las arquitecturas de software, como componentes o conectores y cómo podría, en principio, utilizar el Alloy Analyzer para validar propiedad estáticas de arquitecturas. Además, discutimos algunas de las limitaciones de Alloy para la especificación de arquitecturas de software, particularmente el modelado de propiedades de trazas de ejecución de sistemas basados en componentes.
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/21120
url http://sedici.unlp.edu.ar/handle/10915/21120
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
243-247
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_ 1842260110930345984
score 13.13397