Verification and validation of domain specific languages using Alloy

A domain specific language (DSL) focuses on a particular problem domain, facilitating the specification of its instances. Since they are frequently defined using imprecise languages, such as UML, they present ambiguities and their verification and validation (V&V) becomes complex. This paper pro...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Garis, Ana Gabriela, Sanchez, Alejandro
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2015
Materias:
Ciencias Informáticas
Verification
Validation
domain specific language (DSL)
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/50355
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-50355
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
Verification
Validation
domain specific language (DSL)
spellingShingle Ciencias Informáticas
Verification
Validation
domain specific language (DSL)
Garis, Ana Gabriela
Sanchez, Alejandro
Verification and validation of domain specific languages using Alloy
topic_facet Ciencias Informáticas
Verification
Validation
domain specific language (DSL)
description A domain specific language (DSL) focuses on a particular problem domain, facilitating the specification of its instances. Since they are frequently defined using imprecise languages, such as UML, they present ambiguities and their verification and validation (V&V) becomes complex. This paper proposes an approach to the precise definition of DSLs using Alloy - a formal language with tool-support that enables its V&V. The approach is illustrated with a DSL for Software Architecture.
format Objeto de conferencia
Objeto de conferencia
author Garis, Ana Gabriela
Sanchez, Alejandro
author_facet Garis, Ana Gabriela
Sanchez, Alejandro
author_sort Garis, Ana Gabriela
title Verification and validation of domain specific languages using Alloy
title_short Verification and validation of domain specific languages using Alloy
title_full Verification and validation of domain specific languages using Alloy
title_fullStr Verification and validation of domain specific languages using Alloy
title_full_unstemmed Verification and validation of domain specific languages using Alloy
title_sort verification and validation of domain specific languages using alloy
publishDate 2015
url http://sedici.unlp.edu.ar/handle/10915/50355
work_keys_str_mv AT garisanagabriela verificationandvalidationofdomainspecificlanguagesusingalloy
AT sanchezalejandro verificationandvalidationofdomainspecificlanguagesusingalloy
bdutipo_str Repositorios
_version_ 1764820474930397186

Ejemplares similares