The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In the on-demand cloud environment, web application providers have the potential to scale virtual resources up or down to achieve cost-effective outcomes. True elasticity and cost-effectiveness in the pay-per-use cloud business model, however, have not yet been achieved. To address this challenge, we propose a novel cloud resource auto-scaling scheme at the virtual machine (VM) level for web application...
With the development of Internet, web service is used widely. How to choose the web service which can satisfy the non-functional requirement of users is an important problem in web service. To address this problem, this paper presents a web service selection approach based on improved Euclidean distance. It uses the gauss method to normalize the multi-dimension QoS parameters and computes the distance...
Considering the timed properties between the interactions of Web services, we model the Web services with timed properties formally and propose a method for detecting mismatch of time-aware Web services based on Satisfiability Modulo Theories (SMT) in this paper. The issue of detecting mismatch of Web services can be transformed into the problem of existence model checking whether a deadlock is reachable...
With the rapid development of web service, there are a lot of web services to be chosen. Consumers usually choose the suitable web service when they know little about web services. To address this problem, this paper presents a web service QoS prediction approach based on multi-dimension QoS. It normalizes the multi-dimension QoS parameters and maps each dimension QoS parameter into the same interval...
The main method of model checking based on LTL is constructing a Büchi automata by system model and a Büchi automata equaling with the LTL denied form, and then checking the automata's acceptive language is empty or not. The idea of verifying Web Services Composition is modeling Web Services Composition by Colored Petri Net, and then using the modeling checking technique to verifying the model. It...
With the rapid development of e-business, web applications based on the Web have developed rapidly. Not only functional but also nonfunctional properties, also known as quality of service(QoS), is becoming the key to the web applications based on the Web. This paper firstly introduces some conceptions of web service and QoS, analyzes the insufficiencies of the current research of web service QoS....
As a new kind of distributed computing paradigm, web services have been paid more and more attention in recent years. The idea of software as a service is accepted by more and more people. Regarding the web services composition process as a software development process, in this paper we consider web services composition from the view of software architecture, which can control the layout of the whole...
Service composition is becoming a central aspect in the new paradigm SaaS. In practice, most web services can not be integrated directly into applications because there are some mismatches in their interfaces. These mismatches may arise at different interoperability levels: technical, signature, behavioral, quality of service and semantic. In this paper, we present a model-based framework for generating...
Web services composition is an important implementation technique of SOA. With such technology, services could be reused and cost could be reduced. Actually, web services are reused through web services composition while software architecture is one of the most valid approaches to realize the reusability. At the same time, SOA is under an open and ever-changing network environment and the users' requirements...
Service composition is becoming a central aspect in service-oriented computing. In practice, most Web services can not be integrated directly into an application-to-be because they are incompatible. How to ensure Web services compatible at the behavioral level is an important issue for Web services integration and collaboration in a seamless way. Based on the proposed formal model for Web service...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.