[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ 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

Published: 26 December 2018 Publication 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--121
[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, 2012
[3]
Andrei IONESCU "Resource Management in Mobile Cloud Computing" InformaticaEconomică vol. 19, no. 1/2015.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[11]
R. Barták. Constraint programming: In pursuit of the holy grail. In proc of WDS99 1999
[12]
Pierre-E." How to Solve Allocation Problems with ConstraintProgramming" 2005
[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).
[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.
[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.
[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.
[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.
[18]
Alberto Núñez et al. icancloud: A flexible and scalablecloud infrastructure simulator. Journal of Grid Computing, 10(1):185--209, 2012.
[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.

Index Terms

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

    Recommendations

    Comments

    Please enable JavaScript to view thecomments powered by Disqus.

    Information & Contributors

    Information

    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
    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 for this article.

    Check for updates

    Author Tags

    1. Cloud Computing
    2. multi agent system
    3. resources allocation
    4. resources management

    Qualifiers

    • Research-article
    • Research
    • Refereed limited

    Conference

    ICSENT 2018

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • 0
      Total Citations
    • 21
      Total Downloads
    • Downloads (Last 12 months)4
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 24 Dec 2024

    Other Metrics

    Citations

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media