GRUPO CALIDAD/MÉTRICAS

Coordinadora: Dra. Marcela Genero BoccoGrupo Alarcos

Escuela Superior de Informática

Universidad Castilla-La Mancha, Ciudad Real, España.

Ciudad RealJunio de 2007

I Jornadas de Trabajo META

GRUPO CALIDAD/MÉTRICAS

1. Miembros

2. Colaboraciones

3. Análisis de Tareas y Futuro de la Línea

Índice

GRUPO CALIDAD/MÉTRICAS

Miembros

MIEMBROS

MOMENT

Silvia AbrahaoEmilio InsfránArtur BoronatIsidro RamosJosé Angel CarsíAbel GómezCarmen Penadés

ESFINGE

Marcela Genero (coordinador) Mario PiattiniBeatriz MoraFrancisco RuizFélix GarcíaElvira RolónFrancisco PinoJosé Antonio Cruz-LemusLuis ReynosoCoral CaleroJulián Ruiz Ismael CaballeroMaría de los Ángeles MoragaManuel Angel Serrano

MEDWSA

Diego Alonso

GRUPO CALIDAD/MÉTRICAS

Miembros

MOMENT

Silvia AbrahaoEmilio InsfránArtur BoronatIsidro RamosJosé Angel CarsíAbel GómezCarmen Penadés

ESFINGE

Marcela Genero (coordinador) Mario PiattiniBeatriz MoraFrancisco RuizFélix GarcíaElvira RolónFrancisco PinoJosé Antonio Cruz-LemusLuis ReynosoCoral CaleroJulián Ruiz Ismael CaballeroMaría de los Ángeles MoragaManuel Angel Serrano

MEDWSA

Diego Alonso

DEDALO

Begoña MorosM.A. Martínez Aguilar

GRUPO CALIDAD/MÉTRICAS

Colaboraciones

MOMENT

Silvia AbrahaoEmilio InsfránJosé Angel CarsíIsidro Ramos

ESFINGE

Marcela Genero Mario Piattini

Tema: Transformación de Modelos Dirigida por Características de

Calidad

GRUPO CALIDAD/MÉTRICAS

Colaboraciones

Tema: Transformación de Modelos Dirigida por Características de

Calidad

Modelo DestinoTransformaciónModelo Origen

Definición de la Transformación

Modelo de Calidad

Atributos de calidad dinámicos

Metamodelo Origen

Metamodelo Destino

Instancia de Instancia de

Metamodelo de Calidad

Instancia de

Metamodelo del Lenguaje de

Transformación

Instancia de

Atributos de calidad estáticos

ejecuta

lee escribe

• Será construído de manera empírica a partir de la evidencia obtenida con los experimentos controlados!

GRUPO CALIDAD/MÉTRICAS

Colaboraciones

Tema: Transformación de Modelos Dirigida por Características de

Calidad

• Selección y estudio de un dominio: Modelo de Requisitos a Modelo de clases UML (Noviembre 2006)

• Selección del punto de vista de la calidad: calidad pragmática y el atributo de calidad “facilidad de entendimiento” (Noviembre 2006)

• Estudio de transformaciones alternativas: relaciones estructurales entre clases (Diciembre 2006)

• Diseño y Ejecución de un experimento y su réplica en la UPV para comprobar cuál transformación alternativa produce el modelo de clases UML más fácil de entender (Enero 2007)

• Replica del experimento en la UCLM (Abril 2007)

• Análisis y discusión de los datos obtenidos (Marzo/Abril 2007)

TAREAS REALIZADAS

GRUPO CALIDAD/MÉTRICAS

Colaboraciones

• Analizar los datos de la réplica realizada en UCLM• Realizar más experimentación usando otras reglas de

transformación (otros dominios), otras características/atributos y perspectivas de calidad

• Definir el modelo de calidad y metamodelo de calidad para dirigir las transformaciones a partir de la evidencia empírica obtenida con los experimentos realizados

• Definir en QVT las transformaciones usando el metamodelo origen + metamodelo de calidad + metamodelo destino

• Ejecutar en MOMENT las transformaciones dirigidas por características de calidad

TRABAJO FUTURO

Tema: Transformación de Modelos Dirigida por Características de

Calidad

GRUPO CALIDAD/MÉTRICAS

Colaboraciones

Tema: Evaluación del Modelo de Especificación de Requisitos RETO

• Realización de un experimento y varias réplicas para evaluar RETO desde el punto de vista de la entendibilidad

• Utilización de medida objetivas de la eficiencia y eficacia• Utilización de medidas subjetivas basadas en la percepción

de los usuarios

TAREAS REALIZADAS

GRUPO CALIDAD/MÉTRICAS

Colaboraciones

Tema: Evaluación del Modelo de Especificación de Requisitos RETO

• Analizar los datos obtenidos a través de la experimentación• Realizar otra familia de experimentos para estudiar como la

incorporación de estereotipos permite mejorar la entendibilidad de la especificación de requisitos funcionales como interacciones entre objetos.

TRABAJO FUTURO

GRUPO CALIDAD/MÉTRICAS

Colaboraciones

RESULTADOSPublicaciones Aceptadas:

•Abrahão, S. Insfrán, E., Genero, M. Carsí, J. A., Ramos, I., Piattini, M. (2007) Quality-Driven Transformations: From Requirements to UML Class Diagrams. Libro “Model-Driven Software Development: Integrating Quality Assurance”, Jörg Rech and Christian Bunse (eds.), Idea Group, Inc.

•Calero, C., Abrahão, S., García, F., Genero, M. (2007). Calidad en la Fabricación del Software. Libro ”Factorías de Software: Experiencias, tecnologías y organización”. Piattini, M. y Garzás, J. (eds.), Editorial Ra-Ma.

Publicaciones Enviadas:

•Insfran E., Carsí J. A., Abrahão S., Genero M.,Ramos I., Piattini M. Empirical Evaluation of Alternative QVT Transformations in the context of MDA: a replicated study Submitted to 10th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (QSIC 2007), USA, 2007.

•Genero M., Piattini M., Abrahão S., Insfran E., Carsí J. A., Ramos I. A Controlled Experiment for Selecting MDA Transformations based on Quality Attributes Submitted to 1st ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2007), Madrid, Spain, September 2007.

Tema: Transformación de Modelos Dirigida por Características de

Calidad

GRUPO CALIDAD/MÉTRICAS

Colaboraciones

RESULTADOSPublicaciones Futuras

• Un artículo de revista con la experimentación de selección de transformaciones alternativas guiada por atributos de calidad

• 1 artículo sobre la validación empírica del Método de Especificación de Requisitos (RE 2008)

• 1 artículo sobre la validación del uso de estereotipos en RETO (MODELS 08, ICSE 08)

Tema: Transformación de Modelos Dirigida por Características de

Calidad

GRUPO CALIDAD/MÉTRICAS

Colaboraciones

Tema: Marco de Trabajo basado en MDA para la Medición Genérica del

Software

MOMENT

Artur BoronatIsidro RamosJosé Angel CarsíAbel Gómez

ESFINGE

Mario PiattiniBeatriz MoraFrancisco RuizFélix García

GRUPO CALIDAD/MÉTRICAS

Colaboraciones

Tema: Mejora del proceso SIREN y su adaptación a CMMI

ESFINGE

Mario PiattiniFrancisco RuizFélix García

DEDALO

Begoña MorosM.A. Martínez Aguilar

GRUPO CALIDAD/MÉTRICAS

Colaboraciones

Tema: Selección de transformaciones alternativas para generar

aplicaciones más eficientes

ESFINGE

Mario PiattiniMarcela Genero

MEDWSA

Diego Alonso

GRUPO CALIDAD/MÉTRICAS

Tareas y FuturoTareas: primer y segundo año

UMU 1.1 Estudiar los estándares de calidad más aceptado en Ingeniería del Software.

UMU 1.2 Evaluar la calidad del modelo de proceso SIREN.

UMU 1.3 Mejora del proceso SIREN y adaptación a CMMi.

UMU 1.4 Mejora del proceso SIREN ampliando sus capacidades respecto a cuestiones generales de Ingeniería de Requisitos, tales como: variabilidad, reutilización, trazabilidad y calidad. Extender su ámbito de aplicación utilizándolo como un método de soporte al desarrollo dirigido por modelos basado en los requisitos.

UCLM 1.1 Analizar las principales medidas básicas propuestas para modelos UML y expresiones OCL.

UCLM 1.2 Proponer medidas indirectas para los diferentes modelos UML /OCL combinados.

UCLM 1.4 Analizar medidas para arquitecturas software.

UCLM 1.5 Obtener un conjunto de indicado válidos para arquitecturas software.

UCLM 1.6 Proponer medidas e indicadores que puedan aplicarse en la transformación de modelos en MDD.

UCLM 1.8 Analizar las técnicas existentes para definición de valores umbrales.

UCLM 1.10 Identificación de las principales categorías de medidas abstractas.

UCLM 1.11 Marco formal para la instanciación de medidas abstractas

UPCT 1.4 Métricas para la caracterización de los modelos generados para sistemas reactivos.

GRUPO CALIDAD/MÉTRICAS

Tareas y FuturoTareas: primer y segundo año

UMU 1.1 Estudiar los estándares de calidad más aceptado en Ingeniería del Software.

UMU 1.2 Evaluar la calidad del modelo de proceso SIREN.

UMU 1.3 Mejora del proceso SIREN y adaptación a CMMi.

UMU 1.4 Mejora del proceso SIREN ampliando sus capacidades respecto a cuestiones generales de Ingeniería de Requisitos, tales como: variabilidad, reutilización, trazabilidad y calidad. Extender su ámbito de aplicación utilizándolo como un método de soporte al desarrollo dirigido por modelos basado en los requisitos.

UCLM 1.1 Analizar las principales medidas básicas propuestas para modelos UML y expresiones OCL.

UCLM 1.2 Proponer medidas indirectas para los diferentes modelos UML /OCL combinados.

UCLM 1.4 Analizar medidas para arquitecturas software.

UCLM 1.5 Obtener un conjunto de indicado válidos para arquitecturas software.

UCLM 1.6 Proponer medidas e indicadores que puedan aplicarse en la transformación de modelos en MDD.

UCLM 1.8 Analizar las técnicas existentes para definición de valores umbrales.

UCLM 1.10 Identificación de las principales categorías de medidas abstractas.

UCLM 1.11 Marco formal para la instanciación de medidas abstractas

UPCT 1.4 Métricas para la caracterización de los modelos generados para sistemas reactivos.

GRUPO CALIDAD/MÉTRICAS

Tareas y Futuro

Tareas: segundo y tercer añoUMU 1.5 Soporte automático del modelo de calidad definido para SIREN.

UMU 1.6 Validar el modelo de calidad definido en un caso de estudio con las empresas colaboradoras.

UCLM 1.3 Proponer indicadores multivista basados en los diferentes modelos UML/OCL combinados.

UCLM 1.9 Definir valores umbrales para las medidas definidas.

UCLM 1.12 Prototipo de herramienta abierta y extensible para la medición del software.

UCLM 4.2 Definición del Marco de Trabajo para la Mejora de Procesos de Negocio

UCLM 4.3 Obtener un conjunto de medidas válidas para evaluar la mantenibilidad de los modelos conceptuales de procesos de negocio.

GRUPO CALIDAD/MÉTRICAS

GRUPO CALIDAD/MÉTRICAS

Coordinadora: Dra. Marcela Genero BoccoGrupo Alarcos

Escuela Superior de Informática

Universidad Castilla-La Mancha, Ciudad Real, España.

Ciudad RealJunio de 2007

I Jornadas de Trabajo META