Name
Abstract | ||
|---|---|---|
A strategy for exploring distributed state spaces using computational grids that run bag-of-task applications is discussed. The main idea is to use computational grid tools as a layer between the verification tool and the distributed shared resources, aggregating the vast background developed by researchers in grid computing. Hence, the computational grid deals with resource scalability, computational speedup, and reliability in a transparent manner for the verification tool. Experimental results using a state space generation tool for an object-oriented Petri nets and the OurGrid solution show that is possible to achieve speedup applying it to a private network environment. Moreover, when a wide distributed community is considered, the model size can be increased several times. |
Year | DOI | Venue |
|---|---|---|
2006 | 10.1109/SEFM.2006.1 | SEFM |
Keywords | Field | DocType |
Petri nets,grid computing,object-oriented programming,program verification,software reliability,state-space methods,bag-of-tasks approach,computational grids,computational speedup,distributed shared resources,grid computing,object-oriented Petri nets,reliability,resource scalability,state space exploration,verification tool | Programming language,Petri net,Grid computing,Computer science,Theoretical computer science,Computational resource,Grid,Distributed computing,Scalability,Speedup,Private network,OurGrid | Conference |
ISSN | ISBN | Citations |
1551-0255 | 0-7695-2678-0 | 1 |
PageRank | References | Authors |
0.35 | 14 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Cássio L. Rodrigues | 1 | 7 | 3.83 |
| Paulo E. S. Barbosa | 2 | 23 | 5.14 |
| Jairson M. Cabral | 3 | 1 | 0.69 |
| Jorge C. A. de Figueiredo | 4 | 147 | 14.57 |
| Dalton D. S. Guerrero | 5 | 38 | 4.91 |