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.
One of the key properties driving the popularity of cloud computing is the elasticity of multi-tenant business process. However, performing elasticity at the business process and the SaaS (Software as a Service) levels independently may only result in significant resources waste relating to the scalability, complex logic and long-running of the cloud applications. In this paper, we propose a holistic...
Elasticity is an essential property of cloud computing. It helps service providers to efficiently exploit cloud resources and reduce servicing costs. Therefore, the multitenant business processes are long-running and they are concurrently accessed by dynamic requests from tenants. However, ensuring business process elasticity at the infrastructure and the platform levels may only result in significant...
Cloud computing has gained a momentum by combining multi-tenant and scalable services in order to obtain a composed service and some added value. Therefore, it is important for composed cloud services to support multi-tenancy during the services matching. For this purpose, we tackle the problem of integrating multi-tenancy in cloud services composition and we determine crucial issues that can be solved...
To validate a web service composition, we have developed, in a previous work, a formal approach which takes into account both generic and specific properties. Generic properties can be checked for any invoked web services when the specific properties are different interdependence relationships between activities within an orchestration process. In this work, we present {\sc BpelVT}, a tool to support...
Service Oriented Architecture (SOA) is an emerging computing model that aims to build new software, by assembling independent and loosely coupled services. This composition can be described from both a local or a global perspective by respective orchestration or choreography. In fact, the main focus of this paper is to validate a web service orchestration through the verification of properties. This...
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.