Verifying BON models with alloy

Autores
Demasi, Ramiro Adrián; Ponzio, Pablo Daniel; Castro, Pablo Francisco; Baum, Gabriel Alfredo
Año de publicación
2005
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
In this paper we describe a methodology to translate BON (architectural) designs to Alloy specifications. The main virtue of this process is that it can be implemented by means of software tools. The utilization of this methodology during the software development allows designers to validate different kinds of properties over their BON models. Allowing, in this way, the finding of critical bugs in earlier steps of system construction. Finally, we present a software which implements this translation from BON to Alloy.
Facultad de Informática
Materia
Ciencias Informáticas
formal methods
object oriented languages
architectural models
SOFTWARE ENGINEERING
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc/3.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/9607

id SEDICI_a42a76922cb3489de55f1eda7d76a16e
oai_identifier_str oai:sedici.unlp.edu.ar:10915/9607
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Verifying BON models with alloyDemasi, Ramiro AdriánPonzio, Pablo DanielCastro, Pablo FranciscoBaum, Gabriel AlfredoCiencias Informáticasformal methodsobject oriented languagesarchitectural modelsSOFTWARE ENGINEERINGIn this paper we describe a methodology to translate BON (architectural) designs to Alloy specifications. The main virtue of this process is that it can be implemented by means of software tools. The utilization of this methodology during the software development allows designers to validate different kinds of properties over their BON models. Allowing, in this way, the finding of critical bugs in earlier steps of system construction. Finally, we present a software which implements this translation from BON to Alloy.Facultad de Informática2005-12info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionArticulohttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdf292-298http://sedici.unlp.edu.ar/handle/10915/9607enginfo:eu-repo/semantics/altIdentifier/url/http://journal.info.unlp.edu.ar/wp-content/uploads/JCST-Dec05-20.pdfinfo:eu-repo/semantics/altIdentifier/issn/1666-6038info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc/3.0/Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T10:50:44Zoai:sedici.unlp.edu.ar:10915/9607Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 10:50:45.09SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Verifying BON models with alloy
title Verifying BON models with alloy
spellingShingle Verifying BON models with alloy
Demasi, Ramiro Adrián
Ciencias Informáticas
formal methods
object oriented languages
architectural models
SOFTWARE ENGINEERING
title_short Verifying BON models with alloy
title_full Verifying BON models with alloy
title_fullStr Verifying BON models with alloy
title_full_unstemmed Verifying BON models with alloy
title_sort Verifying BON models with alloy
dc.creator.none.fl_str_mv Demasi, Ramiro Adrián
Ponzio, Pablo Daniel
Castro, Pablo Francisco
Baum, Gabriel Alfredo
author Demasi, Ramiro Adrián
author_facet Demasi, Ramiro Adrián
Ponzio, Pablo Daniel
Castro, Pablo Francisco
Baum, Gabriel Alfredo
author_role author
author2 Ponzio, Pablo Daniel
Castro, Pablo Francisco
Baum, Gabriel Alfredo
author2_role author
author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
formal methods
object oriented languages
architectural models
SOFTWARE ENGINEERING
topic Ciencias Informáticas
formal methods
object oriented languages
architectural models
SOFTWARE ENGINEERING
dc.description.none.fl_txt_mv In this paper we describe a methodology to translate BON (architectural) designs to Alloy specifications. The main virtue of this process is that it can be implemented by means of software tools. The utilization of this methodology during the software development allows designers to validate different kinds of properties over their BON models. Allowing, in this way, the finding of critical bugs in earlier steps of system construction. Finally, we present a software which implements this translation from BON to Alloy.
Facultad de Informática
description In this paper we describe a methodology to translate BON (architectural) designs to Alloy specifications. The main virtue of this process is that it can be implemented by means of software tools. The utilization of this methodology during the software development allows designers to validate different kinds of properties over their BON models. Allowing, in this way, the finding of critical bugs in earlier steps of system construction. Finally, we present a software which implements this translation from BON to Alloy.
publishDate 2005
dc.date.none.fl_str_mv 2005-12
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
Articulo
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/9607
url http://sedici.unlp.edu.ar/handle/10915/9607
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/http://journal.info.unlp.edu.ar/wp-content/uploads/JCST-Dec05-20.pdf
info:eu-repo/semantics/altIdentifier/issn/1666-6038
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc/3.0/
Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc/3.0/
Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)
dc.format.none.fl_str_mv application/pdf
292-298
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_ 1844615758378696704
score 13.070432