{rfName}
Gr

Indexado en

Licencia y uso

Icono OpenAccess

Altmetrics

Investigadores/as Institucionales

Llorens, MAutor (correspondencia)Oliver, JAutor o CoautorSilva, JAutor o Coautor

Compartir

31 de octubre de 2024
Publicaciones
>
Artículo
Sí

Graph Generation to Statically Represent CSP Processes

Publicado en: Multilayered Asynchronous Consensus-Based Federated Learning (MACoFL). 6564 (0): 52-66 - 2011-01-01 6564(0), DOI: 10.1007/978-3-642-20551-4_4

Autores:

Llorens Agost, María Luisa; Oliver Villarroya, Javier; Silva Galiana, Josep Francesc; Tamarit Muñoz, Salvador
[+]

Afiliaciones

Univ Politecn Valencia - Autor o Coautor

Resumen

The CSP language allows the specification and verification of complex concurrent systems. Many analyses for CSP exist that have been successfully applied in different industrial projects. However, the cost of the analyses performed is usually very high, and sometimes prohibitive, due to the complexity imposed by the non-deterministic execution order of processes and to the restrictions imposed on this order by synchronizations. In this work, we define a data structure that allows us to statically simplify a specification before the analyses. This simplification can drastically reduce the time needed by many CSP analyses. We also introduce an algorithm able to automatically generate this data structure from a CSP specification. The algorithm has been proved correct and its implementation for the CSP's animator ProB is publicly available.
[+]

Palabras clave

AlgorithmsAnimationComplex concurrent systemsCsp specificationsData structuresDeterministic executionGraph generationIndustrial projectsLogic programmingSpecification and verificationSpecifications

Indicios de calidad

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-02:

  • El uso, desde el ámbito académico evidenciado por el indicador de la agencia Altmetric referido como agregaciones realizadas por el gestor bibliográfico personal Mendeley, nos da un total de: 7.
  • La utilización de esta aportación en marcadores, bifurcaciones de código, añadidos a listas de favoritos para una lectura recurrente, así como visualizaciones generales, indica que alguien está usando la publicación como base de su trabajo actual. Esto puede ser un indicador destacado de futuras citas más formales y académicas. Tal afirmación es avalada por el resultado del indicador “Capture” que arroja un total de: 7 (PlumX).

Es fundamental presentar evidencias que respalden la plena alineación con los principios y directrices institucionales en torno a la Ciencia Abierta y la Conservación y Difusión del Patrimonio Intelectual. Un claro ejemplo de ello es:

  • El trabajo se ha enviado a una revista cuya política editorial permite la publicación en abierto Open Access.
  • Asignación de un Handle/URN como identificador dentro del Depósito en el Repositorio Institucional: http://hdl.handle.net/10251/36090
[+]

Análisis de liderazgo de los autores institucionales

Este trabajo se ha realizado con colaboración internacional, concretamente con investigadores de: Germany.

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 (ALPUENTE, M) y Último Autor (Tamarit, S).

el autor responsable de establecer las labores de correspondencia ha sido Llorens Agost, María Luisa.

[+]