{rfName}
Ch

Indexado en

Altmetrics

Investigadores/as Institucionales

Fredlund, Lars-AkeAutor (correspondencia)Herranz, AngelAutor o CoautorMarino, JulioAutor o Coautor

Compartir

21 de agosto de 2025
Publicaciones
>
Conferencia Publicada
No

Checking Concurrency Coding Rules

Publicado en: Syntactic ASP Forgetting with Forks. 15537 113-129 - 2025-01-01 15537(), DOI: 10.1007/978-3-031-84924-4_8

Autores:

Fredlund, LA; Herranz, A; Mariño, J
[+]

Afiliaciones

Univ Politecn Madrid, Sch Comp Engn, Campus Montegancedo S-N, Madrid, Spain - Autor o Coautor

Resumen

We present an approach for checking that Java programs correctly use libraries such as java.util.concurrent.locks for synchronizing concurrent tasks. Concretely, the article develops methods to check that the behaviour of a program is in accordance with a set of coding rules that govern the correct usage of the library. Here such coding rules are formalized as Prolog predicates that judge whether the history of interactions between program and library represents correct usage or not. The history of interactions is obtained by tracing the interactions between the program and the library when executing a representative test suite. The approach is evaluated in a case study in which around 200 independent monitor-based Java implementations of a common specification are analysed to check adherence to the concurrency coding rules.
[+]

Palabras clave

Case-studiesCoding ruleCommon specificationComputer circuitsConcurrency coding ruleConcurrency coding rulesConcurrency controlConcurrent tasksJavaJava implementationJava programJava programming languageLogic programminLogic programmingLogic-programmingProlog (programming language)Software testing

Indicios de calidad

Impacto bibliométrico. Análisis de la aportación y canal de difusión

El trabajo ha sido publicado en la revista Syntactic ASP Forgetting with Forks debido a la progresión y el buen impacto que ha alcanzado en los últimos años, según la agencia WoS (JCR), se ha convertido en una referencia en su campo. En el año de publicación del trabajo, 2025, se encontraba en la posición 70/78, consiguiendo con ello situarse como revista Q1 (Primer Cuartil), en la categoría Computer Science, Artificial Intelligence. Destacable, igualmente, el hecho de que la Revista está posicionada por encima del Percentil 90.

[+]

Impacto y visibilidad social

Desde la dimensión de Influencia o adopción social, y tomando como base las métricas asociadas a las menciones e interacciones proporcionadas por agencias especializadas en el cálculo de las denominadas “Métricas Alternativas o Sociales”, podemos destacar a fecha 2026-04-05:

Con una intencionalidad más de divulgación y orientada a audiencias más generales podemos observar otras puntuaciones más globales como:

  • El Score total de Altmetric: 1.
[+]

Análisis de liderazgo de los autores institucionales

Existe un liderazgo significativo ya que algunos de los autores pertenecientes a la institución aparecen como primer o último firmante, se puede apreciar en el detalle: Primer Autor (FREDLUND, LARS-AKE) y Último Autor (MARIÑO CARBALLO, JULIO).

el autor responsable de establecer las labores de correspondencia ha sido FREDLUND, LARS-AKE.

[+]

Objetivos del proyecto

La aportación persigue los siguientes objetivos: analizar el uso correcto de bibliotecas como java.util.concurrent.locks en programas Java para la sincronización de tareas concurrentes; formalizar reglas de codificación mediante predicados Prolog que evalúen la corrección del historial de interacciones entre programa y biblioteca; determinar la adecuación del comportamiento del programa conforme a dichas reglas mediante el trazado de interacciones durante la ejecución de un conjunto representativo de pruebas; evaluar la efectividad del enfoque mediante un estudio de caso que analiza alrededor de 200 implementaciones independientes basadas en monitores para verificar el cumplimiento de las reglas de concurrencia.
[+]

Resultados más relevantes

El estudio presenta un método para verificar el uso correcto de bibliotecas de concurrencia en programas Java mediante reglas de codificación formalizadas como predicados Prolog. Los resultados más relevantes incluyen: la formalización de reglas de concurrencia como predicados lógicos que permiten evaluar la corrección del uso de la biblioteca java.util.concurrent.locks; la obtención de historiales de interacción entre programa y biblioteca mediante trazado durante la ejecución de suites de prueba representativas; la aplicación del método a un estudio de caso con aproximadamente 200 implementaciones independientes basadas en monitores; y la evaluación de la conformidad de dichas implementaciones con las reglas de codificación establecidas, demostrando la viabilidad del enfoque para detectar incumplimientos en entornos concurrentes.
[+]

Reconocimientos ligados al ítem

This work has been partly funded by the Ministerio de Ciencia e Innovacion of Spain (SAFER project, ref. PID2019-104735RB-C44).
[+]