Verification and validation of domain specific languages using Alloy

Autores
Garis, Ana Gabriela; Sanchez, Alejandro
Año de publicación
2015
Idioma
inglés
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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.
XII Workshop Ingeniería de Software (WIS)
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
Verification
Validation
domain specific language (DSL)
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/50355

id SEDICI_cc110c0b60455f06ed6d579442a7cb67
oai_identifier_str oai:sedici.unlp.edu.ar:10915/50355
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Verification and validation of domain specific languages using AlloyGaris, Ana GabrielaSanchez, AlejandroCiencias InformáticasVerificationValidationdomain specific language (DSL)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.XII Workshop Ingeniería de Software (WIS)Red de Universidades con Carreras en Informática (RedUNCI)2015-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/50355enginfo:eu-repo/semantics/altIdentifier/isbn/978-987-3806-05-6info:eu-repo/semantics/reference/hdl/10915/50028info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:36:33Zoai:sedici.unlp.edu.ar:10915/50355Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:36:33.654SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Verification and validation of domain specific languages using Alloy
title Verification and validation of domain specific languages using Alloy
spellingShingle Verification and validation of domain specific languages using Alloy
Garis, Ana Gabriela
Ciencias Informáticas
Verification
Validation
domain specific language (DSL)
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
dc.creator.none.fl_str_mv Garis, Ana Gabriela
Sanchez, Alejandro
author Garis, Ana Gabriela
author_facet Garis, Ana Gabriela
Sanchez, Alejandro
author_role author
author2 Sanchez, Alejandro
author2_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
Verification
Validation
domain specific language (DSL)
topic Ciencias Informáticas
Verification
Validation
domain specific language (DSL)
dc.description.none.fl_txt_mv 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.
XII Workshop Ingeniería de Software (WIS)
Red de Universidades con Carreras en Informática (RedUNCI)
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.
publishDate 2015
dc.date.none.fl_str_mv 2015-10
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/50355
url http://sedici.unlp.edu.ar/handle/10915/50355
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/isbn/978-987-3806-05-6
info:eu-repo/semantics/reference/hdl/10915/50028
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
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_ 1842260220508635136
score 13.13397