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...
Guardado en:
Autores principales: | , |
---|---|
Formato: | Objeto de conferencia |
Lenguaje: | Español |
Publicado: |
2015
|
Materias: | |
Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/45732 |
Aporte de: |
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 |