{rfName}
Ch

Indexat a

Altmetrics

Anàlisi d'autories institucional

Fredlund, Lars-AkeAutor (correspondència)Herranz, AngelAutor o coautorMarino, JulioAutor o coautor

Compartir

21 d’agost de 2025
Publicacions
>
Conferència publicada
No

Checking Concurrency Coding Rules

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

Autors:

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

Afiliacions

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

Resum

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.
[+]

Paraules clau

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

Indicis de qualitat

Impacte bibliomètric. Anàlisi de la contribució i canal de difusió

El treball ha estat publicat a la revista Syntactic ASP Forgetting with Forks a causa de la seva progressió i el bon impacte que ha aconseguit en els últims anys, segons l'agència WoS (JCR), s'ha convertit en una referència en el seu camp. A l'any de publicació del treball, 2025, es trobava a la posició 70/78, aconseguint així situar-se com a revista Q1 (Primer Cuartil), en la categoria Computer Science, Artificial Intelligence. Destacable, igualment, el fet que la revista està posicionada per sobre del Percentil 90.

[+]

Impacte i visibilitat social

Des de la dimensió d'influència o adopció social, i prenent com a base les mètriques associades a les mencions i interaccions proporcionades per agències especialitzades en el càlcul de les denominades "Mètriques Alternatives o Socials", podem destacar a data 2026-04-05:

Amb una intenció més de divulgació i orientada a audiències més generals, podem observar altres puntuacions més globals com:

  • El Puntuació total de Altmetric: 1.
[+]

Anàlisi del lideratge dels autors institucionals

Hi ha un lideratge significatiu, ja que alguns dels autors pertanyents a la institució apareixen com a primer o últim signant, es pot apreciar en el detall: Primer Autor (FREDLUND, LARS-AKE) i Últim Autor (MARIÑO CARBALLO, JULIO).

l'autor responsable d'establir les tasques de correspondència ha estat FREDLUND, LARS-AKE.

[+]

Objectius del projecte

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.
[+]

Resultats més rellevants

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.
[+]

Reconeixements vinculats a l’ítem

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