Proactive SLA negotiation for service based systems: Initial implementation and evaluation experience

This paper describes a framework that we have developed to integrate proactive SLA negotiation with dynamic service discovery to provide cohesive runtime support for both these activities. The proactive negotiation of SLAs as part of service discovery is necessary for reducing the extent of interruptions during the operation of a service based system when the need for replacing services in it arises. The developed framework discovers alternative candidate constituent services for a service client application, and negotiates/agrees but does not activate SLAs with these services until the need for using a service becomes necessary. A prototype tool has been implemented to realize the framework. This prototype is discussed in the paper along with the results of the initial evaluation of the framework

Formal certification and compliance for run-time service environments

With the increased awareness of security and safety of services in on-demand distributed service provisioning (such as the recent adoption of Cloud infrastructures), certification and compliance checking of services is becoming a key element for service engineering. Existing certification techniques tend to support mainly design-time checking of service properties and tend not to support the run-time monitoring and progressive certification in the service execution environment. In this paper we discuss an approach which provides both design-time and runtime behavioural compliance checking for a services architecture, through enabling a progressive event-driven model-checking technique. Providing an integrated approach to certification and compliance is a challenge however using analysis and monitoring techniques we present such an approach for on-going compliance checking

A monitoring approach for runtime service discovery

Effective runtime service discovery requires identification of services based on different service characteristics such as structural, behavioural, quality, and contextual characteristics. However, current service registries guarantee services described in terms of structural and sometimes quality characteristics and, therefore, it is not always possible to assume that services in them will have all the characteristics required for effective service discovery. In this paper, we describe a monitor-based runtime service discovery framework called MoRSeD. The framework supports service discovery in both push and pull modes of query execution. The push mode of query execution is performed in parallel to the execution of a service-based system, in a proactive way. Both types of queries are specified in a query language called SerDiQueL that allows the representation of structural, behavioral, quality, and contextual conditions of services to be identified. The framework uses a monitor component to verify if behavioral and contextual conditions in the queries can be satisfied by services, based on translations of these conditions into properties represented in event calculus, and verification of the satisfiability of these properties against services. The monitor is also used to support identification that services participating in a service-based system are unavailable, and identification of changes in the behavioral and contextual characteristics of the services. A prototype implementation of the framework has been developed. The framework has been evaluated in terms of comparison of its performance when using and when not using the monitor component

A Framework for Proactive SLA Negotiation.

In this position paper we propose a framework for proactive SLA negotiation that integrates this process with dynamic service discovery and, hence, can provide integrated runtime support for both these key activities which are necessary in order to achieve the runtime operation of service based systems with minimised interruptions. More specifically, our framework discovers candidate constituent services for a composite service, establishes an agreed but not enforced SLA and a period during which this preagreement can be activated should this become necessar

Proactive SLA Negotiation for Service Based Systems

In this paper we propose a framework for proactive SLA negotiation that integrates this process with dynamic service discovery and, hence, can provide integrated runtime support for both these key activities which are necessary in order to achieve the runtime operation of service based systems with minimised interruptions. More specifically, our framework discovers candidate constituent services for a composite service, establishes an agreed but not enforced SLA and a period during which this pre-agreement can be activated should this become necessary

Restrained Shrinkage of Fly Ash Based Geopolymer Concrete and Analysis of Long Term Shrinkage Prediction Models

The research presented in this manuscript describes the procedure to quantify the restrained shrinkage of geopolymer concrete (GPC) using ring specimen. Massive concrete structures are susceptible to shrinkage and thermal cracking. This cracking can increase the concrete permeability and decrease the strength and design life. This test is comprised of evaluating geopolymer concrete of six different mix designs including different activator solution to fly ash ratio and subjected to both restrained and free shrinkage. Test results obtained from this experimental setup was plotted along with the available empirical equation to observe the shrinkage strain of GPC and a model was suggested to predict the shrinkage strain of GPC. It was found from this study that along with activator solution to fly ash ratio the final compressive strength of GPC plays an important role on shrinkage strai

Endogenous Private Transfer and Real Exchange Rate Dynamics in a Two-Sector Dependent Economy

Government to government transfers are treated understandably as exogenous in open economy macro models. Even private transfer like remittances are treated as exogenous in the extant literature. In this paper we examine the effects of endogenous private transfer (remittances) on the real exchange rates using a dynamic two-sector dependent economy model. We examine the effects of demand and supply shocks and found that the dynamic patterns for real exchange rates depends on endogeneity of the transfer and the factor intensity of the traded and non-traded sectors

Incremental certification of cloud services

Cloud is becoming fast a critical infrastructure. However, several recent incidents regarding the security of cloud services clearly demonstrate that security rightly remains one of the major concerns of enterprises and the general public regarding the use of the cloud. Despite advancements of research related to cloud security, we are still not in a position to provide a systematic assessment of cloud security based on real operational evidence. As a step towards addressing this problem, in this paper, we propose a novel approach for certifying the security of cloud services. Our approach is based on the incremental certification of security properties for different types of cloud services, including IaaS, PaaS and SaaS services, based on operational evidence from the provision of such services gathered through continuous monitoring. An initial implementation of this approach is presented