Especificación formal de lenguajes específicos del dominio utilizando Alloy

Un lenguaje específico del dominio (DSL, por sus siglas en inglés) provee primitivas ajustadas a un dominio específico para facilitar el modelado de sus instancias. Frecuentemente, los DSLs se definen utilizando lenguajes imprecisos, tales como MOF y UML, como meta-lenguajes. En consecuencia, los DSLs presentan ambigüedades, y es inviable (sin trabajo adicional) su validación y verificación (V&V). La línea de investigación se orienta a la especificación formal de un DSL con Alloy – un lenguaje formal que permite la V&V de modelos asistida por una herramienta amigable, con el objetivo de contribuir en la definición precisa de DSLs, y a soportar la V&V de los modelos desarrollados con estos.Eje: Ingeniería de SoftwareRed de Universidades con Carreras en Informática (RedUNCI

Verification and validation of domain specific languages using Alloy

A domain specific language (DSL) focuses on a particular problem domain, facilitating the specification of its instances. Since they are frequently defined using imprecise languages, such as UML, they present ambiguities and their verification and validation (V&V) becomes complex. This paper proposes an approach to the precise definition of DSLs using Alloy - a formal language with tool-support that enables its V&V. The approach is illustrated with a DSL for Software Architecture.XII Workshop Ingeniería de Software (WIS)Red de Universidades con Carreras en Informática (RedUNCI

Especificación formal de lenguajes específicos del dominio utilizando Alloy

Un lenguaje específico del dominio (DSL, por sus siglas en inglés) provee primitivas ajustadas a un dominio específico para facilitar el modelado de sus instancias. Frecuentemente, los DSLs se definen utilizando lenguajes imprecisos, tales como MOF y UML, como meta-lenguajes. En consecuencia, los DSLs presentan ambigüedades, y es inviable (sin trabajo adicional) su validación y verificación (V&V). La línea de investigación se orienta a la especificación formal de un DSL con Alloy – un lenguaje formal que permite la V&V de modelos asistida por una herramienta amigable, con el objetivo de contribuir en la definición precisa de DSLs, y a soportar la V&V de los modelos desarrollados con estos.Eje: Ingeniería de SoftwareRed de Universidades con Carreras en Informática (RedUNCI

Verificación en Alloy de modelos y metamodelos específicos del dominio

La verificación de modelos de sistemas de software es una actividad clave para mejorar la calidad del producto final. Numerosos lenguajes específicos del dominio han sido creados para favorecer la definición de modelos ajustados a un dominio o área particular. Sin embargo, la verificación de estos modelos, frecuentemente es dejada de lado como actividad complementaria al modelado. Esta línea de investigación, desarrollo e innovación se orienta a generalizar un mecanismo basado en Alloy, para la especificación y verificación de modelos y metamodelos específicos del dominio. Alloy es un lenguaje formal, soportado por una amigable herramienta de verificación y validación. Las características de Alloy pueden ser aprovechadas para establecer un enfoque que permita garantizar la calidad de los modelos de sistemas de software específicos.Eje: Ingeniería de SoftwareRed de Universidades con Carreras en Informática (RedUNCI

Verificación en Alloy de modelos y metamodelos específicos del dominio

La verificación de modelos de sistemas de software es una actividad clave para mejorar la calidad del producto final. Numerosos lenguajes específicos del dominio han sido creados para favorecer la definición de modelos ajustados a un dominio o área particular. Sin embargo, la verificación de estos modelos, frecuentemente es dejada de lado como actividad complementaria al modelado. Esta línea de investigación, desarrollo e innovación se orienta a generalizar un mecanismo basado en Alloy, para la especificación y verificación de modelos y metamodelos específicos del dominio. Alloy es un lenguaje formal, soportado por una amigable herramienta de verificación y validación. Las características de Alloy pueden ser aprovechadas para establecer un enfoque que permita garantizar la calidad de los modelos de sistemas de software específicos.Eje: Ingeniería de SoftwareRed de Universidades con Carreras en Informática (RedUNCI

Especificación formal de lenguajes específicos del dominio utilizando Alloy

Un lenguaje específico del dominio (DSL, por sus siglas en inglés) provee primitivas ajustadas a un dominio específico para facilitar el modelado de sus instancias. Frecuentemente, los DSLs se definen utilizando lenguajes imprecisos, tales como MOF y UML, como meta-lenguajes. En consecuencia, los DSLs presentan ambigüedades, y es inviable (sin trabajo adicional) su validación y verificación (V&V). La línea de investigación se orienta a la especificación formal de un DSL con Alloy – un lenguaje formal que permite la V&V de modelos asistida por una herramienta amigable, con el objetivo de contribuir en la definición precisa de DSLs, y a soportar la V&V de los modelos desarrollados con estos.Eje: Ingeniería de SoftwareRed de Universidades con Carreras en Informática (RedUNCI

Defining the proxy design pattern using UML profile

Today software solutions are often modeled using UML. Design patterns are frequently instantiated within these particular solutions. However, in several situations, UML is not expressive enough to describe them properly. UML profiles extend UML syntax and semantic in order to model elements of particular domains. As profiles extend UML vocabulary; design patterns define a common vocabulary for software designers. Because of this, it is possible to use a profile to define a design pattern’s vocabulary in UML. Profiles can be used to solve particular problems in different domains. This work shows a way in which profiles can be used to define design patterns. The definition of the proxy design pattern is shown as an example of our proposal.III Workshop de Ingeniería de Software y Bases de Datos (WISBD)Red de Universidades con Carreras en Informática (RedUNCI

SARSA BB: Un algoritmo on policy para Sistemas Clasificadores

El modelo básico de Aprendizaje por Refuerzo (AR) está integrado por un agente y un ambiente que interactúan entre sí. El agente debe, mediante un proceso de prueba y error, aprender a mapear situaciones en acciones intentando, a lo largo del tiempo, maximizar la recompensa que el ambiente le provee. El AR caracteriza una clase de problemas de aprendizaje, cuya resolución se ha basado en dos grandes clases de métodos: los Sistemas Clasificadores (SC) y los métodos de diferencia temporal (o métodos TD). El objetivo del presente trabajo es realizar una contribución en la transferencia de experiencias entre SC y métodos TD. Para ello, se presenta un nuevo esquema para la actualización de la fortaleza de las reglas de un Sistema Clasificador, tomando como base el método de TD denominado SARSA. El algoritmo resultante, al que denominamos SARSA BB, tiene varios atributos interesantes: a) su fórmula de actualización se ha demostrado que garantiza la convergencia a una política óptima bajo condiciones particulares; b) no require mayores modificaciones a la forma de actualización estándard utilizada en SC; c) es un algoritmo on-policy y por lo tanto puede tener un mejor desempeño que algoritmos off-policy como Q-Learning, en problemas donde la exploración que efectivamente realiza el agente impacta significativamente en las recompensas recibidas desde el ambiente. Para mostrar este último aspecto, SARSA BB, es comparado con Q-Learning en un problema con estas características.Eje: Aprendizaje y reconocimiento de patronesRed de Universidades con Carreras en Informática (RedUNCI

Perfiles UML para la definición de patrones de diseño de comportamiento

Los patrones de diseño como herramienta de la ingeniería de software, brindan un importante aporte. El estudio de los patrones de comportamiento (según la clasificación Gof) implica conocer la interacción entre los objetos y sus responsabilidades. El presente trabajo propone el uso de de perfiles UML y restricciones OCL para la definición de patrones de comportamiento. Dicho enfoque habilita la especificación y validación de patrones tanto en modelos estáticos como dinámicos.Eje: Ingeniería de softwareRed de Universidades con Carreras en Informática (RedUNCI

Adopción de COBIT para la auditoría de sistemas de gestión de expedientes digitales

Los sistemas de gestión de expedientes son utilizados en diferentes organizaciones tanto públicas como privadas. En los últimos años, se ha incrementado la adopción de expedientes digitales (ED), que exigen una revisión aún más intensiva de aspectos como la calidad, eficiencia y seguridad. En este sentido, la auditoría informática (AI) ayuda a determinar si la organización cumple con tales características. El modelo COBIT propone un marco de trabajo para llevar a cabo la AI. Sin embargo, su adopción en dominios particulares, frecuentemente debe ser individualmente estudiado antes de su implementación. La línea de investigación tiene por objetivo estudiar la adopción del modelo COBIT para la AI de sistemas de gestión de ED, contribuyendo en el aseguramiento de la calidad del sistema dentro de las organizaciones.Eje: Ingeniería de SoftwareRed de Universidades con Carreras en Informática (RedUNCI