Especificación formal de lenguajes específicos del dominio utilizando Alloy

Un lenguaje específico del dominio (DSL, por sus siglas en inglés) provee primitivas ajustadas a un dominio específico para facilitar el modelado de sus instancias. Frecuentemente, los DSLs se definen utilizando lenguajes imprecisos, tales como MOF y UML, como meta-lenguajes. En consecuencia, los DS...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Garis, Ana Gabriela, Sanchez, Alejandro
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2015
Materias:
Ciencias Informáticas
Alloy
Lenguajes de Programación
DSL
UML
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/45732
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-45732
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Alloy
Lenguajes de Programación
DSL
UML
spellingShingle Ciencias Informáticas
Alloy
Lenguajes de Programación
DSL
UML
Garis, Ana Gabriela
Sanchez, Alejandro
Especificación formal de lenguajes específicos del dominio utilizando Alloy
topic_facet Ciencias Informáticas
Alloy
Lenguajes de Programación
DSL
UML
description Un lenguaje específico del dominio (DSL, por sus siglas en inglés) provee primitivas ajustadas a un dominio específico para facilitar el modelado de sus instancias. Frecuentemente, los DSLs se definen utilizando lenguajes imprecisos, tales como MOF y UML, como meta-lenguajes. En consecuencia, los DSLs presentan ambigüedades, y es inviable (sin trabajo adicional) su validación y verificación (V&V). La línea de investigación se orienta a la especificación formal de un DSL con Alloy – un lenguaje formal que permite la V&V de modelos asistida por una herramienta amigable, con el objetivo de contribuir en la definición precisa de DSLs, y a soportar la V&V de los modelos desarrollados con estos.
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 Especificación formal de lenguajes específicos del dominio utilizando Alloy
title_short Especificación formal de lenguajes específicos del dominio utilizando Alloy
title_full Especificación formal de lenguajes específicos del dominio utilizando Alloy
title_fullStr Especificación formal de lenguajes específicos del dominio utilizando Alloy
title_full_unstemmed Especificación formal de lenguajes específicos del dominio utilizando Alloy
title_sort especificación formal de lenguajes específicos del dominio utilizando alloy
publishDate 2015
url http://sedici.unlp.edu.ar/handle/10915/45732
work_keys_str_mv AT garisanagabriela especificacionformaldelenguajesespecificosdeldominioutilizandoalloy
AT sanchezalejandro especificacionformaldelenguajesespecificosdeldominioutilizandoalloy
bdutipo_str Repositorios
_version_ 1764820474051690498

Ejemplares similares