Analysis of DIRAC's behavior using model checking with process algebra

DIRAC is the grid solution developed to support LHCb production activities as well as user data analysis. It consists of distributed services and agents delivering the workload to the grid resources. Services maintain database back-ends to store dynamic state information of entities such as jobs, qu...

Descripción completa

Detalles Bibliográficos
Autores principales: Remenska, Daniela, Templon, Jeff, Willemse, Tim, Bal, Henri, Verstoep, Kees, Fokkink, Wan, Charpentier, Philippe, Diaz, Ricardo Graciani, Lanciotti, Elisa, Roiser, Stefan, Ciba, Krzysztof
Lenguaje:eng
Publicado: 2012
Materias:
Computing and Computers
Acceso en línea:https://dx.doi.org/10.1088/1742-6596/396/5/052061
http://cds.cern.ch/record/1515980

Internet

https://dx.doi.org/10.1088/1742-6596/396/5/052061
http://cds.cern.ch/record/1515980

Ejemplares similares