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
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/21120
Ver los metadatos del registro completo
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 |