NDLI: SLAC: A Formal Service-Level-Agreement Language for Cloud Computing

Please wait, while we are loading the content...

Message from the IEEE/ACM UCC 2014 Program Co-Chairs

Greening Geo-distributed Data Centers by Joint Optimization of Request Routing and Virtual Machine Scheduling

A Hybrid Optimization Model for Green Cloud Computing

Evaluating Energy Efficiency of Gigabit Ethernet and Infiniband Software Stacks in Data Centres

Fostering Energy-Awareness in Simulations behind Scientific Workflow Management Systems

Traffic Monitoring Using Video Analytics in Clouds

Using Distributed Analytics to Enable Real-Time Exploration of Discrete Event Simulations

Standards-Based DevOps Automation and Integration Using TOSCA

Stream Bench: Towards Benchmarking Modern Distributed Stream Computing Frameworks

An Adaptive Distributed Simulator for Cloud and MapReduce Algorithms and Architectures

A Methodology for Online Consolidation of Tasks through More Accurate Resource Estimations

Learning Based Distributed Orchestration of Stochastic Discrete Event Simulations

Online Algorithms for Location-Aware Task Offloading in Two-Tiered Mobile Cloud Environments

Reducing Costs in Cloud Application Execution Using Redundancy-Based Scheduling

Enabling Health Monitoring as a Service in the Cloud

In-the-Know: Recommendation Framework for City-Supported Hybrid Cloud Services

On the Provision of SaaS-Level Quality of Service within Heterogeneous Private Clouds

Workload Patterns for Quality-Driven Dynamic Cloud Service Configuration and Auto-Scaling

Design and Implementation of Middleware for Cloud Disaster Recovery via Virtual Machine Migration Management

The Continuity of Out-of-Band Remote Management across Virtual Machine Migration in Clouds

Transparent Throughput Elasticity for IaaS Cloud Storage Using Guest-Side Block-Level Caching

A Study of Replica Reconstruction Schemes for Multi-rack HDFS Clusters

Distributed Storage and Service Discovery for Heterogeneous Community Network Clouds

Workload-Aware Incremental Repartitioning of Shared-Nothing Distributed Databases for Scalable Cloud Applications

Tossing NoSQL-Databases Out to Public Clouds

Filtering Security Alerts for the Analysis of a Production SaaS Cloud

Role-Based Templates for Cloud Monitoring

Workflow Partitioning and Deployment on the Cloud Using Orchestra

A Cloud-Oriented Services Self-Management Approach Based on Multi-agent System Technique

Cloud MF: Applying MDE to Tame the Complexity of Managing Multi-cloud Applications

Development and Evaluation of a Multi-tenant Service Middleware PaaS Solution

Metaheuristics-Based Planning and Optimization for SLA-Aware Resource Management in PaaS Clouds

Dynamic Traffic Management for Interactive Cloud Services: Localising Traffic Based on Network Throughput and User Mobility

Robustness Indicators for Cloud-Based Systems Topologies

Performance Estimation for Business Workflows on Public Cloud Offerings Using Probabilistic Model Checker

Online QoS Modeling in the Cloud: A Hybrid and Adaptive Multi-learners Approach

A Utility Model for Volunteered Service Composition

Detecting Discontinuities in Large Scale Systems

Comprehensive Elastic Resource Management to Ensure Predictable Performance for Scientific Applications on Public IaaS Clouds

Priority-Based Resource Scheduling in Distributed Stream Processing Systems for Big Data Applications

Scheduling Multiple Divisible Loads in a Multi-cloud System

AMAD: Resource Consumption Profile-Aware Attack Detection in IaaS Cloud

Template Embedding: Using Application Architecture to Allocate Resources in Distributed Clouds

Proactive Workload Forecasting Model with Dynamic Resource Allocation for Modern Internet Application

Challenges in Achieving IaaS Cloud Interoperability across Multiple Cloud Management Frameworks

An Overview of Cloud Computing Adoption Challenges in the Norwegian Context

SLAC: A Formal Service-Level-Agreement Language for Cloud Computing

Towards a Mobile Ad-Hoc Cloud Management Platform

Applying the Prometheus Methodology for an Internet of Things Architecture

PICav: Precise, Iterative, and Complement-Based Cloud Storage Availability Calculation Scheme

Pre-processing Methods of Data Mining

Adaptive Downtime for Live Migration of Virtual Machines

Coordination-Aware Elasticity

Loosely-Coupled Benchmark Framework Automates Performance Modeling on IaaS Clouds

Toward Enhancing Block I/O Performance for Virtualized Hadoop Cluster

Cost-Efficient Provisioning of Cloud Resources Priced by CPU Frequency

Querying Road Traffic Data from a Document Store

Experience with Multi-resource Aware Fair Sharing in Highly Heterogeneous Private Clouds

A Cloud-Based Approach to GNSS Augmentation for Navigation Services

Toward a Cloud Based Framework for Facilitating Software Development and Testing Tasks

Planning in the Cloud: Massively Parallel Planning

Multi-clouds Mobile Computing for the Secure Storage of Data

Portable SDN Applications on the PaaS Layer

Charge Flow - Workflow Based Chargeback Processing

Interact: Gesture Recognition in the Cloud

NEMICO: Mining Network Data through Cloud-Based Data Mining Techniques

An Experimental Analysis on Latency Improvement of Cloud-Based Fleet Management System

An Adaptive Policy to Minimize Energy and SLA Violations of Parallel Jobs on the Cloud

The IKAROS Metadata Service as a Utility

An Experimental Tool for Elasticity Management through Prediction Mechanisms

Optimizing Scientific Workflows in the Cloud: A Montage Example

Low Cost Energy Forecasting for Smart Grids Using Stream Mine 3G and Amazon EC2

Energy Cloud: Real-Time Cloud-Native Energy Management System to Monitor and Analyze Energy Consumption in Multiple Industrial Sites

Tutorial on Distributed Data Storage: From Dispersed Files to Stealth Databases

Data Analysis with R

Autonomic Clouds

Cloud Service Differentiation in Overbooked Data Centers

CLOUDFARM: An Elastic Cloud Platform with Flexible and Adaptive Resource Management

Object-Oriented Modelling and Simulation of Air Flow in Data Centres Based on a Quasi-3D Approach for Energy Optimisation

Towards Faster Response Time Models for Vertical Elasticity

Measuring Cloud Workload Burstiness

On Controlling Cloud Services Elasticity in Heterogeneous Clouds

A Cloud-Based Data Farming Platform for Molecular Dynamics Simulations

Cloud Federation: Characterisation and Conceptual Model

An Emulator for Evaluating Resource Allocation and Performance in Clouds

Prediction-Based Instant Resource Provisioning for Cloud Applications

Tools for Gamification Analytics: A Survey

Adaptive Approach for Gamification Optimization

Crowdsourcing and Gamification of Enterprise Meeting Software Quality

Crowd-centric Requirements Engineering

Gamification for Volunteer Cloud Computing

Towards a Reusable Infrastructure for Crowdsourcing

Gamified Culture-Aware Feedback Acquisition

A Cloud-Based Experiment Platform for Computer-Based Education

Governance Strategies for the Cloud, Big Data, and Other Technologies in Education

Monitoring Travel-Related Information on Social Media through Sentiment Analysis

Topological Properties of the Core Group in Online Communities

Community Awareness in Academic Social Networks

A Fuzzy Logic Approach for Opinion Mining on Large Scale Twitter Data

Collaboration Networks of Levantine Biomedical Researchers

The Evaluation of the Public Opinion - A Case Study: MERS-CoV Infection Virus in KSA

XACML-Based Access Control for Decentralized Online Social Networks

7 Rights of Individuation: The Need for Greater Protection of Individual Rights in Big Data

Social Media in Crisis Management: Role, Potential, and Risk

The Emergent Project: Emergency Management in Social Media Generation Dealing with Big Data from Social Media Data Streams

Combining Big Social Media Data and FCA for Crisis Response

Data Interlocking: Coupling Analytics to the Data

Service-Oriented Design of a Command and Control Intelligence Dashboard for Crisis Management

The Problem with Data

Crawling Open-Source Data for Indicators of Human Trafficking

A Design Space Review for General Federation Management Using Keystone

Federated Authentication and Credential Translation in the EUDAT Collaborative Data Infrastructure

X.509 Authentication and Authorization in Fermi Cloud

Distributed Cloud Federation Brokerage: A Live Analysis

A Model for Accomplishing and Managing Dynamic Cloud Federations

Automatic Configuration of Opaque Network Functions in CMS

On the Cost of Tunnel Endpoint Processing in Overlay Virtual Networks

Effects of Virtualization on Network and Processor Performance Using Open vSwitch and Xen Server

Network Management in Cloud Computing for Public Administration: A Practical Use Case

Cost Optimization of Real-Time Cloud Applications Using Developmental Genetic Programming

Elastic Resource Provisioning to Expand the Capacity of Cluster in Hybrid Computing Infrastructure

Cloud Incident Management, Challenges, Research Directions, and Architectural Approach

FIWARE Lab: Managing Resources and Services in a Cloud Federation Supporting Future Internet Applications

Predicting Hot-Spots in Distributed Cloud Databases Using Association Rule Mining

Towards Cloud Based Smart Cities Data Security and Privacy Management

A Study on Personalization and Customization Mechanisms of Vehicular Cloud Platform

Using Space-Based Downstream Services for Urban Management in Smart Cities

Controlling the Processing of Smart City Data in the Cloud with Domain-Specific Languages

Climate Downscaling Processes Using WRF/Chem and CALMET Modelling Systems: Madrid Case Study

Smart City as a Service (SCaaS): A Future Roadmap for E-Government Smart City Cloud Computing Initiatives

Smart City Security Issues: Depicting Information Security Issues in the Role of an Urban Environment

A Task Scheduling Strategy Based on Weighted Round-Robin for Distributed Crawler

iHAC: A Hybrid Access Control Framework for IaaS Clouds

An Efficient Algorithm for Partially Matched Web Services Based on Consumer's QoS Requirements

Online Bursty Event Detection from Microblog

Energy-Efficient Databases Using Sweet Spot Frequencies

Mercurial: A Traffic-Saving Roll Back System for Virtual Machine Cluster

Workload Analysis for the Scope of User Demand Prediction Model Evaluations in Cloud Environments

Opinion Mining and Sentiment Analysis in Social Networks: A Retweeting Structure-Aware Approach

NSLPA: A Node Similarity Based Label Propagation Algorithm for Real-Time Community Detection

Accountable Health Care Service Provisioning in the Cloud

A Cloud Adoption Risk Assessment Model

Algorithms for Dispersed Processing

Analysis of SDN Contributions for Cloud Computing Security

A Novel Trustworthiness Measurement Model for Cloud Service

Property Based Attestation for a Secure Cloud Monitoring System

Construction of Agent-Based Trust in Cloud Infrastructure

Environmental IoT: Programming Cyber-Physical Clouds with High-Level System Specifications

Scientific Workflow Repeatability through Cloud-Aware Provenance

Share and Enjoy: Publishing Useful and Usable Scientific Models

Emulation-as-a-Service - Workflows and Infrastructure to Support Recomputable Science

Recomputation.org: Experiences of Its First Year and Lessons Learned

The Doctoral Symposium of the 7th IEEE/ACM International Conference on Utility and Cloud Computing

Re-engineering the Database Layer of Legacy Applications for Scalable Cloud Deployment

Truesource: A True Performance for Hierarchical Cloud Monitoring

Sustainable Communications Infrastructures in the Cloud - Supporting the Information Economy

Secret Sharing Scheme for Data Confidentiality Preserving in a Public-Private Hybrid Cloud Storage Approach

Scalable Analytic Models for Performance Efficiency in the Cloud

Virtualization Security Combining Mandatory Access Control and Virtual Machine Introspection

Energy-Aware Virtual Machine Consolidation for Cloud Data Centers

SLA Assured Brokering (SAB) and CSP Certification in Cloud Computing

Cloud Advisor - A Framework towards Assessing the Trustworthiness and Transparency of Cloud Providers

Publisher's Information

SLAC: A Formal Service-Level-Agreement Language for Cloud Computing

Content Provider	ACM Digital Library
Author	Nicola, Rocco De Uriarte, Rafael Brundo Tiezzi, Francesco
Abstract	The need of mechanisms to automate and regulate the interaction amongst the parties involved in the offered cloud services is exacerbated by the increasing number of providers and solutions that enable the cloud paradigm. This regulation needs to be defined through a contract, the so-called Service Level Agreement (SLA). We argue that the current solutions for SLA specification cannot cope with the distinctive characteristics of clouds. Therefore, in this paper we define a language, named SLAC, devised for specifying SLA for the cloud computing domain. The main differences with respect to the existing specification languages are: SLAC is domain specific, its semantics are formally defined in order to avoid ambiguity, it supports the main cloud deployment models, and it enables the specification of multi-party agreements. Moreover, SLAC supports the business aspects of the domain, such as pricing schemes, business actions and metrics. Furthermore, SLAC comes with an open-source software framework which enables the specification, evaluation and enforcement of SLAs for clouds. We illustrate potentialities and effectiveness of the SLAC language and its management framework by experimenting with an Open Nebula cloud system.
Starting Page	419
Ending Page	426
Page Count	8
File Format	PDF
ISBN	9781479978816
DOI	10.1109/UCC.2014.53
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2014-12-08
Access Restriction	Subscribed
Subject Keyword	Cloud computing service level agreement formal languages constraint satisfaction problems
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in