Selección automática de implementaciones para componentes de software usando un lenguaje multiparadigma para establecer sus aspectos no funcionales
1996
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 DISENO.
. SE PERMITE QUE UN MISMO TAD ESTE IM
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI