Un lenguaje de modelado específico de marco [ 1 ] ( FSML ) es un tipo de lenguaje de modelado específico de dominio que está diseñado para un marco de aplicación orientado a objetos .
Las FSML definen las abstracciones proporcionadas por el marco como conceptos FSML y descomponen dichas abstracciones en características . Estas características representan pasos o decisiones de implementación.
Un concepto FSML se puede configurar seleccionando características y asignando valores a dichas características. Esta configuración de concepto representa cómo debe implementarse el concepto en el código. En otras palabras, la configuración del concepto describe cómo debe completarse el marco de trabajo para crear la implementación del concepto.
Aplicaciones
Los FSML se utilizan en el desarrollo dirigido por modelos para crear modelos o especificaciones del software que se va a construir. Los FSML permiten
- la creación de los modelos a partir del código de finalización del marco (es decir, ingeniería inversa automatizada )
- la creación del código de finalización del marco a partir de los modelos (es decir, ingeniería directa automatizada)
- Verificación del código mediante comprobación de restricciones en el modelo.
- ingeniería automatizada de ida y vuelta
Ejemplos
Interacción de partes de Eclipse Workbench FSML [ 2 ] [ 3 ]
Un ejemplo de FSML para modelar componentes de Eclipse (editores y vistas) e interacciones entre componentes (por ejemplo, escucha componentes, requiere adaptador, proporciona selección). La implementación del prototipo admite la ingeniería automatizada de ida y vuelta de complementos de Eclipse que implementan componentes e interacciones entre componentes del entorno de trabajo.
Véase también
Referencias
- ↑ M. Antkiewicz, K. Czarnecki. Lenguajes de modelado específicos de marcos con ingeniería de ida y vuelta . En O. Nierstrasz, J. Whittle, D. Harel, G. Reggio, editores, MoDELS 2006 - Lenguajes y sistemas de ingeniería dirigida por modelos, 9.ª Conferencia Internacional, Génova, Italia, octubre de 2006.
- ↑ M. Antkiewicz, K. Czarnecki. Interacción de partes de Eclipse Workbench FSML . Informe técnico 2006-09, Ingeniería Eléctrica e Informática, Universidad de Waterloo, 2006.
- ↑ M. Antkiewicz. Ingeniería de ida y vuelta de complementos de Eclipse mediante la interacción de partes de Eclipse Workbench FSML . En OOPSLA'06 Companion, OOPSLA, Portland, Oregón, EE. UU., 22-26 de octubre de 2006.
- Lenguajes de especificación
- Lenguajes de modelado