Formal Modelling and Initial Validation of the Chelonia Distributed Storage System
暂无分享,去创建一个
[1] Hong Feng Lai,et al. Modeling Grid Workflow by Coloured Grid Service Net , 2010, GPC.
[2] Marco Mascheroni,et al. Nets-Within-Nets Paradigm and Grid Computing , 2010, ACSD/Petri Nets Workshops.
[3] Laurence T. Yang,et al. Advances in Grid and Pervasive Computing, Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings , 2008, GPC.
[4] Richard McClatchey,et al. A Formal Architecture-Centric Model-Driven Approach for the Automatic Generation of Grid Applications , 2006, ICEIS.
[5] Stanley Y. W. Su,et al. Web Information Systems – WISE 2004 , 2004, Lecture Notes in Computer Science.
[6] Peter Merz,et al. Formal Verification of a Grid Resource Allocation Protocol , 2008, 2008 Eighth IEEE International Symposium on Cluster Computing and the Grid (CCGRID).
[7] Flavia Donno,et al. GLUE Schema Specification version 1.3 , 2007 .
[8] G. G. Stokes. "J." , 1890, The New Yale Book of Quotations.
[9] Jeffrey D. Ullman. Elements of ML programming , 1994 .
[10] Sergio Andreozzi,et al. Sharing a conceptual model of grid resources and services , 2003, ArXiv.
[11] Ruonan Rao,et al. A Formal Model for the Grid Security Infrastructure , 2004, WISE.
[12] Stephan Merz,et al. Model Checking , 2000 .
[13] Flavia Donno,et al. Static and Dynamic Data Models for the Storage Resource Manager v2.2 , 2009, Journal of Grid Computing.
[14] Natalia Sidorova,et al. Modeling grid workflows with colored Petri nets , 2007 .
[15] Salman Toor,et al. Chelonia: A self-healing, replicated storage system , 2011 .
[16] Lars Michael Kristensen,et al. Coloured Petri Nets - Modelling and Validation of Concurrent Systems , 2009 .
[17] Leila Jemni Ben Ayed,et al. Symbolic model checking supporting formal verification of Grid service workflow models specified by UML activity diagrams , 2010, NOTERE.