Actas - ISSI - Universidad Politécnica de Valencia

Perspectivas de futuro del desarrollo basado en modelos
el grupo Triskell 6 como un lenguaje experimental para especificar no sólo la
estructura sino también el comportamiento de un meta-modelo. Las principales
características de Kermeta son las siguientes:
Imperativo: incluye las estructuras de control tradicionales, bucles y sentencias de
bifurcación.
Orientado a objetos: soporta herencia múltiple y enlace dinámico (late binding).
Orientado a modelos: conceptos como asociación y composición son entidades de
primer nivel.
Funcional: soporta la definición de funciones e incluye un subconjunto de
expresiones del lambda-calculus.
Fuertemente tipado: en la definición de operaciones y en el uso de genéricos.
Reflexividad: el modelo completo del lenguaje es accesible en ejecución.
Para ser capaz de expresar comportamiento, Kermeta extiende el meta-modelo de
EMOF añadiéndole un paquete extra. Las figuras 1 y 2 muestran, respectivamente, los
dos paquetes principales del meta-modelo de Kermeta.
Fig. 1. El paquete kermeta::structure
La primera de ellas, figura 1, muestra el paquete kermeta::structure, con
el que se puede especificar la estructura de un modelo. Puesto que Kermeta extiende
EMOF, ambos meta-modelos son prácticamente iguales, siendo la adición de la clase
Expression la única diferencia sustancial en este punto. Esta clase se utiliza como
nexo de unión con el paquete desarrollado por Triskell para especificar
comportamiento, kermeta::behavior (ver figura 2).
6 Triskell se encuentra en el centro de investigación francés IRISA, http://www.irisa.fr/triskell
53