Towards a Formal Specification of SLAs with Compensations.
Carlos MüllerAntonio Manuel GutiérrezOctavio Martín-DíazManuel ResinasPablo FernandezAntonio Ruiz CortésPublished in: OTM Conferences (2014)
Keyphrases
- formal specification
- service level agreements
- service level
- cloud computing
- resource allocation
- quality of service
- service oriented
- object oriented design
- model checking
- business process
- specification languages
- process algebra
- service providers
- reverse engineering
- business processes
- grid services
- formal methods
- concurrent systems
- resource management
- lead time
- information systems
- software components
- temporal logic
- business rules
- total cost
- qos requirements
- service selection
- response time
- object oriented
- supply chain
- expert systems
- decision making