skip to main content
10.1145/3330089.3330104acmotherconferencesArticle/Chapter ViewAbstractPublication PagesicsentConference Proceedingsconference-collections
research-article

Formal approach to validated allocation process based on MAS and CP system

Authors Info & Claims
Published:26 December 2018Publication History

ABSTRACT

Cloud Computing is a model for enabling on-demand network access to a shared pool of computing resources that can be dynamically allocated and released with minimal effort. However, this task can be complex in highly dynamic environments with various resources to allocate for an increasing number of different users requirements. In this work, we propose Cloud architecture based on a multi-agent and constraint programming (CP), system exhibiting new strategy of allocation resources, with intelligent management of resources. Our approach verified by formal approach to address the dynamic resource allocation. In addition, we validate our proposed Cloud architecture by simulation. Results show that it can properly allocate resources to reduce energy consumption, while satisfying the users demanded QoS.

References

  1. Baldonado, M., Chang, C.-C.K., Gravano, L., Paepcke, A.: The Stanford Digital Library Metadata Architecture. Int. J. Digit. Libr. 1 (1997) 108--121Google ScholarGoogle ScholarCross RefCross Ref
  2. V. Vinothina, R. Sridaran and P. Ganapathi, "A Survey on Resource Allocation Strategies in Cloud Computing," International Journal of Advanced Computer Science and Applications, vol. 3, no. 6, pp. 97--104, 2012Google ScholarGoogle ScholarCross RefCross Ref
  3. Andrei IONESCU "Resource Management in Mobile Cloud Computing" InformaticaEconomică vol. 19, no. 1/2015.Google ScholarGoogle Scholar
  4. Liu L, Wang H, Liu X, Jin X, He WB, Wang QB, et al. GreenCloud: a new architecture for green data center. Proceedings of the sixth international conference industry session on autonomic computing and communications industry session, ICAC-INDST'09. New York, NY: ACM; 2009. p. 29_38.Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Tian WH, Zhao Y, Zhong YL, Xu MX, Jing C. A dynamic and integrated load balancing scheduling algorithm for Cloud data centers. In: the proceedings of CCIS2011, Beijing.Google ScholarGoogle Scholar
  6. F. Satoh, H. Yanagisawa, H. Takahashi and T. Kushida, (Eds.), "Total Energy Management system for Cloud Computing", Proceedings of the IEEE International Conference of the Cloud Engineering (IC2E), (2013), March 25-27; Redwood City, CA.Google ScholarGoogle Scholar
  7. R. Beik, (Ed.), "Green Cloud Computing: An Energy-Aware Layer in Software Architecture", Proceedings of the Spring Congress of the Engineering and Technology (S-CET), (2012), May 27-30; Xian.Google ScholarGoogle Scholar
  8. A. Beloglazov and R. Buyya, (Eds.), "Energy Efficient Allocation of Virtual Machines in Cloud Data Centres", Proceedings of the 10th IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGrid), (2010) May 17-20; Melbourne, Australia. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. M. N. Hulkury and M. R. Doomun, (Eds.), "Integrated Green Cloud Computing Architecture", Proceedings of the International Conference on Advanced Computer Science Applications and Technologies (ACSAT), (2012), Washington DC, USA. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. S. K. Garg, C. S. Yeo and R. Buyya, (Eds.), "Green Cloud Framework for Improving Carbon Efficiency of Clouds", Proceedings of the 17th International European Conference on Parallel and Distributed Computing (EuroPar), (2011) August-September. Bordeaux, France. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. R. Barták. Constraint programming: In pursuit of the holy grail. In proc of WDS99 1999Google ScholarGoogle Scholar
  12. Pierre-E." How to Solve Allocation Problems with ConstraintProgramming" 2005Google ScholarGoogle Scholar
  13. Varga, A., & Hornig, R. (2008). An overview of the OMNeT++ simulation environment Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops (pp. 60): ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering).Google ScholarGoogle Scholar
  14. Núñez, Alberto, Vázquez-Poletti, Jose L., Caminero, Agustin C., Castañé, Gabriel G., Carretero, Jesus, & Llorente, Ignacio M. (2012). iCanCloud: A Flexible and Scalable Cloud Infrastructure Simulator. Journal of Grid Computing, 10(1), 185--209. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. Abid, K., Mouss, L. H., Kazar, O. & Kahloul, L., 2017. Formal approach based on petri nets using agent paradigm for m-maintenance. Int. J. Critical Computer-Based Systems, Vol., No. 1, 7(1), pp. 91--117. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. Biermann, E., Ermel, C., Hermann, F. & Modica, T., 2007. A Visual Editor for Reconfigurable Object Nets based on the ECLIPSE Graphical Editor Framework. s.l., 14th Workshop on Algorithms and Tools for Petri Nets. GI Special Interest Group on Petri Nets and Related.Google ScholarGoogle Scholar
  17. András Varga and Rudolf Hornig. An overview of theomnet++ simulation environment. In Proc. of Int. Conf.on Simulation tools and techniques for communications, networks and systems & workshops, page 60, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. Alberto Núñez et al. icancloud: A flexible and scalablecloud infrastructure simulator. Journal of Grid Computing, 10(1):185--209, 2012. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. Soltane, M., Okba, K., Makhlouf, D., & Eom, S. B. (2018). Smart Configuration and Auto Allocation of Resource in Cloud Data Centers. International Journal of Business Analytics (IJBAN), 5(4), 1--23.Google ScholarGoogle Scholar

Index Terms

  1. Formal approach to validated allocation process based on MAS and CP system

    Recommendations

    Comments

    Login options

    Check if you have access through your login credentials or your institution to get full access on this article.

    Sign in
    • Published in

      cover image ACM Other conferences
      ICSENT 2018: Proceedings of the 7th International Conference on Software Engineering and New Technologies
      December 2018
      201 pages
      ISBN:9781450361019
      DOI:10.1145/3330089

      Copyright © 2018 ACM

      Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 26 December 2018

      Permissions

      Request permissions about this article.

      Request Permissions

      Check for updates

      Qualifiers

      • research-article
      • Research
      • Refereed limited
    • Article Metrics

      • Downloads (Last 12 months)2
      • Downloads (Last 6 weeks)0

      Other Metrics

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader