Foundations of Meta-programming - University of Sussex

Foundations of Meta-programming

La MetaProgramacion posee muchas características estas  se pueden clasificar de varias maneras, tales como: generativa es la que se centra en la creación de programas la  intencional o la que se basa en el análisis de programas ya sea tiempo de compilación pasando mientras que los programas se compilan en tiempo de ejecución la que tiene lugar en el marco de la ejecución del programa heterogéneos en donde la generación de sistema o analizar el programa es diferente del sistema que está siendo generada o analizada, la  homogénea en donde los sistemas implicados son los mismos, la  léxica trabajando en cadenas simples o sintáctica trabajando en árboles de sintaxis abstracta.

Entre las universidades que se encuentran desarrollan de proyectos basado en este tema tenemos la Universidad de Sussex

El proyecto se llama “Foundations of Meta-programming”

El propósito de la investigación propuesta es poner MetaPrograming  sobre una base firme.

Esto implica varias tareas distintas pero relacionadas:

• Proporcionar una base firme y formal, conveniente para MP en forma de un cálculo fundamental que explica todas las características clave MetaPrograming
• Proporcionar un algoritmo que se extiende a cualquier lenguaje de programación con el MetaPrograming construye de manera uniforme y de manera mecánica.
• Desarrollar  lógicas de  programa de construcción que pueden especificar y verificar meta-programas,

También se encuentra actualmente  una herramienta imprescindible cuando se trata de automatizar procesos secuenciales de cierta complejidad con autómatas programables.

El GRAFCET es un diagrama funcional que describe la evolución del proceso que se quiere automatizar tal y como se muestra en la figura. Está definido por unos elementos gráficos y unas reglas de evolución que reflejan la dinámica del comportamiento del sistema.

Surge en Francia a mediados de los años 70, debido a la colaboración de algunos fabricantes de autómatas, como Telemecanique y Aper con dos organismos oficiales, AFCET (Asociación francesa para la cibernética, economía y técnica) y ADEPA (Agencia nacional para el desarrollo de la producción automatizada). Homologado en Francia, Alemania, y posteriormente por la comisión Electrónica Internacional (IEC 848, año 1988) .