Learn More
The fast proliferation of cloud computing promotes the rapid development of large-scale commercial data centers. Tens or even hundreds of geographically distributed data centers have been deployed for better reliability and quality of services. This brings huge energy consumption for data centers. Previous research has proved that the geographical load(More)
Web service composition is a flexible way for resource sharing and application integration. However, how to guarantee quality of service composition remains a challenging problem. This paper proposes a heuristic approach to optimizing service selection for composition so that the user’s QoS expectation is satisfied. Optimization is enforced for(More)
Cloud computing has attracted much interest recently from both industry and academic. However, it is difficult to construct perfectly secure mechanisms, in face of complex and various attack behaviors in cloud computing. In this paper, a stochastic game model (SGM) is proposed to describe the attack-defense behavior in cloud computing, the physical machine,(More)
Reliability is a key issue of the service-oriented architecture (SOA) that is widely employed in distributed systems such as e-commerce and e-government. Redundancy based technologies are usually employed for building reliable service composition on top of unreliable Web services. This paper proposes a strategy for modeling and analyzing fault tolerant(More)
—As an important means to compose independent services together to fulfill a function, service composition is widely applied in different applications. However, the process of composition is complex and error-prone, which makes a formal modeling and analysis method highly desirable. A BPEL process based on Petri net (BPEL-Net) model is presented in this(More)
Service composition is an important means for integrating the individual Web services for creating new value added systems that satisfy complex demands. Since, Web services exist in the heterogeneous environments on the Internet, study on how to guarantee the reliability of service composition in a distributed, dynamic and complex environment becomes more(More)
Process of service composition is complex and error-prone, which makes a formal modeling and analysis method highly desirable. This paper presents a Petri net-based approach to analyzing the soundness and compositionality of services in BPEL. A set of translation rules is proposed to transform BPEL processes into Petri nets, by which behaviors of the BPEL(More)
Cloud computing has attracted much interest recently from both industry and academic. More and more Internet applications are moving to the cloud environment. However, fault detection technique in cloud application is a crucial issue. This issue is especially difficult since cloud computing relies by nature on a highly dynamic environment. In this paper, we(More)