| Título: |
Run-Time Assertion Checking with Énfasis Verificación de Aseveraciones a Tiempo de Ejecución con Énfasis |
| Autores: |
Olmedo Aguirre, José Oscar Juárez Martínez, Ulises |
| Fecha: | 2010-04-27 |
| Publicador: | Revistas UNAM |
| Fuente: |
 |
| Tipo: | |
| Tema: |
Program assertion; formal grammars; local variable crosscutting; local variable pointcut; aspect-oriented programming Aserciones de programas; gramáticas formales; corte en variables locales; puntos de corte en variables locales; programación orientada a aspectos |
| Descripción: |
LOCAL VARIABLES ARE FUNDAMENTAL TO DESCRIBE AND IMPLEMENT COMPUTER ALGORITHMS AND TO SPECIFY SOME OF THEIR PROPERTIES SUCH AS CORRECTNESS, TERMINATION AND PERFORMANCE. IN THIS PAPER, WE ADDRESS THE RUN-TIME ASSERTION CHECKING PROBLEM INVOLVING LOCAL VARIABLES IN JAVA PROGRAMS USING ÉNFASIS. ÉNFASIS IS A NOVEL ASPECT-ORIENTED PROGRAMMING (AOP) LANGUAGE THAT INTRODUCES A JOIN POINT MODEL FOR CROSSCUTTING ON LOCAL VARIABLES AND PATH EXPRESSIONS TO SELECT SETS OF JOIN POINTS. THE CONTRIBUTION OF THIS WORK CONSISTS ON SHOWING THAT RUN-TIME ASSERTION CHECKING IS MORE EFFECTIVE IN ÉNFASIS BY ITS GREATER EXPRESSIVE POWER THAN IN OTHER APPROACHES SUCH AS ASPECTJ AND THE INTERFACE SPECIFICATION LANGUAGE JML. THE GREATER EXPRESSIVENESS OF ÉNFASIS ASSERTIONS ARISES FROM THE FINER GRANULARITY OF CROSSCUTTING, DEFINED AT THE EXPRESSION AND STATEMENT LEVEL IN CONTRAST TO THE COARSER GRANULARITY DEFINED AT THE METHOD INVOCATION LEVEL OF ASPECTJ. ÉNFASIS APPROACH CHARACTERIZES NOT ONLY BY ITS NON-INVASIVENESS AT THE SOURCE CODE LEVEL, MODULARITY, UNIFORMITY AND GENERALITY ARE ALSO IMPROVED IN HANDLING ORTHOGONAL CROSSCUTTING CONCERNS. 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. |
| Idioma: | Inglés |
1 Ordered Hunt Schemes for Overlaid CDMA Cellular Systems,Esquemas de ordenamiento en sistemas celulares sobrepuestos CDMA por Castañeda Camacho, J; Benemérita Universidad Autónoma de Puebla, Puebla, México,Lara Rodríguez, D; IPN | 6 Model for Adjustment of Aggregate Forecasts using Fuzzy Logic,Modelo para el ajuste de pronósticos agregados utilizando lógica difusa por Escobar Gómez, E N; Instituto Tecnológico de Tuxtla Gutiérrez Chiapas,Díaz Núñez, J J; Universidad Autónoma de Ciudad Juárez Chihuahua,Taracena Sanz, L F; Instituto Tecnológico de Querétaro, Querétaro |
2 Volatile Organic Compound Emissions from Light-Duty Vehicles During Cold-Starts,Emisiones de compuestos orgánicos volátiles durante arranques en frío de automóviles ligeros por Mendoza Domínguez, A; Tecnológico de Monterrey, Campus Monterrey, Nuevo León, México,León Romero, M A; Tecnológico de Monterrey, Campus Monterrey, Nuevo León, México,Caballero Mata, P | 7 Matrix Formulation of Foundations for Vibrating Machinery in Frequency Domain,Formulación matricial de cimentaciones para maquinaria vibratoria en el dominio de la frecuencia por Carbajal Romero, M F; Instituto Politécnico Nacional. México DF,Rodríguez Castellanos, A; Instituto Mexicano del Petróleo. México DF,Rodríguez Sánchez, J E; Instituto Mexicano del Petróleo. México DF,Flores Méndez, E; IPN |
3 Hydrogen Sorption Properties of the Intermetallic Mg2Ni Obtained by Using a Simoloyer Ball Milling,Propiedades de ab-desorción de hidrógeno del intermetálico Mg2Ni obtenido empleando un molino de bolas Simoloyer por Martínez Franco, E; IPN,Klassen, T; GKSS, Research Center Geesthacht, Germany,Jaramillo Vigueras, D; IPN,Bormann, R; GKSS, Research Center Geesthacht, Germany | 8 Numerical Approach to an Outflow Hydrograph of a Dambreak,Estimación numérica del hidrograma de salida de una presa debido a su ruptura por Fuentes Mariles, O A; Universidad Nacional Autónoma de México,Arganis Juárez, M L; UNAM,De Luna Cruz, F; UNAM,Franco, V; UNAM |
4 Electrical Parameters Extraction of CMOS Floating-Gate Inverters,Extracción de parámetros eléctricos de inversores CMOS de compuerta flotante por Molinar Solís, J E; Universidad Autónoma del Estado de México,Ponce Ponce, V H; IPN,García Lozano, R Z; Universidad Autónoma del Estado de México,Díaz Sanchez, A; Instituto Nacional de Astrofísica, Óptica y Electrónica INAOE,Rocha Pérez, j M; Instituto Nacional de Astrofísica, Óptica y Electrónica INAOE | 9 Back Work Ratio of Brayton Cycle,La relación de trabajo de retroceso de un ciclo Brayton por Malaver de la Fuente, M; Universidad Marítima del Caribe, Venezuela |
5 Active Rectifier with Extended Functions: An Option to Voltage Sags Ride Through and Power Quality Improvement,Rectificador activo con funciones ampliadas: una alternativa para la compensación de sags de voltaje y mejorar la calidad de la red eléctrica por Núñez Gutiérrez, C A; Universidad Autónoma de San Luis Potosí, SLP,Lira Pérez, J; Universidad Autónoma de San Luis Potosí, SLP,Pazos Flores, F; Universidad Autónoma de San Luis Potosí, SLP,Echavarría Solís, R; Universidad Politécnica de Victoria, Ciudad Victoria, Tamaulipas | 10 Flood Predictions Combining Regional and Single Site Hydrometric Information,Predicción de crecientes combinando información hidrométrica local y regional por Campos Aranda, D F; Universidad Autónoma de San Luis Potosí |