Análisis de Series LRD con Parámetro de Hurst Variante en el Tiempo

Sergio Ledesma Orozco, Gustavo Cerda Villafaña, Gabriel Aviña Cervantes, Donato Hernández Fusilier, Miguel Torres Cisneros

Resumen


LAS VARIABLES LOCALES SON FUNDAMENTALES PARA DESCRIBIR E IMPLEMENTAR ALGORITMOS Y PARA ESPECIFICAR ALGUNAS DE SUS PROPIEDADES TALES COMO CORRECTITUD, TERMINACIÓN Y DESEMPEÑO. EN ESTE ARTÍCULO SE DISCUTE LA VERIFICACIÓN DE ASEVERACIONES A TIEMPO DE EJECUCIÓN EN PROGRAMAS JAVA UTILIZANDO ÉNFASIS. ÉNFASIS ES UN LENGUAJE ORIENTADO A ASPECTOS QUE INCORPORA UN MODELO DE PUNTOS DE UNIÓN PARA APLICAR CORTE SOBRE VARIABLES LOCALES Y EXPRESIONES DE RUTAS PARA SELECCIONAR CONJUNTOS DE PUNTOS DE UNIÓN. LA CONTRIBUCIÓN DE ESTE TRABAJO ES MOSTRAR QUE LA VERIFICACIÓN DE ASEVERACIONES A TIEMPO DE EJECUCIÓN ES MÁS EFECTIVA EN ÉNFASIS POR SU GRAN PODER EXPRESIVO RESPECTO A OTROS ENFOQUES COMO ASPECTJ Y JML. LA EXPRESIVIDAD DE LAS ASEVERACIONES EN ÉNFASIS SE DEBE A LA GRANULARIDAD FINA DE LOS CORTES QUE SE DEFINEN A NIVEL DE EXPRESIONES Y SENTENCIAS, A DIFERENCIA DE OTRAS GRANULARIDADES MÁS GRUESAS DEFINIDAS A NIVEL DE INVOCACIONES DE MÉTODOS COMO EN ASPECTJ. EL ENFOQUE DE ÉNFASIS NO SOLO DESTACA POR SU NO INVASIVIDAD DEL CÓDIGO FUENTE, MODULARIDAD, UNIFORMIDAD Y GENERALIDAD, SINO TAMBIÉN POR EL MANEJO ORTOGONAL DE INCUMBENCIAS DE CORTE.

Palabras clave


Estimación del parámetro de Hurst; similar así mismo; dependencia de rango amplio; parámetro de Hurst variante en el tiempo

Texto completo:

PDF


Contacto:
Oscar Zavala