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