Abstract
A storage system with file replication is an important element in supporting reliable and fault tolerant file access in many grid computing systems. The Chelonia distributed storage system is being developed in the context of the NorduGrid project. It provides transparent access to replicated files stored on a heterogeneous collection of storage nodes with files being organised in a global name space. Our contribution is to develop a formal specification of the operations supported by the Chelonia system using the Coloured Petri Nets modelling language with the aim of verifying functional correctness. An important contribution of our formal modelling approach is to abstract from the concrete data stored on the storage nodes within the system. This caters for verification of the storage operations using finite-state model checking techniques. © 2011 Springer-Verlag.
Cite
CITATION STYLE
Taktak, S., & Kristensen, L. M. (2011). Formal modelling and initial validation of the Chelonia distributed storage system. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6646 LNCS, pp. 127–137). https://doi.org/10.1007/978-3-642-20754-9_14
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
