Verifying BON models with alloy

Título:

Verifying BON models with alloy

Autor:

Demasi, Ramiro

Colaboradores:

; Ponzio, Pablo; Castro, Pablo; Baum, Gabriel Alfredo

Temas:

DESARROLLO ORIENTADO A OBJETOSMODELOS

En:

Journal of Computer Science & Technology, 5(4), pp. 292-298.

Resumen:

In this paper we describe a methodology to trans- late BON (architectural) designs to Alloy specifi- cations. 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 mod- els. Allowing, in this way, the finding of criti- cal bugs in earlier steps of system construction. Finally, we present a software which implements this translation from BON to Alloy

URL/DOI:

http://goo.gl/XicF8J

Medio:

Soporte electrónico

Tipo de documento:

Artículo

Descripción física:

1 archivo (333,4 kB)

Idioma:

Inglés

Publicación:

, 2005

Puede solicitar más fácilmente el ejemplar con: A0607

Ver estantes