Dealing with complex systems often needs the building of huge reachability graphs, thus revealing all the challenges associated with big data access and management. It also requires high performance data processing tools that would allow scientists to extract the knowledge from the unprecedented amount of data coming from these analyzed systems. In this paper we present MaRDiGraS, a generic framework aimed at simplifying the construction of very large state transition systems on large clusters and cloud computing platforms. Through a simple programming interface, it can be easily customized to different formalisms, for example Petri Nets, by either adapting legacy tools or implementing brand new distributed reachability graph builders. The outcome of several tests performed on benchmark specifications are presented.
MaRDiGraS : simplified building of reachability graphs on large clusters / C. Bellettini, M. Camilli, L. Capra, M. Monga - In: Reachability problems : 7th International workshop, RP 2013 : Uppsala, Sweden, september 24-26, 2013 : proceedings / [a cura di] P.A. Abdulla, I. Potapov. - Berlin : Springer, 2013. - ISBN 9783642410352. - pp. 83-95 (( Intervento presentato al 7. convegno Reachability Problems tenutosi a Uppsala nel 2013.
MaRDiGraS : simplified building of reachability graphs on large clusters
C. BellettiniPrimo
;M. CamilliSecondo
;L. CapraPenultimo
;M. MongaUltimo
2013
Abstract
Dealing with complex systems often needs the building of huge reachability graphs, thus revealing all the challenges associated with big data access and management. It also requires high performance data processing tools that would allow scientists to extract the knowledge from the unprecedented amount of data coming from these analyzed systems. In this paper we present MaRDiGraS, a generic framework aimed at simplifying the construction of very large state transition systems on large clusters and cloud computing platforms. Through a simple programming interface, it can be easily customized to different formalisms, for example Petri Nets, by either adapting legacy tools or implementing brand new distributed reachability graph builders. The outcome of several tests performed on benchmark specifications are presented.File | Dimensione | Formato | |
---|---|---|---|
mardigras.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
271.57 kB
Formato
Adobe PDF
|
271.57 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.