Lenguaje de transformación

Un lenguaje de transformación es un lenguaje informático diseñado para transformar un texto de entrada en un determinado lenguaje formal en un texto de salida modificado que cumple un objetivo específico ^{[ aclaración necesaria ]} .

Los sistemas de transformación de programas como Stratego/XT, TXL , Tom , DMS y ASF+SDF tienen como componente principal lenguajes de transformación. Los lenguajes de transformación de estos sistemas se basan en descripciones declarativas de la estructura del texto de entrada (normalmente una gramática), lo que permite aplicarlos a una amplia variedad de lenguajes y documentos formales.

Los lenguajes macro son un tipo de lenguajes de transformación para transformar un metalenguaje en un lenguaje de programación superior específico como Java , C++ , Fortran o en un lenguaje ensamblador de nivel inferior .

En el ámbito técnico de la ingeniería basada en modelos , existen lenguajes de transformación de modelos (MTL), que toman como entrada modelos que se ajustan a un metamodelo determinado y producen como salida modelos que se ajustan a un metamodelo diferente. Un ejemplo de este tipo de lenguaje es el estándar QVT OMG .

También existen lenguajes de bajo nivel como la familia Lx ^[1] implementados mediante el método bootstrap . El lenguaje L0 puede considerarse como un ensamblador para lenguajes de transformación. También existe un lenguaje gráfico de alto nivel basado en Lx llamado MOLA. ^[2]

Existen varios lenguajes de transformación XML , entre los que se incluyen Tritium , XSLT , XQuery , STX , FXT , XDuce , CDuce, HaXml , XMLambda y FleXML .