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

Abstract

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.