Typestate: A programming language concept for enhancing software reliability
IEEE Transactions on Software Engineering
Understanding and Controlling Software Costs
IEEE Transactions on Software Engineering
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services
Journal of Network and Systems Management
SLAng: A Language for Defining Service Level Agreements
FTDCS '03 Proceedings of the The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems
Design by Contract: The Eiffel Method
TOOLS '98 Proceedings of the Technology of Object-Oriented Languages and Systems
RBSLA A declarative Rule-based Service Level Agreement Language based on RuleML
CIMCA '05 Proceedings of the International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce Vol-2 (CIMCA-IAWTIC'06) - Volume 02
Semantic WS-agreement partner selection
Proceedings of the 15th international conference on World Wide Web
Is abstraction the key to computing?
Communications of the ACM
SAWSDL: Semantic Annotations for WSDL and XML Schema
IEEE Internet Computing
CONCUR '07 Proceedings of the 18th international conference on Concurrency Theory
Abstract Interpretation of Symbolic Execution with Explicit State Updates
Formal Methods for Components and Objects
An architecture for next generation middleware
Middleware '98 Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing
Cost analysis of java bytecode
ESOP'07 Proceedings of the 16th European conference on Programming
Dynamic resource reallocation between deployment components
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Validating timed models of deployment components with parametric concurrency
FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software
SLA design from a business perspective
DSOM'05 Proceedings of the 16th IFIP/IEEE Ambient Networks international conference on Distributed Systems: operations and Management
ABS: a core language for abstract behavioral specification
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Formal modeling of resource management for cloud architectures: an industrial case study
ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing
Modeling resource-aware virtualized applications for the cloud in real-time ABS
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
User-defined schedulers for real-time concurrent objects
Innovations in Systems and Software Engineering
| Hi-index | 0.00 |
To foster the industrial adoption of virtualized services, it is necessary to address two important problems: (1) the efficient analysis, dynamic composition and deployment of services with qualitative and quantitative service levels and (2) the dynamic control of resources such as storage and processing capacities according to the internal policies of the services. The position supported in this paper is to overcome these problems by leveraging service-level agreements into software models and resource management into early phases of service design.