Formally Modeling and Analyzing the Reliability of Cloud Applications

Author(s):  
Guisheng Fan ◽  
Huiqun Yu ◽  
Liqiong Chen

Cloud computing has become an important, useful paradigm for building applications with cloud services. However, cloud services exist in heterogeneous environments on the Internet. It is challenging to guarantee the reliability of cloud applications. Although there are efforts studying cloud and grid service reliability, very few have considered the modeling and analysis of the reliability of cloud applications. To address this emerging, important problem, we propose the first systematic approach that considers both cloud application elements and their running environment so as to faithfully model the dynamics of cloud computing. First, we present a formal description language to model the different components of a cloud application, and use it to analyze the static and dynamic factors affecting the reliability of cloud applications. Second, we propose reliability assurance strategies to ensure that cloud applications dynamically meet their required reliability. Third, Computation Tree Logic (CTL) is used to convert the reliability assurance strategy into the CTL formulas. We present operational semantics and related theories of Petri nets for establishing the correctness of our proposed method. Finally, a series of simulations are performed to evaluate the efficiency of our proposed approach.

2021 ◽  
Vol 2021 ◽  
pp. 1-17
Author(s):  
Zheng Liu ◽  
Guisheng Fan ◽  
Huiqun Yu ◽  
Liqiong Chen

Microservice architecture is a cloud-native architectural style, which has attracted extensive attention from the scientific research and industry communities to benefit independent development and deployment. However, due to the complexity of cloud-based platforms, the design of fault-tolerant strategies for microservice-oriented cloud applications becomes challenging. In order to improve the quality of service, it is essential to focus on the microservice with more criticality and maximize the reliability of the entire cloud application. This paper studies the modeling and analysis of service reliability in the cloud environment. Firstly, a formal description language is defined to model microservice, user request, and container accurately. Secondly, the reliability analysis is conducted to measure a critical microservice’s fluctuation and vibration attributes within a period, and the related properties of the constructed model are analyzed. Thirdly, a fault-tolerant strategy with redundancy operation has been proposed to optimize cloud application reliability. Finally, the effectiveness of the method is verified by experiments. The simulation results show that the algorithm obtains the maximum benefits and has high performance through several experiments.


Author(s):  
Djamel Benmerzoug

The challenges that Cloud computing poses to business processes integration, emphasize the need for addressing two major issues: (i) which integration approach should be used allowing an adequate description of interaction aspects of the composed software components ? (ii) how are these interaction descriptions stored and shared to allow other software artifacts to (re)use them ? To address these issues, in this paper the authors propose an Agent Interaction Protocols (AiP)-based approach for reusing and aggregating existing Cloud services to create a new desired business application. The proposed approach facilitates rapid development and provisioning of composite Cloud services by specifying what to compose as an AiP. Furthermore, the authors develop an agent-based architecture that supports flexible scaling of business processes in a virtualized Cloud computing environment. The main goal of the proposed architecture is to address and tackle interoperability challenges at the Cloud application level. It solves the interoperability issues between heterogeneous Cloud services environments by offering a harmonized API. Also, it enables the deployment of applications at public, private or hybrid multi-Cloud environments.


2013 ◽  
Vol 441 ◽  
pp. 1016-1019 ◽  
Author(s):  
Lei Xiao ◽  
Wei Jiang ◽  
Fang Xin Chen ◽  
Le Jiang Guo ◽  
Ya Hui Hu

Cloud computing is becoming a mainstream aspect of information technology. How to efficiently manage the cloud resources across multiple cloud domains is critical for providing continuous cloud services. This paper introduces the principle and review recent research progress on cloud service to support network virtualization. It presents a framework of network-Cloud convergence based on data center network and gives a survey on key technologies for realizing cloud center and service; the reliability of cloud applications can be greatly improved.


passer ◽  
2019 ◽  
Vol 3 (2) ◽  
pp. 187-193
Author(s):  
Nigar Mahmoud Shafiq ◽  
Mohammed Y. Shakor

The global spread of Covid-19 has enhanced the adoption of virtual education and the use of technology in order to reduce the risk of contagion. Recently, the academics have turn out to be more technology-orientated and the educational establishments continue to seek opportunities in order to adopt an environment where all researchers could have access to high-quality scientific resources at anytime and anywhere in the world. Cloud computing is a model, which provides the users with services and application software on-demand, using the Internet. While the use of cloud computing applications is growing, there are ongoing research challenges related to guaranteeing security, privacy and the integration of the cloud applications. To the extent of our knowledge, the present study is the first from this type to thoroughly present the impacts of the COVID-19 pandemic on cloud computing environment in higher education institutions in Iraqi universities. This study will critically analysis the views of the faculty staff and researchers in Iraqi universities on cloud computing. It also tries to take a quick look at how Iraqi university staff responded to the epidemic in terms of research activities. The results shows that about 99% of the respondents considered the cloud applications to have great role in encouraging the research works in their institutes. Concerning the benefits of cloud services, the availability and saving cost were selected as most important factors that encouraging the adoption of cloud services. On the other hand, issues related to performance, lack of user control were selected as major problems in applying cloud services in Iraqi institutions Finally, it can be concluding that reducing the risks of the security, authorization, control and providing better performance of cloud services can enhance the use of cloud applications by researchers at Iraqi universities.


2012 ◽  
Vol 605-607 ◽  
pp. 2534-2537
Author(s):  
Dong Jun Ma

E-commerce service has become the essential issues in internet, but in how to use cloud computing to serve the information processing of E-commerce in order to enhance the efficiency of management is still an emerging research topic. This study explore the concept of cloud services and cloud application mechanisms in e-commerce model,analyzing the technology construction and means of support based on new business model to improve the service management process. Finally, according to these analysis, we discus some problems of cloud service which can enhance the use of its capabilities and better improve the efficiency of e-commerce operations.


2017 ◽  
Vol 7 (1.3) ◽  
pp. 146
Author(s):  
Rajeswari P ◽  
Jayashree K

The Cloud Computing uses high speed broadband for good Quality of Service (QoS) so that Cloud based application can be used with high speed which entails the minimum response time, less latency rate and reduced amount of loss of packets. Because of the ample range within the delivered Cloud solutions, from the customer’s aspect, it's emerged as irksome to decide whose providers they need to utilize and then what's the thought of his or her option. Bestowing suitable metrics is vital in assessing practices. QoS metrics are playing an important role in selecting Cloud providers and also revamping resource utilization efficiency. To guarantee a specialized product is published, describing metrics for assessing the QoS might be an essential requirement. To obtain high quality Cloud applications, Optimal Service Selection is needed. With the increasing number of Cloud services, QoS is usually selected for describing non-functional characteristics of Cloud services. In this paper, a widespread survey on QoS metrics for service vendors and QoS Ranking in Cloud Computing is presented.


Author(s):  
Nitasha Hasteer ◽  
Abhay Bansal ◽  
B. K. Murthy

Cloud computing provides organizations the dynamic capability to deploy applications quickly on self-provision development platforms. In adopting a cloud-computing paradigm, the software development process leverages the use of cloud native features. This article highlights a cloud-based health insurance solution that enables consumers to purchase packages online with the objective of identifying attributes in the context of the development process while analyzing the association among the attributes. Exploratory factor analysis is used to identify the latent attributes. Their associations, in terms of causal relationship analysis, are investigated via DEMATEL. Results of factor analysis imply that agility, availability and adaptability are the underlying factors for cloud application development. The findings of the DEMATEL reveal that co-creative and collaborative development process, which embrace quick discovery and assembly of services in the cloud, are significant attributes that influence other attributes within the context of the cloud-based software development process.


Author(s):  
Nane Kratzke

This paper presents a review of cloud application architectures and its evolution. It reports observations being made during the course of a research project that tackled the problem to transfer cloud applications between different cloud infrastructures. As a side effect we learned a lot about commonalities and differences from plenty of different cloud applications which might be of value for cloud software engineers and architects. Throughout the course of the research project we analyzed industrial cloud standards, performed systematic mapping studies of cloud-native application related research papers, performed action research activities in cloud engineering projects, modeled a cloud application reference model, and performed software and domain specific language engineering activities. Two major (and sometimes overlooked) trends can be identified. First, cloud computing and its related application architecture evolution can be seen as a steady process to optimize resource utilization in cloud computing. Second, this resource utilization improvements resulted over time in an architectural evolution how cloud applications are being build and deployed. A shift from monolithic servce-oriented architectures (SOA), via independently deployable microservices towards so called serverless architectures is observable. Especially serverless architectures are more decentralized and distributed, and make more intentional use of independently provided services. In other words, a decentralizing trend in cloud application architectures is observable that emphasizes decentralized architectures known from former peer-to-peer based approaches. That is astonishing because with the rise of cloud computing (and its centralized service provisioning concept) the research interest in peer-to-peer based approaches (and its decentralizing philosophy) decreased. But this seems to change. Cloud computing could head into future of more decentralized and more meshed services.


Author(s):  
Dong Kwan Kim

With the proliferation of cloud computing technologies, smartphone users are able to use a variety of cloud computing-based mobile services such as games, education, entertainment, and social networking. Despite the popularity of such a mobile cloud computing, the complicated multi-tier system configuration of the mobile application must be one of the major impediments to develop mobile cloud applications. This paper presents development processes and procedures for developing mobile cloud applications by effectively applying Unified Modeling Language (UML), a representative object-oriented modeling language. The paper is intended to enhance the development productivity of the mobile cloud application and to improve the effectiveness of communication between software developers. In addition, we used the Android mobile platform and Amazon Web Service for cloud computing in order to demonstrate the applicability of the proposed approach to systematically apply the UML profiles and diagrams for cloud-based mobile applications.


2015 ◽  
pp. 1915-1932
Author(s):  
Tariq M. King ◽  
Annaji S. Ganti ◽  
David Froslie

In cloud computing, applications are hosted, deployed, and delivered as services over the Internet. New cloud application services can be developed by tailoring existing ones, while hiding the complexity of the underlying implementation. Cloud applications may be able to adapt to changes in their environment, which should be secure and reliable. The infrastructure on which cloud applications are built is characterized by power, storage, and virtualization. But how does all of this affect the ability to adequately test cloud applications? This chapter investigates the testability of cloud application services. It focuses on the specific problem of reduced controllability and observability of software services hosted in the cloud, and proposes a novel solution referred to as Test Support as-a-Service (TSaaS). A prototype of TSaaS is also presented, and is used to discuss the feasibility, challenges, and benefits of the approach.


Sign in / Sign up

Export Citation Format

Share Document