Verificando diseños BON mediante Alloy

En este artículo presentamos una técnica para traducir diseños estructurales expresados en el lenguaje BON, al lenguaje formal Alloy. En donde, la principal ventaja de la traducción es que puede realizarse automáticamente mediante herramientas de software. Adicionalmente, esta metodología puede s...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Castro, Pablo Francisco, Ponzio, Pablo Daniel, Demasi, Ramiro Adrián, Baum, Gabriel Alfredo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2005
Materias:
Ciencias Informáticas
Formal methods
Object-oriented languages
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23067
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
Descripción
Sumario:En este artículo presentamos una técnica para traducir diseños estructurales expresados en el lenguaje BON, al lenguaje formal Alloy. En donde, la principal ventaja de la traducción es que puede realizarse automáticamente mediante herramientas de software. Adicionalmente, esta metodología puede ser usada para validar propiedades sobre los diseños utilizando el Alloy Analyzer. Para finalizar, mostramos la aplicación a un caso de estudio de Darwin Tool, una herramienta que implementa parte de esta traducción.

Ejemplares similares