Resumen. El desarrollo de sistemas de tiempo real es una tarea de considerable complejidad. Desde el area de la ingenieŕia del software se han propuesto, en las ultimas decadas, diversos lenguajes de modelado que pretenden facilitar el proceso de desarrollo. Los modelos de los sistemas aśi obtenidos se basan en formalismos, estructuras o diagramas que proporcionan un nivel de abstraccion adecuado al analisis y diseno, reduciendo el uso de los lenguajes clasicos de programacion a la fase final de implementacion. Para facilitar la definicion del modelo, y especialmente, para asegurar la coherencia entre este y su realizacion, se hace necesario el uso de herramientas de desarrollo asistido por ordenador (del ingles Computer Aided Software Engineering o CASE). Estas herramientas permiten construir el modelo del sistema empleando la sintaxis propia del lenguaje, generalmente de naturaleza grafica, y generar automaticamente el esqueleto de las aplicaciones, lo que simplifica considerablemente la tarea del programador y facilita la posterior verificacion. En este articulo se presenta la herramienta CASE de libre distribucion EDROOM, basada en el lenguaje de modelado ROOM (Real Time Object Oriented Modelling). Los modelos construidos con EDROOM permiten describir la estructura, la topoloǵia de comunicacion y el comportamiento de los sistemas de tiempo real empleando diagramas. La herramienta, ademas, genera codigo de manera automatica para multiples y variadas plataformas y ha sido empleada, entre otros proyectos, en el desarrollo del software de vuelo del satelite NANOSAT del Instituto Nacional de Tecnica Aeroespacial (INTA).
Resumen. Debido al reciente interes suscitado por los Lenguajes Especificos de Dominio (DSLs) como lenguajes de modelado, es necesario que las herramientas de modelado permitan la incorporacion de nuevos editores graficos que los asistan o, si cabe, la posibilidad de definir editores personalizados para su uso dentro de estas herramientas. En este articulo se presenta un framework llamado MSGF (ModelSET Graphical Framework), que opera en el contexto de una herramienta MDA con el proposito de disenar y generar editores graficos destinados a modelar instancias de sus respectivos DSLs.
Resumen. En este articulo intentamos clarificar las confusiones que encontramos en torno a los terminos “modelo de analisis” y “modelo de diseno”, ampliamente usados en ingenieria del software. En nuestra experiencia, estas confusiones son la raiz de algunas dificultades que los profesionales encuentran en el modelado de sistemas, y que en ocasiones conducen a malas practicas de ingenieria. Nuestro enfoque consiste en desplegar la dualidad de analisis y diseno en un espacio tridimensional de modelado, que a la vez facilite la comprension de la transformacion de modelos como un desplazamiento en este espacio.
Resumen . En este articulo describimos nuestro enfoque para la asignacion de sintaxis concreta tanto grafica como textual a Lenguajes Especificos de Dominio (LEDs). Nuestra aproximacion consiste en definir un meta-modelo que describe la sintaxis abstracta del LED, a cuyos elementos se puede asignar una visualizacion grafica. Para asignarles una sintaxis textual se ha construido un meta-modelo con conceptos relevantes para la descripcion de programas textuales (por ejemplo, operador, expresion, secuencia, etc). Se han definido una serie de transformaciones que, a partir del meta-modelo de la sintaxis abstracta del LED, generan un modelo conforme al meta-modelo para la sintaxis textual, que el disenador del LED puede posteriormente refinar. A partir de este modelo, es posible generar un parser que crea instancias validas del meta-modelo del LED a partir de programas textuales conformes a la gramatica. 1. INTRODUCCION Los Lenguajes Visuales Especificos de Dominio (LVEDs) son lenguajes de alto nivel, disenados para ser eficientes en tareas particulares. Al estar restringidos a un dominio particular, ofrecen tecnicas mas potentes de analisis y generacion de codigo, aumentando la productividad y mejorando la calidad de los productos generados [1]. Una de las tecnicas mas habituales para describir la sintaxis de los LEDs es mediante meta-modelado [2]. Un meta-modelo es un modelo de un lenguaje (de modelado) [3], que describe el conjunto de todos los modelos admisibles. Suele estar descrito en lenguajes tales como diagramas entidad relacion o diagramas de clases, aunque frecuentemente es necesario anadir invariantes adicionales mediante lenguajes textuales de restricciones (como OCL). Mientras que el meta-modelo y sus invariantes describe los elementos de la sintaxis abstracta de un LED, para su representacion se hace necesaria la descripcion de una sintaxis concreta
A gamma feed microstrip antenna for a Doppler navigation system includes a forward firing feed parallel spaced to a backward firing feed. A plurality of parallel spaced radiating arrays are transversely connected between the feeds. Each array includes radiating elements of preselected sizes having radiating coefficients and coupling coefficients to the feeds whereby an amplitude function of the antenna along the axis of travel is a truncation of a long slanted array amplitude function. Sequential excitation of four input ports at the ends of the feeds causes sequential generation of four beams. Return signals to the antenna, at the four input ports, may be sampled and held for averaging. This antenna structure is adapted for use to as to provide frequency, temperature and over-water corrections.
Resumen . En este articulo describimos nuestro enfoque para la asignacion de sintaxis concreta tanto grafica como textual a Lenguajes Especificos de Dominio (LEDs). Nuestra aproximacion consiste en definir un meta-modelo que describe la sintaxis abstracta del LED, a cuyos elementos se puede asignar una visualizacion grafica. Para asignarles una sintaxis textual se ha construido un meta-modelo con conceptos relevantes para la descripcion de programas textuales (por ejemplo, operador, expresion, secuencia, etc). Se han definido una serie de transformaciones que, a partir del meta-modelo de la sintaxis abstracta del LED, generan un modelo conforme al meta-modelo para la sintaxis textual, que el disenador del LED puede posteriormente refinar. A partir de este modelo, es posible generar un parser que crea instancias validas del meta-modelo del LED a partir de programas textuales conformes a la gramatica. 1. INTRODUCCION Los Lenguajes Visuales Especificos de Dominio (LVEDs) son lenguajes de alto nivel, disenados para ser eficientes en tareas particulares. Al estar restringidos a un dominio particular, ofrecen tecnicas mas potentes de analisis y generacion de codigo, aumentando la productividad y mejorando la calidad de los productos generados [1]. Una de las tecnicas mas habituales para describir la sintaxis de los LEDs es mediante meta-modelado [2]. Un meta-modelo es un modelo de un lenguaje (de modelado) [3], que describe el conjunto de todos los modelos admisibles. Suele estar descrito en lenguajes tales como diagramas entidad relacion o diagramas de clases, aunque frecuentemente es necesario anadir invariantes adicionales mediante lenguajes textuales de restricciones (como OCL). Mientras que el meta-modelo y sus invariantes describe los elementos de la sintaxis abstracta de un LED, para su representacion se hace necesaria la descripcion de una sintaxis concreta
Resumen. Debido al reciente interes suscitado por los Lenguajes Especificos de Dominio (DSLs) como lenguajes de modelado, es necesario que las herramientas de modelado permitan la incorporacion de nuevos editores graficos que los asistan o, si cabe, la posibilidad de definir editores personalizados para su uso dentro de estas herramientas. En este articulo se presenta un framework llamado MSGF (ModelSET Graphical Framework), que opera en el contexto de una herramienta MDA con el proposito de disenar y generar editores graficos destinados a modelar instancias de sus respectivos DSLs.
Resumen. El desarrollo de sistemas de tiempo real es una tarea de considerable complejidad. Desde el area de la ingenieŕia del software se han propuesto, en las ultimas decadas, diversos lenguajes de modelado que pretenden facilitar el proceso de desarrollo. Los modelos de los sistemas aśi obtenidos se basan en formalismos, estructuras o diagramas que proporcionan un nivel de abstraccion adecuado al analisis y diseno, reduciendo el uso de los lenguajes clasicos de programacion a la fase final de implementacion. Para facilitar la definicion del modelo, y especialmente, para asegurar la coherencia entre este y su realizacion, se hace necesario el uso de herramientas de desarrollo asistido por ordenador (del ingles Computer Aided Software Engineering o CASE). Estas herramientas permiten construir el modelo del sistema empleando la sintaxis propia del lenguaje, generalmente de naturaleza grafica, y generar automaticamente el esqueleto de las aplicaciones, lo que simplifica considerablemente la tarea del programador y facilita la posterior verificacion. En este articulo se presenta la herramienta CASE de libre distribucion EDROOM, basada en el lenguaje de modelado ROOM (Real Time Object Oriented Modelling). Los modelos construidos con EDROOM permiten describir la estructura, la topoloǵia de comunicacion y el comportamiento de los sistemas de tiempo real empleando diagramas. La herramienta, ademas, genera codigo de manera automatica para multiples y variadas plataformas y ha sido empleada, entre otros proyectos, en el desarrollo del software de vuelo del satelite NANOSAT del Instituto Nacional de Tecnica Aeroespacial (INTA).
Resumen. En este articulo intentamos clarificar las confusiones que encontramos en torno a los terminos “modelo de analisis” y “modelo de diseno”, ampliamente usados en ingenieria del software. En nuestra experiencia, estas confusiones son la raiz de algunas dificultades que los profesionales encuentran en el modelado de sistemas, y que en ocasiones conducen a malas practicas de ingenieria. Nuestro enfoque consiste en desplegar la dualidad de analisis y diseno en un espacio tridimensional de modelado, que a la vez facilite la comprension de la transformacion de modelos como un desplazamiento en este espacio.
Resumen. En la actualidad estan apareciendo un gran numero de herramientas que proporcionan soporte para transformar modelos. No obstante, hasta el momento no existe ninguna que haya tenido en consideracion el lenguaje estandar QVT Relations. En este articulo se presenta la arquitectura de un motor de transformacion de modelos que proporciona soporte para este lenguaje estandar dentro del framework de gestion de modelos MOMENT. Este motor de transformaciones ha sido definido mediante la utilizacion de metodos formales como plugin dentro de Eclipse, haciendo uso de Eclipse Modeling Framework para la manipulacion de modelos.
Resumen. La Ingenieŕia Web ha reconocido desde sus inicios el papel preponderante que la navegabilidad juega en el diseno de aplicaciones Web, motivo por el cual se han propuesto distintas medidas para evaluarla. De entre ellas, las medidas definidas sobre modelos conceptuales son especialmente relevantes, ya que es bien sabido que la mejora de los artefactos producidos durante el proceso de desarrollo software tiene un gran impacto sobre la calidad y coste del producto final. Sin embargo, los modelos de medicion en los que se engloban tales medidas, aśi como los metodos de medicion asociados y las modificaciones de diseno que deben ser realizadas para mejorar sus valores, suelen ser totalmente dependientes de aproximaciones especificas de desarrollo hipermedial. En este articulo proponemos un modo de definir un modelo de medicion para la evaluacion de la navegabilidad de aplicaciones Web que es independiente de la metodoloǵia escogida. Para ello instanciamos un metamodelo que esta basado en la Ontoloǵia de Medicion de Software propuesta por Garcia et al. Ademas presentamos el modo en que el modelo de medicion puede integrarse con los modelos navegacionales de cualquier metodoloǵia concreta siguiendo una aproximacion MDE. Esta integracion se produce mediante la definicion de un conjunto de reglas de transformacion que, definidas en QVT, encapsulan el conocimiento especifico de la metodoloǵia mediante expresiones que reflejan el metodo de medicion y los criterios de decision que se capturaron de manera abstracta en el modelo de medicion. Ademas, las reglas de transformacion tambien permiten automatizar las modificaciones que debe sufrir el modelo navegacional concreto si el resultado de la medicion no satisface los criterios de decision especificados.
�Resumen-- En este trabajo presentamos una aproximacion para el desarrollo de Bases de Datos (BD) Objeto-Relacionales (OR) en el marco de MIDAS, una metodologia dirigida por modelos para el desarrollo de Sistemas de Informacion Web. En nuestra propuesta, el Modelo Independiente de la Plataforma (PIM, Platform Independent Model) sera el modelo conceptual de datos y a partir de este obtendremos el Modelo Especifico de Plataforma (PSM, Platform Specific Model), esto es el modelo OR. Dado que la notacion utilizada en ambos modelos es UML, la propuesta incluye tambien los correspondientes perfiles UML para la elaboracion del modelo OR (para el estandar SQL:2003 y para un producto concreto, Oracle10g). Este articulo se centra en la formalizacion de los mappings de PIM a PSM. Asi, definimos las transformaciones de modelos para obtener el esquema de la BD (el modelo OR) a partir del modelo conceptual de datos (PIM), inicialmente como reglas expresadas en lenguaje natural, para posteriormente expresarlas mediante gramaticas de grafos.
Resumen. La transformacion de modelos constituye una tecnologia esencial en los diversos enfoques de desarrollo de software dirigido por modelos. En los ultimos anos se han definido un buen numero de lenguajes de transformacion, pero todavia es necesaria una mejor comprension de la naturaleza de las transformaciones de modelos y seguir investigando para encontrar las propiedades deseables de un lenguaje de transformacion de modelos. En la actualidad el interes, tanto en el ambito academico como industrial, se centra principalmente en la experimentacion con lenguajes de transformacion a traves de la escritura de transformaciones para problemas reales.
Resumen. La seguridad es un aspecto crucial para el desarrollo de los Almacenes de Datos (DWs) ya que estos contienen datos sensibles. Este hecho requiere la necesidad de especificar requisitos de seguridad y de auditoria en el modelado multidimensional, que no pueden ser directamente transformados al modelo relacional del DW. El marco estandar para el desarrollo del software Model Driven Architecture (MDA) permite definir transformaciones entre modelos mediante la propuesta Query/View/Transformations (QVT). Esta propuesta permite definir transformaciones de una manera formal, elegante e inequivoca. En este articulo utilizamos QVT para transformar al esquema logico relacional del DW toda la informacion de seguridad representada en el modelo conceptual multidimensional.
Resumen. En este trabajo, se presenta un enfoque para la verificación del diseño de interfaces de usuario. Nuestra aproximación se centra en el desarrollo basado en modelos propuesto por UsiXML, que considera cuatro niveles de abstracción: definición de tareas y conceptos, interfaz abstracta, concreta y final. Hemos añadido un proceso de validación y verificación basado en redes de Petri a esta arquitectura. La idea es transformar el modelo de interfaz concreta a redes de Petri coloreadas para su análisis con la herramienta CPNTools. La red de Petri obtenida permite verificar propiedades del diseño de la interfaz de usuario tales como ventanas no alcanzables, número máximo de ventanas abiertas a la vez, acciones no realizables, deadlocks y análisis de alcanzabilidad de ciertas configuraciones.
Palabras clave: MDA, SOA, business process, metamodels Resumen. Traditionally, the implementation of business pro cesses in IT systems is based on the oral transmission of requirements between bu siness and IT experts. This involves a high risk of misunderstanding and loss of informati on, which may result in the failure of the project, losing time and money. This paper pres ents the application of a MDA approach to bridge the gap between these domains, band IT. This is done by applying of a set of automatic transformations, whi ch ensure the coherence between business processes and IT systems. In addition, thi s paper concludes with several adoption problems and benefits of this approach.
