Design, Verification and Prototyping the Next Generation of Desktop Grid Middleware

  • Leila Abidi
  • Christophe Cérin
  • Kais Klai
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7296)


This paper proposes a formal framework for the design and verification of a new Desktop Grid (DG) prototype which is currently developed with Web 2.0 technologies and only with this technology. The paper is an approach for developing a new generation of Desktop grid middleware, in our case based on Redis, a key-value no-SQL Web 2.0 tool with capability for managing the Publish-Subscribe asynchronous paradigm. We propose to revisit the Desktop Grid paradigm based only on concepts from Web 2.0 tools. It is different from previous approaches that have required to build software layers before the layer of the DG middleware. We demonstrate that this corresponds to a progress in freeing time for modeling and verification, that is, to build safe middleware. This work proposes (1) a modeling and a verification of a DG protocol based on the Publish-Subscribe paradigm (2) a prototype of a new generation of DG middleware that we are developing, concurrently with the modeling. A simulation, according to a prototype is conducted on a local cluster and demonstrate that our system is operational, light in terms of coding lines and used resources. Thus, it offers remarkable properties in order to implement DGs on tablets and Smartphones, we mean on resource constrained systems.


Desktop grid computing Grid middleware Volunteer Computing Service-oriented computing resource management Redis Web 2.0 Publish-Subscribe paradigm Formal Models Colored Petri Nets 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Kondo, D.: Preface to the special issue on volunteer computing and desktop grids. J. Grid Comput. 7, 417–418 (2009)CrossRefGoogle Scholar
  2. 2.
    University of California: SETI@Home (October 2011),
  3. 3.
    University of California: BOINC (October 2011),
  4. 4.
    Univa: United Devices (October 2011),
  5. 5.
    DistributedNet: Distributed.Net (October 2011),
  6. 6.
    Univa: XtremWeb (October 2011),
  7. 7.
    Abbes, H., Cérin, C., Jemni, M.: Bonjourgrid as a decentralised job scheduler. In: APSCC, pp. 89–94. IEEE (2008)Google Scholar
  8. 8.
    Abbes, H., Cérin, C., Jemni, M.: Bonjourgrid: Orchestration of multi-instances of grid middlewares on institutional desktop grids. In: IPDPS, pp. 1–8. IEEE (2009)Google Scholar
  9. 9.
    Abbes, H., Cérin, C., Jemni, M.: A decentralized and fault-tolerant desktop grid system for distributed applications. Concurrency and Computation: Practice and Experience 22, 261–277 (2010)Google Scholar
  10. 10.
    Smets-Solanes, J.P., Cérin, C., Courteaud, R.: Slapos: A multi-purpose distributed cloud operating system based on an erp billing model. [27] , 765–766Google Scholar
  11. 11.
    Eugster, P.T., Felber, P., Guerraoui, R., Kermarrec, A.-M.: The many faces of publish/subscribe. ACM Comput. Surv. 35, 114–131 (2003)CrossRefGoogle Scholar
  12. 12.
    Cheshire, S., Steinberg, D.H.: Zero configuration networking - the definitive guide: things that just work: covers Apple’s Bonjour APIs. O’Reilly (2005)Google Scholar
  13. 13.
    Zanolin, L., Ghezzi, C., Baresi, L.: An approach to model and validate publish/subscribe architectures (2003)Google Scholar
  14. 14.
    Harrison, M.D., Kray, C., Sun, Z., Zhang, H.: Factoring user Experience into the Design of Ambient and Mobile Systems. In: Gulliksen, J., Harning, M.B., van der Veer, G.C., Wesson, J. (eds.) EIS 2007. LNCS, vol. 4940, pp. 243–259. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  15. 15.
    Garlan, D., Khersonsky, S., Kim, I.: Model Checking Publish-Subscribe Systems. In: Ball, T., Rajamani, S.K. (eds.) SPIN 2003. LNCS, vol. 2648, pp. 166–180. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  16. 16.
    Abidi, L., Cérin, C., Evangelista, S.: A petri-net model for the publish-subscribe paradigm and its application for the verification of the bonjourgrid middleware. [27], 496–503Google Scholar
  17. 17.
    Kacem, N.H., Kacem, A.H., Jmaiel, M., Drira, K.: Towards modelling and analysis of a coordination protocol for dynamic software adaptation. In: Chbeir, R., Badr, Y., Abraham, A., Laurent, D., Köppen, M., Ferri, F., Zadeh, L.A., Ohsawa, Y. (eds.) CSTST, pp. 499–507. ACM (2008)Google Scholar
  18. 18.
    Kacem, N.H., Kacem, A.H., Drira, K.: A formal model of a multi-step coordination protocol for self-adaptive software using coloured petri nets. International Journal of Computing and Information Sciences (2009)Google Scholar
  19. 19.
    Silva, L.D.D., Perkusich, A.: Formal verification of component-based software systems. In: Isaías, P.T., Sedes, F., Augusto, J.C., Ultes-Nitsche, U. (eds.) NDDL/VVEIS, pp. 113–124. ICEIS Press (2003)Google Scholar
  20. 20.
    Wells, L.: Performance analysis using cpn tools. In: Lenzini, L., Cruz, R.L. (eds.) VALUETOOLS. ACM International Conference Proceeding Series, vol. 180, p. 59. ACM (2006)Google Scholar
  21. 21.
    Jensen, K., Kristensen, L.M.: Coloured Petri Nets: Modelling and Validation of Concurrent Systems, 1st edn., July 1. Springer, Heidelberg (2009)Google Scholar
  22. 22.
    McClatchey, R., Estrella, F., Le Goff, J.M., Kovacs, Z., Baker, N.: Object databases in a distributed scientific workflow application. In: Proceedings of the 3rd Basque International Workshop on Information Technology (BIWIT 1997), p. 11. IEEE Computer Society, Washington, DC (1997)Google Scholar
  23. 23.
    Qin, J., Fahringer, T.: Advanced data flow support for scientific grid workflow applications. In: Proceedings of the 2007 ACM/IEEE Conference on Supercomputing, SC 2007, pp. 42:1–42:12. ACM, New York (2007)Google Scholar
  24. 24.
    Schüller, F., Qin, J., Nadeem, F., Prodan, R., Fahringer, T., Mayr, G.: Performance, scalability and quality of the meteorological grid workflow meteoag. In: Proceedings of the 2nd Austrian Grid Symp., Univ. Innsbruck (2006)Google Scholar
  25. 25.
    Silva, L., Granato, G.L., Bressan, A., Lacey, C.G., Baugh, C.M., Cole, S., Frenk, C.S.: Modeling dust on galactic sed: Application to semi-analytical galaxy formation models (1999)Google Scholar
  26. 26.
    Zhao, Y., Wilde, M., Foster, I., Voeckler, J., Jordan, T., Quigg, E., Dobson, J.: Grid middleware services for virtual data discovery, composition, and integration. In: 2nd Workshop on Middleware for Grid Computing, p. 57. ACM Press (2004)Google Scholar
  27. 27.
    Jacobsen, H.A., Wang, Y., Hung, P. (eds.): IEEE International Conference on Services Computing, SCC 2011, Washington, DC, USA, July 4-9. IEEE (2011)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Leila Abidi
    • 1
    • 2
  • Christophe Cérin
    • 1
  • Kais Klai
    • 1
  1. 1.Université de Paris 13, LIPN UMR CNRS 7030VilletaneuseFrance
  2. 2.Université de Tunis, LaTICE ESSTTTunisTunisie

Personalised recommendations