Selección automática de implementaciones para componentes de software usando un lenguaje multiparadigma para establecer sus aspectos no funcionales

• Autores: Xavier Franch
• Directores de la Tesis: Pere Botella i López (dir. tes.)
• Lectura: En la Universitat Politècnica de Catalunya (UPC) ( España ) en 1996
• Idioma: español
• Tribunal Calificador de la Tesis: Mario Rodríguez Artalejo (presid.) , M. Pilar Nivela Alos (secret.) , Gonzalo León Serrano (voc.) , Fernando Orejas Valdés (voc.) , Michel Lemoine (voc.)
• Texto completo no disponible (Saber más ...)
• Resumen

  • LA TESIS PRESENTA UNA METODOLOGIA QUE PERMITE LA FORMULACION DE REQUISITOS Y PROPIEDADES NO FUNCIONALES EN LOS SISTEMAS DE SOFTWARE DESARROLLADOS CON LENGUAJES BASADOS EN EL CONCEPTO DE TIPO ABSTRACTO DE DATOS (TAD), USAMOS COMO MARCO DE TRABAJO UN LENGUAJE MULTIPARADIGMA LLAMADO MERLI, QUE COMBINA ECUACIONES PARA ESPECIFICAR LOS TADS Y CODIGO IMPERATIVO PARA IMPLEMENTARLOS; TANTO LAS ESPECIFICACIONES COMO LAS IMPLEMENTACIONES ESTAN ENCAPSULADAS EN MODULOS. LAS PROPIEDADES Y REQUISITOS NO FUNCIONALES SE ESTABLECEN MEDIANTE CONSTRUCTORES AD HOC DEL LENGUAJE QUE APARECEN EN UNOS LUGARES DETERMINADOS;

    CONCRETAMENTE, EN LAS ESPECIFICACIONES SE DECLARAN LAS PROPIEDADES DE INTERES JUNTO CON LAS CONDICIONES QUE HAN DE CUMPLIR TODAS LAS IMPLEMENTACIONES DE LOS TADS, MIENTRAS QUE ESTAS ULTIMAS ESTABLECEN EL VALOR QUE TOMAN DICHAS PROPIEDADES Y LAS SUPOSICIONES EFECTUADAS SOBRE LOS TAD IMPORTADOS.

    LAS APORTACIONES MAS RELEVANTES DE LA TESIS SON LAS SIGUIENTES:

    . SE PROPONE UNA NOTACION COMPLETAMENTE FORMAL (DE LA QUE SE DEFINE SU COMPORTAMIENTO HASTA EL MAXIMO DETALLE -V.

    CAP. 5-) PARA TRATAR LOS ASPECTOS NO FUNCIONALES DEL SOFTWARE INTEGRADA EN EL SOFTWARE MISMO, LO QUE MEJORA LA LEGIBILIDAD, EL MANTENIMIENTO, LA REUSABILIDAD Y EL TIEMPO DE DESARROLLO DEL SOFWARE.

    . SE PROPONE UN ALGORITMO CAPAZ DE SELECCIONAR LA MEJOR IMPLEMENTACION DE LOS TADS EN CADA CONTEXTO DE USO, SEGUN LOS REQUISITOS NO FUNCIONALES FORMULADOS EN EL LENGUAJE.

    EN TERMINOS GENERALES, PODEMOS DECIR QUE EL ALGORITMO SE DIVIDE EN DOS PARTES: LA PRIMERA (V. CAP. 3) ESTUDIA LAS INTERACCIONES DE LOS REQUISITOS FORMULADOS EN DIFERENTES PARTES DE LA IMPLEMENTACION. LA SEGUNDA (V. CAP. 4) EXAMINA UN REQUISITO CONCRETO Y SELECCIONA EL CONJUNTO DE IMPLEMENTACIONES QUE LO CUMPLE. LA EXISTENCIA DE DICHO ALGORITMO MEJORA TAMBIEN EL DESARROLLO INICIAL DEL SOFTWARE, ASI COMO SUMANTENIMIENTO, REUSABILIDAD Y LA FIABILIDAD DEL DISEÑO.

    . SE PERMITE QUE UN MISMO TAD ESTE IM