skip to main content
10.1145/3105831.3105851acmotherconferencesArticle/Chapter ViewAbstractPublication PagesideasConference Proceedingsconference-collections
research-article

Cloud Service Composition Modeling Using Bigraphical Reactive Systems

Published: 12 July 2017 Publication History

Abstract

In the last decade, cloud computing has emerged as one of the most popular computing models. This model delivers a pool of computing resources as on-demand services to different categories of users. As the number of cloud services available on the Internet is increasing and owing to the users' complicated requirement, the composition of cloud services has become more and more challenging. In this work, we are interested in the vertical composition that represents the collaboration of services from different cloud layers to offer a complete solution to end-users. This paper proposes the Bigraphical Reactive Systems (BRS) to model the service composition. We use bigraphs to describe the different actors and services evolving in the composition. In addition, we define a set of bigraphical reactive rules to express the dynamic behaviors of these services and actors and to show the direct and indirect dependencies between them.

References

[1]
Q. Zhang, L. Cheng, R. Boutaba, "Cloud computing: state-of-the-art and research challenges", Journal of Internet Services and Applications, vol. 1, pp. 7--18, 2010.
[2]
P. Mell, T. Grance, "The NIST definition of cloud computing", Technical Report 800-145, 2011.
[3]
S. Dustdar, M. P. Papazoglou, "Services and service composition - an introduction", Information Technology, vol. 50, no. 2, pp. 86--92, 2008.
[4]
S. Dustdar, W. Schreiner, "A survey on web services composition", International Journal of Web and Grid Services, vol. 1 no.1, pp.130, August 2005.
[5]
Quan Z. Sheng, Xiaoqiang Qiao, Athanasios V. Vasilakos, Claudia Szabo, Scott Bourne, Xiaofei Xu, "Web services composition: A decade's overview", Information Sciences, vol. 280, pp. 218--238, 2014.
[6]
A. Jula, E. Sundararajan, Z. Othman, "Cloud computing service composition: A systematic literature review", Expert Systems with Applications: An International Journal, vol. 41, no.8, p. 3809--3824, June 2014.
[7]
Z. Ye, A. Bouguettaya, X. Zhou, "Economic Model-Driven Cloud Service Composition", ACM Transactions on Internet Technology (TOIT), vol. 14 no. 2-3, October 2014.
[8]
F. Moscato, "Exploiting Semantics and Patterns for Verification of Orchestrated Cloud Services", Ninth International Conference on Complex, Intelligent, and Software Intensive Systems, pp. 192--199, 2015.
[9]
R. Ranjan, B. Benatallah, S. Dustdar, M.P. Papazoglou, "Cloud Resource Orchestration programming: overview, issues and directions", IEEE Internet Computing, IEEE Computer Society,vol. 19, no.05, pp. 46--56, 2015.
[10]
R. Mietzner, C. Fehling, D. Karastoyanova, F. Leymann, "Combining horizontal and vertical composition of services", in Service-Oriented Computing and Applications (SOCA), pp. 1--8, 2010.
[11]
R. Karim, C. Ding, A. Miri, M. S. Rahman, "Incorporating service and user information and latent features to predict QoS for selecting and recommending cloud service compositions", Cluster Computing, vol. 19, no.3, pp. 1227--1242, 2016.
[12]
R. Karim, C. Ding, A. Miri, "An end-to-end qos mapping approach for cloud service selection", IEEE Ninth World Congress on Services, pp. 341--348, 2013.
[13]
D. Serrano, S. Bouchenak, Y. Kouki, F. A. de Oliveira, T. Ledoux, J. Lejeune, J. Sopena, L. Arantes, P. Sens, "SLA guarantees for cloud services", Future Generation Computer Systems, vol. 54, 2016.
[14]
R. Buyya, C. S. Yeo, S. Venugopal, J. Broberg, I. Brandic, "Cloud computing and emerging IT platforms: Vision, hype, and reality for delivering computing as the 5th utility", Future Generation Computer Systems, vol. 25, no. 6, pp. 599--616, 2009.
[15]
R. Milner, "The space and motion of communicating agents", Cambridge University press, 2009.
[16]
R. Milner, "Pure bigraphs: Structure and dynamics", Information and Computations, vol. 204, no. 1, pp. 60--122, 2006.
[17]
BigM, BigSIM: https://github.com/LongyunZhang/PKU_BigM_BigSIM, retrieved 2017.
[18]
M. Armbrust, et al., "Above the Clouds: A Berkeley View of Cloud Computing", Technical Report. UCB/EECS-2009-28, 2009.
[19]
L. Yu, W.-T. Tsai, G. Perrone, "Testing Context-Aware Applications Based on Bigraphical Modeling", IEEE Transactions on Relaiability,vol. 65, no.3, pp. 1584--1611, 2016.

Cited By

View all
  • (2024)Modeling and verification of software evolution using bigraphical reactive systemCluster Computing10.1007/s10586-024-04597-y27:9(12983-13003)Online publication date: 19-Jun-2024
  • (2019)Pattern mining for knowledge discoveryProceedings of the 23rd International Database Applications & Engineering Symposium10.1145/3331076.3331099(1-5)Online publication date: 10-Jun-2019
  • (2017)Towards a Formal Modeling of Cloud Services during the Life-cycle of Service Level AgreementProceedings of the International Conference on Big Data and Internet of Thing10.1145/3175684.3175727(115-119)Online publication date: 20-Dec-2017

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
IDEAS '17: Proceedings of the 21st International Database Engineering & Applications Symposium
July 2017
338 pages
ISBN:9781450352208
DOI:10.1145/3105831
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]

In-Cooperation

  • Univ of the West of England: University of the West of England
  • BytePress
  • Concordia University: Concordia University

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 12 July 2017

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. Bigraphical Reactive Systems
  2. Cloud Computing
  3. SLA
  4. Service Composition

Qualifiers

  • Research-article
  • Research
  • Refereed limited

Conference

IDEAS 2017

Acceptance Rates

IDEAS '17 Paper Acceptance Rate 38 of 102 submissions, 37%;
Overall Acceptance Rate 74 of 210 submissions, 35%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)2
  • Downloads (Last 6 weeks)0
Reflects downloads up to 15 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2024)Modeling and verification of software evolution using bigraphical reactive systemCluster Computing10.1007/s10586-024-04597-y27:9(12983-13003)Online publication date: 19-Jun-2024
  • (2019)Pattern mining for knowledge discoveryProceedings of the 23rd International Database Applications & Engineering Symposium10.1145/3331076.3331099(1-5)Online publication date: 10-Jun-2019
  • (2017)Towards a Formal Modeling of Cloud Services during the Life-cycle of Service Level AgreementProceedings of the International Conference on Big Data and Internet of Thing10.1145/3175684.3175727(115-119)Online publication date: 20-Dec-2017

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media