Uso de modelos de negocios y de requisitos en desarrollos basados en MDA

Existe un interés creciente en el estudio de la integración entre requisitos y arquitecturas, a partir del cual se han identificado los aspectos problemáticos de esta integración así como también algunas soluciones. Entre estos aspectos problemáticos, destacamos la necesidad de reducir la brecha inevitable entre una especificación de requisitos, generalmente informal, y una especificación formal de arquitectura de software; la necesidad de mantener la consistencia y traceability entre modelos de requisitos y modelos de arquitecturas; y por último, la necesidad de lograr el desarrollo de una arquitectura sobre la base de requisitos no siempre completos que incluso pueden cambiar o definirse a partir de la arquitectura. Este interés por relacionar los diferentes modelos ha tenido una fuerte influencia en la comunidad de software, surgiendo recientemente el Model-Driven Architecture (MDA). Dentro de un desarrollo MDA, el proceso es dirigido por la actividad de modelar el sistema de software en sus diferentes fases a través de lenguajes de transformación que permiten obtener en cada etapa un modelo del anterior. La línea de investigación aquí presentada se enmarca en este contexto, ya que pretende definir una estrategia que permita reducir la brecha entre los modelos de requisitos y los modelos tempranos de arquitecturas de software orientadas a objetos basados en UML, favoreciendo la definición de arquitecturas adaptables a los requisitos y capaces de evolucionar a partir de los cambios en la organización. Esto será posible gracias a la estrategia de transformación que proveerá un conjunto de heurísticas que facilitarán la traceability entre los modelos generados.Eje: Análisis de RequerimientosRed de Universidades con Carreras en Informática (RedUNCI

CIMTool: una herramienta para la definición de un diagrama de clases UML

Model Driven Architecture es un framework de desarrollo de software cuyo concepto clave es la transformación automática de modelos. Uno de estos modelos, el Computer Independent Model (CIM), se usa para definir el modelo del negocio. En este trabajo se presenta CIMTool, una herramienta que implementa un proceso de definición automática del CIM. Este proceso aplica un conjunto de reglas de transformación a modelos de requisitos basados en lenguaje natural derivando un diagrama de clases UML. CIMTool puede integrarse con cualquier herramienta CASE que acepte archivos XML. Así, el CIM derivado puede ser la base para un desarrollo basado en MDAII Workshop de Ingeniería de Software y Bases de Datos (WISBD)Red de Universidades con Carreras en Informática (RedUNCI

Herramientas educativas para la enseñanza de la lógica

El software educativo ayuda a motivar y mejorar el proceso de enseñanza/aprendizaje. En este artículo se presenta un proyecto de desarrollo de herramientas didácticas, interactivas y visuales para cursos de Lógica dictados en los primeros años de carreras de Informática. Las herramientas fueron desarrolladas por alumnos de 2º año de la carrera como Trabajo Final de dos materias, una que introduce conceptos de Lógica para Computación y otra que aborda las bases de las técnicas de diseño de algoritmos, permitiéndoles integrar y profundizar en los contenidos de ambas.V Workshop de Innovación en Educación en Informática (WIEI).Red de Universidades con Carreras en Informática (RedUNCI

Integración de técnicas orientadas al cliente y técnicas formales en el desarrollo de software con UML y RUP

En los últimos años UML ("Unified Modeling Language") se ha impuesto como un estándar de– facto para expresar modelos orientados a objetos. Es un lenguaje diseñado para especificar, visualizar, construir y documentar “artefactos” de sistemas de software [Booch’99]. A diferencia de los lenguajes visuales que lo precedieron, UML posee una definición semántica más precisa que combina notación gráfica, reglas bien formadas expresadas en OCL [OMG’01] y lenguaje natural. Esta definición semántica da una estructura rigurosa al lenguaje aunque aún varias de sus construcciones están definidas débilmente. Si bien UML estandariza un lenguaje de modelamiento y no impone ningún proceso de desarrollo fue concebido pensando en procesos dirigidos por casos de uso, centrados en arquitecturas, iterativos e incrementales. En noviembre de 2001 OMG presenta “Software Process Engineering Metamodel” (SPEM) que es usado para describir un proceso de desarrollo de software concreto o una familia de procesos que usan UML. El proceso más popular que se ajusta a SPEM es RUP (“Rational Unified Process”) [Krutchen’00]. La existencia de un lenguaje de modelamiento estándar como UML brinda la posibilidad de concentrar esfuerzos en la definición de potentes herramientas CASE UML. Pueden mencionarse entre las numerosas existentes en el mercado a Argo/UML, Together, GDPro, Stp/UML, Rational Rose, MagicDraw/UML, Rhapsody y Objecteering. Las mismas asisten en el análisis, diseño e implementación de sistemas orientados a objetos. Proveen facilidades, si bien limitadas, para homogeneizar diagramas y realizar comprobaciones que detecten inconsistencias y errores como asimismo para procesos de ingeniería directa (forward engineering) e inversa (reverse engineering)Eje: Ingeniería de SoftwareRed de Universidades con Carreras en Informática (RedUNCI

Integrating Natural Language Oriented Requirements Models into MDA

Abstract. MDA is a software development framework where the core is a set of automatic transformation of models. One of these models, the CIM, is used to define the business process model. Though a complete automatic construction of the CIM is not possible, we think we could use some requirements models and strategies adapting them to be used in the MDA framework. We present an OCL based transformation to obtain a structural object-oriented CIM from natural language oriented models

Un sistema de tutorías de pares en la Facultad de Ciencias Exactas

[11 p.]A partir del año 2014 y en el marco del proyecto PROMINF, la Facultad de Ciencias Exactas de la Universidad Nacional del Centro de la Pcia. de Bs. As. diseñó y puso en marcha un Programa de Tutorías de Pares para ingresantes de la carrera Ingeniería de Sistemas. En el año 2016 esta propuesta se extendió a todas las carreras de la Facultad. En este trabajo se describe el Programa y las experiencias obtenidas a partir de dos años y medio de implementación del Programa.Fil: Leonardi, María Carmen. Universidad Católica de Salta. Facultad de Ingeniería e Informática; Argentina.Fil: Mauco, María Virginia. Universidad Católica de Salta. Facultad de Ingeniería e Informática; Argentina.Fil: Ferrati, Rosana. Universidad Católica de Salta. Facultad de Ingeniería e Informática; Argentina.Fil: Albornoz, Constanza. Universidad Católica de Salta. Facultad de Ingeniería e Informática; Argentina.Fil: Giamberardino, Natalia. Universidad Católica de Salta. Facultad de Ingeniería e Informática; Argentina