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

Detalles Bibliográficos
Autores principales: Garis, Ana Gabriela, Sanchez, Alejandro
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2015
Materias:
DSL
UML
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/45732
Aporte de:SEDICI (UNLP) de Universidad Nacional de La Plata Ver origen
id I19-R120-10915-45732
record_format dspace
spelling I19-R120-10915-457322019-02-17T20:02:54Z http://sedici.unlp.edu.ar/handle/10915/45732 Especificación formal de lenguajes específicos del dominio utilizando Alloy Garis, Ana Gabriela Sanchez, Alejandro 2015-04 2015-05-19 2015-05-19T17:28:32Z es Ciencias Informáticas Alloy Lenguajes de Programación DSL UML 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. Eje: Ingeniería de Software Red de Universidades con Carreras en Informática (RedUNCI) Objeto de conferencia Objeto de conferencia http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) application/pdf
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
_version_ 1734127791681568768