Cloud Service Composition Modeling Using Bigraphical Reactive Systems

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.

[1]  Robin Milner,et al.  The Space and Motion of Communicating Agents , 2009 .

[2]  Athanasios V. Vasilakos,et al.  Web services composition: A decade's overview , 2014, Inf. Sci..

[3]  P. Mell,et al.  The NIST Definition of Cloud Computing , 2011 .

[4]  Rajiv Ranjan,et al.  Cloud Resource Orchestration Programming: Overview, Issues, and Directions , 2015, IEEE Internet Computing.

[5]  Schahram Dustdar,et al.  A survey on web services composition , 2005, Int. J. Web Grid Serv..

[6]  Robin Milner,et al.  Pure bigraphs: Structure and dynamics , 2006, Inf. Comput..

[7]  Raouf Boutaba,et al.  Cloud computing: state-of-the-art and research challenges , 2010, Journal of Internet Services and Applications.

[8]  Randy H. Katz,et al.  Above the Clouds: A Berkeley View of Cloud Computing , 2009 .

[9]  Chen Ding,et al.  Incorporating service and user information and latent features to predict QoS for selecting and recommending cloud service compositions , 2016, Cluster Computing.

[10]  Francesco Moscato,et al.  Exploiting Semantics and Patterns for Verification of Orchestrated Cloud Services , 2015, 2015 Ninth International Conference on Complex, Intelligent, and Software Intensive Systems.

[11]  Mike P. Papazoglou,et al.  Services and Service Composition - An Introduction , 2008 .

[12]  Pierre Sens,et al.  SLA guarantees for cloud services , 2016, Future Gener. Comput. Syst..

[13]  Mike P. Papazoglou,et al.  Services and Service Composition – An Introduction (Services und Service Komposition – Eine Einführung) , 2008, it Inf. Technol..

[14]  Amin Jula,et al.  Cloud computing service composition: A systematic literature review , 2014, Expert Syst. Appl..

[15]  Wei-Tek Tsai,et al.  Testing Context-Aware Applications Based on Bigraphical Modeling , 2016, IEEE Transactions on Reliability.

[16]  Ali Miri,et al.  An End-to-End QoS Mapping Approach for Cloud Service Selection , 2013, 2013 IEEE Ninth World Congress on Services.

[17]  Rajkumar Buyya,et al.  Article in Press Future Generation Computer Systems ( ) – Future Generation Computer Systems Cloud Computing and Emerging It Platforms: Vision, Hype, and Reality for Delivering Computing as the 5th Utility , 2022 .

[18]  Frank Leymann,et al.  Combining horizontal and vertical composition of services , 2010, Service Oriented Computing and Applications.

[19]  Athman Bouguettaya,et al.  Economic Model-Driven Cloud Service Composition , 2014, TOIT.