{rfName}
Gr

Indexat a

Llicència i ús

Icono OpenAccess

Altmetrics

Anàlisi d'autories institucional

Llorens, MAutor (correspondència)Oliver, JAutor o coautorSilva, JAutor o coautor

Compartir

31 d’octubre de 2024
Publicacions
>
Article
Sí

Graph Generation to Statically Represent CSP Processes

Publicat a: 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

Autors:

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

Afiliacions

Univ Politecn Valencia - Autor o coautor

Resum

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

Paraules clau

AlgorithmsAnimationComplex concurrent systemsCsp specificationsData structuresDeterministic executionGraph generationIndustrial projectsLogic programmingSpecification and verificationSpecifications

Indicis de qualitat

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

  • L'ús, des de l'àmbit acadèmic evidenciat per l'indicador de l'agència Altmetric referit com a agregacions realitzades pel gestor bibliogràfic personal Mendeley, ens dona un total de: 7.
  • L'ús d'aquesta aportació en marcadors, bifurcacions de codi, afegits a llistes de favorits per a una lectura recurrent, així com visualitzacions generals, indica que algú està fent servir la publicació com a base del seu treball actual. Això pot ser un indicador destacat de futures cites més formals i acadèmiques. Aquesta afirmació està avalada pel resultat de l'indicador "Capture", que aporta un total de: 7 (PlumX).

És fonamental presentar evidències que recolzin l'alineació plena amb els principis i directrius institucionals sobre Ciència Oberta i la Conservació i Difusió del Patrimoni Intel·lectual. Un clar exemple d'això és:

  • El treball s'ha enviat a una revista la política editorial de la qual permet la publicació en obert Open Access.
  • Assignació d'un Handle/URN com a identificador dins del Dipòsit en el Repositori Institucional: http://hdl.handle.net/10251/36090
[+]

Anàlisi del lideratge dels autors institucionals

Aquest treball s'ha realitzat amb col·laboració internacional, concretament amb investigadors de: Germany.

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

l'autor responsable d'establir les tasques de correspondència ha estat Llorens Agost, María Luisa.

[+]