Verifying BON models with alloy

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 differe...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Demasi, Ramiro Adrián, Ponzio, Pablo Daniel, Castro, Pablo Francisco, Baum, Gabriel Alfredo
Formato: Articulo
Lenguaje:Inglés
Publicado: 2005
Materias:
Ciencias Informáticas
formal methods
object oriented languages
architectural models
SOFTWARE ENGINEERING
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/9607
http://journal.info.unlp.edu.ar/wp-content/uploads/JCST-Dec05-20.pdf
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-9607
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
formal methods
object oriented languages
architectural models
SOFTWARE ENGINEERING
spellingShingle Ciencias Informáticas
formal methods
object oriented languages
architectural models
SOFTWARE ENGINEERING
Demasi, Ramiro Adrián
Ponzio, Pablo Daniel
Castro, Pablo Francisco
Baum, Gabriel Alfredo
Verifying BON models with alloy
topic_facet Ciencias Informáticas
formal methods
object oriented languages
architectural models
SOFTWARE ENGINEERING
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.
format Articulo
Articulo
author Demasi, Ramiro Adrián
Ponzio, Pablo Daniel
Castro, Pablo Francisco
Baum, Gabriel Alfredo
author_facet Demasi, Ramiro Adrián
Ponzio, Pablo Daniel
Castro, Pablo Francisco
Baum, Gabriel Alfredo
author_sort Demasi, Ramiro Adrián
title Verifying BON models with alloy
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
publishDate 2005
url http://sedici.unlp.edu.ar/handle/10915/9607
http://journal.info.unlp.edu.ar/wp-content/uploads/JCST-Dec05-20.pdf
work_keys_str_mv AT demasiramiroadrian verifyingbonmodelswithalloy
AT ponziopablodaniel verifyingbonmodelswithalloy
AT castropablofrancisco verifyingbonmodelswithalloy
AT baumgabrielalfredo verifyingbonmodelswithalloy
bdutipo_str Repositorios
_version_ 1764820491692933124

Ejemplares similares